Теоремы Геделя и вопрос истинности высказываний

Категория: Философия

Болдачев А.В.  (ещё 95 видео)

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

Яндекс.Метрика
Автор сайта: Никонов Владимир