Традиционный перепост цитаты из Эрика Рэймонда
(это который "Собор и Базар"), на этот раз по поводу этого поллитрушного богоискательства:
То, что вышло за пределы математики и вошло в мировую культуру как Великая теорема Гёделя о неполноте (на деле – ряд удивительных результатов Гёделя, Чёрча, Тьюринга и Тарского), действительно определяет границы человеческого познания и описания мира. Есть вполне разумные, конкретные и хорошо формулируемые познавательные проблемы, которые не могут быть решены человеком – никогда, ни при каком развитии науки, интеллекта и т.п.
Так вот (его геделем в блогопосте про "нарнию" догнали, а он по специализации изначально логик):
Godel’s incompleteness theorem only applies to formal axiomatic deduction, which is a far more constrained form of “description” than we have for the real universe (in which, for example, the so-called “Law” of the Excluded Middle normally does not apply). If you try to apply Godel’s theorem outside its proper domain, all you will get is impressive-sounding nonsense.