QUOTE (mr1 @ 05.01.13 - 08:56) |
QUOTE (onehalf3554 @ 04.01.13 - 22:23) | мне было интересно. Ещё дядька Гёдель вроде доказал теорему о неполноте. Завтре буду почитать. http://elementy.ru/lib/430446 |
Халф, сей бред для Гурия:
QUOTE | … обретение новой картины сложного мира в нашей стране происходило с огромным трудом. Господствовавшая семь десятилетий идеология тяготела к детерминизму лапласовского типа как философии всеобщего авторитарного порядка. …мечты, никогда не покидавшей правящую советскую бюрократию, об обществе-фабрике, управляемой жесткими законами иерархии. И поэтому всякий раз, как речь заходила о сложности, плюрализме, разнообразии, будь то теория относительности, квантовая механика, генетика, кибернетика, социологические исследования, психоанализ и т. д., — сразу включался механизм идеологической цензуры, который имел своей целью изгнать все упоминания о свободе и из природы, и из общества. …Курт Гёдель и его великие современники заставили нас по-новому взглянуть … на нравственный закон внутри наc… |
Теорема Геделя не об этом. И вовсе идеологической цензуре не подвергалась она. В детстве книги серии «Популярные лекции по математике” мои любимые были. Гурия только обделили. (IMG:http://s08.radikal.ru/i181/1301/e3/e3c9bd8c3520.jpg) Вот здесь прочитать доказательство можешь: Выпуск 57QUOTE | …теорема Гёделя могла бы излагаться на самых младших курсах. Более того, для понимания доказательства необходимо лишь знакомство с простейшей терминологией теории множеств (словами «множество», «функция», «область определения» и тому подобными) и некоторая привычка к восприятию математических рассуждений, так что оно вполне доступно подготовленному школьнику. Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов. |
Ты, программист, вроде, тебе понравится. Во всяком случае не останется никакой мистики вокруг этой теоремы.
|
Пасиб за сцылку но я уже скачал для своей еьуки большую книгу про эту теорему,
я о ней и раньше знал, но никак не связывал её с машиной Тьюринга,
однако дядька Стивенсон тки связал в своём романе:
http://lib.ru/INOFANT/STEFENSON/cryptonomicon.txtВсёравно огроменное спасибо:)