В этой публикации я рассматриваю
вопросы структуры знания
на основе выводов с теорем Курта Гёделя.

Я полагаю что это важнейшие теоремы
как для Философии, так и для общего понимания
пределов существующего в наличии знания.

"Вторая теорема Гёделя утверждает,
что если формальная арифметика не противоречива,
то в ней не выводима формула,
содержательно утверждающая
не противоречивость этой арифметики."
...ru.wikipedia.

Пребывая в системе нашего описания реальности,
мы не можем математически строго доказать
достоверность нашего описания реальности.

Если знаковая система (естественный язык, формальная логика) достаточно продвинута, то она найдет способ построить суждения, которые утверждают или отрицают нечто о самих себе. Следовательно, если знаковая система достаточно продвинута, то в ней неизбежны парадоксы (не путать с противоречиями). В этом и состоит смысл парадокса лжеца и теоремы Гёделя. Парадокс лжеца, показывает, что естественный язык – достаточно продвинутая знаковая система. Теорема Гёделя показывает, что уже формальная арифметика является такой продвинутой системой.

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