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

Вернуться   Этологический форум > Гайд Парк
Имя
Пароль
Справка Пользователи Календарь Поиск Сообщения за день Все разделы прочитаны

Ответ
 
Опции темы Поиск в этой теме Опции просмотра
  #1  
Старый 19.12.2011, 18:36
Alex Alex вне форума
этолог
 
Регистрация: 21.01.2009
Адрес: Москва
Сообщения: 729
По умолчанию О теореме Гёделя

Дорогие ученые друзья!

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

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

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

Для справки. Тот же Курт Гёдель незадолго до формулировки своей теоремы успешно доказал полноту и непротиворечивость формальной логики (что опять же не имеет никакого отношения к общественным наукам и философии).
Ответить с цитированием
  #2  
Старый 20.12.2011, 01:52
Sphairos Sphairos вне форума
этолог
 
Регистрация: 19.04.2011
Сообщения: 279
По умолчанию

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

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

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
Ответить с цитированием
Ответ


Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск
Опции просмотра

Ваши права в разделе
Вы не можете создавать темы
Вы не можете отвечать на сообщения
Вы не можете прикреплять файлы
Вы не можете редактировать сообщения

BB-коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Быстрый переход


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


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