|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
11 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн
|
 |
|
 |
|
|
|
О работе Й. Маковского "Can one design a geometry engine?"
Анна Дмитриева |
|
Аннотация:
В докладе будет изложено содержание недавней обзорной статьи Й. Маковского о некотором классе неразрешимых геометрических теорий. Мы обсудим связь между определёнными теориями полей и теориями геометрии, благодаря которой получается косвенно доказать неразрешимость вторых.
|
|
Обратная связь: