andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

February 6, 2019

Конструктивное знание – 8: формальное представление математики

Filed under: — Andrei Rodin @ 6:43 pm

Когда: среда 27 февраля 2019 с 10 часов

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп (= мастерская) – продолжает серию мастерских, организованных в рамках завершенного проекта “Логические и эпистемологические аспекты конструктивного знания“ (2016-2018) и начинает новую серию в рамках нового проекта “Проблема обоснования знаний в формальной эпистемологии” (который является естественным продолжением старого). В этот раз речь пойдет о  новых подходах к представлению математических знаний включая элементарную геометрию.

 

YOUTUBE STREAM/RECORDING

 

Программа:

 

10:00 – 10:20: АНДРЕЙ РОДИН и СЕРГЕЙ КОВАЛЁВ

Формальная эпистемология и компьютерное представление знаний (abstract)(paper)

10:20 – 11:20: ЕВГЕНИЙ ИВАШКЕВИЧ

Конструктивная формализация элементарной геометрии в Coq (abstract)(slides)

11:20 – 11:40:  ДАНЯ РОГОЗИН

Имплементация аксиомы унивалентности в Coq

11:40 – 12:00: КОФЕ

12:00 – 13:00: ГЕОРГИЙ ШАБАТ

TBA

13:00 – 13:30: Общая дискуссия

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress