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

Обсуждается семантическая сторона теорем Геделя о неполноте в аспекте вопроса истинности высказываний. Первый пробный (“первый блин комом“) семинар на тему “негуманитарной философии“. Проблемы Гильберта. Формализация математики. Непротиворечивость и полнота формальных систем. Семинар “Философского Штурма“ (). Состоялся . Докладчик: Гатиятуллин Булат (к.ф.н) Оппоненты: Данилов Игорь (к.ф.н), Болдачев Александр, Горшков Александр, Махина Наталья, Перфильев Станислав, Румянце