Суть кажущегося противоречия между теоремами Гёделя

Парадокс кроется в ином понимании доказуемости. Первая теорема говорит о логике, а вторая — об арифметике. Это создает иллюзию конфликта в данной теории!

Теорема о полноте: логический аспект

Теорема о полноте относится к области логики первого порядка. Она устанавливает фундаментальную связь между семантикой и синтаксисом. Согласно этому утверждению, если формула является общезначимой, то она обязательно доказуема в рамках данной системы. Это означает, что любой истинный вывод может быть получен с помощью строгих правил.

Важно всё знать:

• Семантика здесь означает истинность во всех возможных трактовках.
• Синтаксис подразумевает наличие формального вывода;

Полнота первого порядка гарантирует, что аппарат доказательств полностью охватывает все общезначимые утверждения. Здесь нет речи о конкретных числах или аксиомах арифметики, только о чистой структуре логического вывода, который работает универсально для моделей.

Теорема о неполноте: арифметический аспект

Неполнота касается систем, достаточно богатых для описания арифметики. Гёдель доказал, что в любой такой формальной системе существуют истинные утверждения, которые невозможно доказать, используя только аксиомы этой системы. Это касается конкретных свойств натуральных чисел.

Важные моменты:

• Система должна быть рекурсивно перечислимой.
• Существуют предложения, которые ни доказуемы, ни опровержимы.

Здесь речь идет не об общей логике, а о специфике теории чисел. Гёдель использовал метод нумерации, чтобы система могла говорить о самой себе. В результате возникает предложение, которое фактически утверждает: «Я не доказуемо». Если оно доказуемо, система противоречива. Если нет — оно истинно, но недоказуемо. Это ограничение касается именно арифметических теорий, а не логического вывода вообще.

Разграничение понятий: общезначимость против истинности в конкретной модели

Ключ к пониманию кроется в важной разнице между общезначимостью и истинностью в модели. Формула общезначима, если она истинна в любой интерпретации. Теорема о полноте говорит именно об этом: всё общезначимое доказуемо. Однако истинность в конкретной модели, например, в стандартной арифметике, не означает общезначимости.

Существуют так называемые нестандартные модели. Утверждение может быть истинным для обычных чисел, но ложным в другой модели. Такое предложение не является общезначимым, а значит, логика не обязывает систему его доказывать. Именно здесь исчезает конфликт.

Весь этот итог весьма прост:

• Общезначимость — это истина во всех возможных мирах.
• Истинность, это истина в одной конкретной модели.

Разрыв между этими двумя понятиями объясняет, почему доказуемость ограничена!