Курт Гёдель родился 28 апреля 1906 года в австрийском городе Брюнн (сегодня — Брно в Чехии). С ранних лет его прозвали «господин Почему», потому что будущий великий учёный постоянно всё подвергал сомнению, даже в гимназии, когда его сверстники просто заучивали материал. Уже в университете Вены Гёдель выделялся необычайной серьёзностью и педантичностью — почти не посещал лекции по нелюбимым предметам, но был одержим логикой, теорией чисел и философией математики.
В 1931 году 25-летний Гёдель опубликовал статью «О формально неразрешимых предложениях «Principia Mathematica» и родственных систем». Научная работа произвела эффект разорвавшейся бомбы. Ещё в 1900 году на Парижском математическом конгрессе Давид Гильберт сформулировал 23 нерешённые проблемы, которые должны были определить развитие науки на XX век, вторая из них — это доказательство непротиворечивости арифметики. Гильберт верил, что с помощью строгих формальных методов можно доказать, что в математике нет противоречий и что всё истинное доказуемо. Гёдель, в свою очередь, показал, что это невозможно.
Теоремы, перевернувшие мир
Представьте замкнутую систему правил, язык, на котором можно высказывать утверждения о числах. Гёдель предложил гениальный трюк: он показал, что в таком языке можно построить утверждение, которое буквально говорит о себе: «Это утверждение нельзя доказать в рамках данной системы».
Если система непротиворечива (то есть в ней нет противоречий), то это утверждение действительно нельзя доказать. Но если его нельзя доказать, то оно истинно, поскольку оно именно это и утверждает. Таким образом, в системе существует истинное утверждение, которое недоказуемо. Это и есть первая теорема о неполноте: любая достаточно сложная формальная система либо противоречива, либо содержит истинные утверждения, которые в ней не доказуемы.
Вторая теорема о неполноте гласит: если система непротиворечива, то она не может доказать собственную непротиворечивость с помощью своих собственных средств. То есть, чтобы доказать, что в системе нет противоречий, нужно выйти за её пределы, использовать более мощные методы, которые сами требуют обоснования. Получается бесконечный цикл, в котором невозможно остановиться.
Для математики всё вышеперечисленное означало не что иное, как полный крах программы Гильберта: мечта о полной, замкнутой, непротиворечивой формальной системе, в которой можно доказать всё истинное, оказалась недостижимой. Математика, этот столп человеческого знания, оказалась принципиально неполной.
Как заметил сам Гёдель: «Либо математика слишком велика для человеческого разума, либо человеческий разум — это нечто большее, чем просто машина».
Наследие, которое не устаревает
Сегодня теоремы Гёделя продолжают жить и находить применение в самых неожиданных областях. В самой математике они заставили учёных пересмотреть цели: вместо поиска «абсолютного обоснования» они сосредоточились на изучении различных формальных систем и их взаимосвязей. Теоремы Гёделя лежат в основе современной теории алгоритмов и вычислимости. Они показывают фундаментальные пределы того, что могут вычислить машины, и перекликаются с проблемой остановки Тьюринга и тезисом Чёрча—Тьюринга.
Более того, теоремы о неполноте нашли отражение в философии, когнитивной науке и даже в искусствоведении. Книга Дугласа Хофштадтера «Гёдель, Эшер, Бах», блестящее исследование самореференции в математике, искусстве и музыке, стала культовой. Она показывает, как идеи Гёделя перекликаются с парадоксами рисовальщика Эшера и канонами Баха.
Интеллектуальная биография Гёделя трагична. Учёный дружил с Альбертом Эйнштейном, и они вместе гуляли по кампусу Принстона, обсуждая физику и философию. Но сам Гёдель страдал от паранойи и ипохондрии, боялся, что его отравят, и доводил себя почти до голодной смерти. Он умер 14 января 1978 года. Но его идеи не умерли.
Гёдель совершил переворот в нашем понимании самой природы знания. Он показал, что математика — не идеальный, замкнутый мир вечных истин, а живая, развивающаяся система, которая всегда будет содержать загадки, неразрешимые изнутри.
Как заметил Грегори Хайтин: «Гёдель не разрушил математику, он её очистил от иллюзий. Математика — это не законченный храм, а бесконечная стройка, и у каждого поколения есть шанс заложить новый камень».
Сегодня, когда мы говорим об искусственном интеллекте, о границах вычислимости, о том, может ли машина мыслить, мы неизбежно возвращаемся к Гёделю. Напоминание о том, что всегда останется что-то, что мы не можем доказать или вычислить, это знак того, что человеческий разум, в отличие от конечной машины, всегда способен выйти за пределы любой заданной системы. И в этом заключается его величие.
На этом всё. Спасибо!
***
Меня зовут Анна, я репетитор по математике с 20-летним стажем. Помогаю с подготовкой к ЕГЭ, ОГЭ, помогаю с прохождением ДВИ.
Занимаюсь также и со взрослыми учениками — если хотите освежить в памяти математические знания, если математика вам нужна для работы/учёбы, или если вы хотите заняться математикой для себя, то обращайтесь ко мне в Максе!