PDA

Просмотр полной версии : О теореме Гёделя


Alex
19.12.2011, 18:36
Дорогие ученые друзья!

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

НЕ ИМЕЕТ НИ МАЛЕЙШЕГО ОТНОШЕНИЯ

Она в принципе неприменима ни к чему, кроме того, к чему она применима, а именно - некоторым рекурсивно определенным формальным системам вывода. Любое использование этой теоремы в другом контексте является грубой профанацией.

Для справки. Тот же Курт Гёдель незадолго до формулировки своей теоремы успешно доказал полноту и непротиворечивость формальной логики (что опять же не имеет никакого отношения к общественным наукам и философии).

Sphairos
20.12.2011, 01:52
А среди формальных аксиоматических систем только к достаточно сложным системам.

А ещё Гёдель дал строгое математематическое доказательство существования бога. :) Не шутка.

http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof

www.robotics.stanford.edu/~epacuit/talks/lmh-fitting-gg.pdf

http://io9.com/5805775/proof-of-the-existence-of-god-set-down-on-paper