Теореме Гёделя о неполноте, одной из самых известных теорем математической логики, повезло и не повезло одновременно. В этом она похожа на специальную теорию относительности Эйнштейна. С одной стороны, почти все о них что-то слышали. С другой — в народной интерпретации теория…
Грубо говоря, теорема Гёделя о неполноте утверждает, что существуют истинные математические утверждения, которые невозможно доказать. Когда я был в 11-м классе, мы втроём с учителем геометрии г-н Олсеном и моим другом Умой Рой провели пять недель, читая оригинальное…
Альберт Эйнштейн награждает Гёделя (второй справа) наградой, названной в честь него самого В 1931 году австрийский логик, математик и философ математики Курт Гёдель опубликовал свою теорему о неполноте. Эта работа считается одним из величайших интеллектуальных достижений…
Когда вы слышите волшебную фразу «теорема о неполноте Гёделя», возникает соблазнительная мысль. Вот оно! Наконец-то нашлось математическое доказательство того, что наука чего-то не понимает, а все наши физические теории в конечном счёте ошибочны.Особенно приятно вспомнить об этом, когда речь заходит о теории относительности Эйнштейна, квантовой механике или попытках создать теорию всего. Ведь если сама математика неполна, то как мы вообще можем доверять физике, которая на ней построена? Читать далее