Курт Гёдель – сумасшедший друг Эйнштейна?

А у вас какая первая ассоциация, когда вы слышите о Курте Гёделе? Многие вспомнят его знаменитую теорему о неполноте. В 1931 году, развивая свою докторскую диссертацию из Университета Вены, Гёдель доказал, что в математике существуют истинные утверждения, истинность которых невозможно доказать. Этакий единорог Гёделя, про которого мы никогда не узнаем, что он существует, так как не сможем открыть ящик, в котором он сидит.



Не буду вдаваться в тонкости, о каких математических системах, утверждениях и доказательствах идёт речь. Один профессор по имени Дуглас Хофштадтер так взялся писать о теореме Гёделя методичку для студентов, а в результате настрочил «кирпич» под названием «Гёдель, Эшер, Бах», который я читал целый год. Но широкой публике Гёдель известен в первую очередь как друг и собеседник Эйнштейна.


( Читать дальше )