Рубрикатор:
Философия
Научная публикация

Система "INCOL&TAMLA" и "Вторая проблема Гильберта"

В настоящей работе, в рамках аналитической философии, рассматриваются  два принципа логической трансценденции системы "INCOL&TAMLA" , а также вопросы логической трансценденции, возникающие в процессе анализа и решения "Второй проблемы Гильберта" в отношении  "Аксиоматической системы Пеано". Исследуются границы аристотелевской  непротиворечивости "Метода математической индукции" с учетом особенностей современной формальной классической логики нулевого и первого порядков.