Общие сведения | Энциклопедия | Научные публикации | Публицистика | Новости | Каталоги | Авторы |
| На главную | О проекте | Контакты | | |
![]() |
Рубрикатор:
|
Философия
Научная публикация
Система "INCOL&TAMLA" и "Вторая проблема Гильберта"
В настоящей работе, в рамках аналитической философии, рассматриваются два принципа логической трансценденции системы "INCOL&TAMLA" , а также вопросы логической трансценденции, возникающие в процессе анализа и решения "Второй проблемы Гильберта" в отношении "Аксиоматической системы Пеано". Исследуются границы аристотелевской непротиворечивости "Метода математической индукции" с учетом особенностей современной формальной классической логики нулевого и первого порядков.
|
|