| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
О работе Й. Маковского "Can one design a geometry engine?" Анна Дмитриева |
|||
|
Аннотация: В докладе будет изложено содержание недавней обзорной статьи Й. Маковского о некотором классе неразрешимых геометрических теорий. Мы обсудим связь между определёнными теориями полей и теориями геометрии, благодаря которой получается косвенно доказать неразрешимость вторых. |
|||