Колмогоров

Семинар Ф-штурма: "Теоремы Геделя и вопрос истинности высказываний", 19.01.13

› Видео

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

RSS-материал