ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
В.Аккерман - наиболее известен как соавтор Д.Гильберта, в "Grundzuge der teoretische Logik", 1928 (перевод на русский язык: "Основы теоретической логики", 1947). Работы Аккермана по основаниям математики посвящены поиску финитных доказательств непротиворечивости арифметики и теории множеств, а также математической логике. В докладе отмечаются особенности подхода Аккермана к рассматриваем проблемам