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