Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет kouzdra ([info]kouzdra)
@ 2013-08-07 18:23:00

Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Традиционный перепост цитаты из Эрика Рэймонда
(это который "Собор и Базар"), на этот раз по поводу этого поллитрушного богоискательства:

То, что вышло за пределы математики и вошло в мировую культуру как Великая теорема Гёделя о неполноте (на деле – ряд удивительных результатов Гёделя, Чёрча, Тьюринга и Тарского), действительно определяет границы человеческого познания и описания мира. Есть вполне разумные, конкретные и хорошо формулируемые познавательные проблемы, которые не могут быть решены человеком – никогда, ни при каком развитии науки, интеллекта и т.п.

Так вот (его геделем в блогопосте про "нарнию" догнали, а он по специализации изначально логик):

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.


(Читать комментарии)

Добавить комментарий:

Как:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.