Теоремы Геделя и вопрос истинности высказываний
Категория: Философия
Обсуждается семантическая сторона теорем Геделя о неполноте в аспекте вопроса истинности высказываний. Проблемы Гильберта. Формализация математики. Непротиворечивость и полнота формальных систем. Семинар "Философского Штурма" 19.01.13 г.
















