Первая теорема о неполноте
Любая непротиворечивая формальная система F, достаточно мощная для выражения базовой арифметики, содержит утверждения, которые истинны, но не могут быть доказаны в рамках F. Доказательство основано на самореференции: Гёдель сконструировал утверждение G, которое гласит: «это утверждение недоказуемо в системе F». Если F доказывает G, то F противоречива. Если F не может доказать G, то G истинно (поскольку оно утверждает свою недоказуемость), но недоказуемо. В любом случае система F либо неполна, либо противоречива.
Вторая теорема о неполноте
Ни одна непротиворечивая формальная система, достаточно мощная для выражения базовой арифметики, не может доказать собственную непротиворечивость. Нельзя использовать систему, чтобы доказать, что она никогда не приведет к противоречию. Это более глубокий результат — он означает, что программа Гильберта по доказательству непротиворечивости математики с помощью математических средств невыполнима.
Чего теоремы Гёделя не доказывают
Теоремы о неполноте не означают, что математика ненадежна или что «все дозволено». Они применимы к формальным системам (аксиоматическим системам с механическими правилами доказательства), а не к математической интуиции в целом. Они не означают, что каждый математический вопрос неразрешим — лишь то, что ни одна конечная система аксиом не решает все вопросы. Сам Гёдель был платоником: он верил, что математические истины объективно реальны и доступны математической интуиции, даже когда они выходят за рамки формального доказательства.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Значение за пределами математики
Теоремы Гёделя интерпретировались (часто чрезмерно) как имеющие последствия для искусственного интеллекта, пределов человеческого познания и природы сознания (аргумент Пенроуза). Наиболее защитимая интерпретация: любой достаточно мощный ИИ, основанный на формальной системе, будет иметь «слепые зоны» — математические истины, которые он не может доказать. Является ли человеческая математическая интуиция исключением из этого ограничения — предмет ожесточенных споров.
Часто задаваемые вопросы
Что говорят теоремы Гёделя о неполноте?
Первая теорема: любая непротиворечивая формальная система, достаточно мощная для арифметики, содержит истинные утверждения, которые она не может доказать. Вторая теорема: ни одна такая система не может доказать собственную непротиворечивость. Вместе они показывают, что математика не может быть полностью аксиоматизирована — всегда будут существовать математические истины за пределами любой фиксированной системы доказательств.
Доказывают ли теоремы Гёделя, что ИИ никогда не сравнится с человеческим интеллектом?
Роджер Пенроуз утверждает, что да — если бы разум был формальной системой, теоремы Гёделя были бы применимы; поскольку математики могут распознавать истины, выходящие за рамки формального доказательства, разум должен быть чем-то большим. Критики (включая большинство исследователей ИИ) утверждают, что это неверное применение теорем: Гёдель применим к фиксированным формальным системам, а обучающаяся система или система, меняющая свои аксиомы, — это не одно и то же.
Относятся ли теоремы Гёделя к пределам человеческого познания?
Они относятся именно к формальным аксиоматическим системам, а не к человеческому познанию в целом. Гёдель верил, что люди обладают математической интуицией, которая превосходит любую конкретную формальную систему — он был платоником. Теоремы показывают, что ни одна механическая процедура доказательства не охватывает всю математику, но является ли человеческое математическое понимание чем-то большим, чем механические процедуры, — это отдельный философский вопрос.