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

Для начала посмотрите ролик с доказательством Вассермана:

1. Атеистическая аргументация Вассермана против существования Бога оригинальна и красива, однако на деле она ничего не доказывает и есть плод недомыслия и недоразумения.