| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
|
|||
|
|
|||
|
Счетная строгая обратная математика И. И. Батыршин |
|||
|
Аннотация: Строгая обратная математика — это предложенная Х. Фридманом программа исследований, целью которой является изучение логической силы математических теорем с помощью строго математических аксиом и без использования кодирования. В качестве базовой теории для счетной строгой обратной математики Фридманом была предложена элементарная теория функций ETF. В докладе предполагается обсудить подсистемы ETF и их эквивалентные аксиоматизации. Краткая аннотация доклада. |
|||