Аннотация:
Строгая обратная математика — это предложенная
Х. Фридманом программа исследований, целью которой является изучение логической силы математических теорем с помощью строго математических аксиом и без использования кодирования. В качестве базовой теории для счетной строгой обратной математики Фридманом была предложена элементарная теория функций ETF. В докладе предполагается обсудить подсистемы ETF и их эквивалентные аксиоматизации.
Краткая аннотация доклада.
Обратная связь: