#1
|
|||
|
|||
О теореме Гёделя
Дорогие ученые друзья!
Пожалуйста, примите во внимание что к любым вашим рассуждениям из области биологии, этологии, общественных наук или философии знаменитая теорема Гёделя о неполноте НЕ ИМЕЕТ НИ МАЛЕЙШЕГО ОТНОШЕНИЯ Она в принципе неприменима ни к чему, кроме того, к чему она применима, а именно - некоторым рекурсивно определенным формальным системам вывода. Любое использование этой теоремы в другом контексте является грубой профанацией. Для справки. Тот же Курт Гёдель незадолго до формулировки своей теоремы успешно доказал полноту и непротиворечивость формальной логики (что опять же не имеет никакого отношения к общественным наукам и философии). |
#2
|
|||
|
|||
А среди формальных аксиоматических систем только к достаточно сложным системам.
А ещё Гёдель дал строгое математематическое доказательство существования бога. Не шутка. http://en.wikipedia.org/wiki/G%C3%B6...ological_proof http://www.robotics.stanford.edu/~ep...fitting-gg.pdf http://io9.com/5805775/proof-of-the-...-down-on-paper |