Этологический форум

Этологический форум (http://forum.ethology.ru/index.php)
-   Гайд Парк (http://forum.ethology.ru/forumdisplay.php?f=8)
-   -   О теореме Гёделя (http://forum.ethology.ru/showthread.php?t=3542)

Alex 19.12.2011 18:36

О теореме Гёделя
 
Дорогие ученые друзья!

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

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

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

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

Sphairos 20.12.2011 01:52

А среди формальных аксиоматических систем только к достаточно сложным системам.

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

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


Часовой пояс GMT +4, время: 21:12.

Русский vBulletin v3.5.1, Copyright ©2000-2024, Jelsoft Enterprises Ltd.
Перевод сделал zCarot