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

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

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

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

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

