Когда: среда 27 февраля 2019 с 10 часов
Где: ИФ РАН, комната 416 (4-й этаж)
Описание:
Этот воркшоп (= мастерская) – продолжает серию мастерских, организованных в рамках завершенного проекта “Логические и эпистемологические аспекты конструктивного знания“ (2016-2018) и начинает новую серию в рамках нового проекта “Проблема обоснования знаний в формальной эпистемологии” (который является естественным продолжением старого). В этот раз речь пойдет о новых подходах к представлению математических знаний включая элементарную геометрию.
Программа:
10:00 – 10:20: АНДРЕЙ РОДИН и СЕРГЕЙ КОВАЛЁВ
Формальная эпистемология и компьютерное представление знаний (abstract)(paper)
10:20 – 11:20: ЕВГЕНИЙ ИВАШКЕВИЧ
On Constructive-Deductive Method For Plane Euclidean Geometry (abstract)(paper)(Coq)
11:20 – 11:40: ДАНЯ РОГОЗИН
Имплементация аксиомы унивалентности в Coq
11:40 – 12:00: КОФЕ
12:00 – 13:00: ГЕОРГИЙ ШАБАТ
О соотношении языков синтетической и аналитической геометрии (abstract)(slides)
13:00 – 13:30: Общая дискуссия