Авторы, обращающиеся к теореме (теоремам) Гёделя о неполноте, более или менее точно пересказывают её, а иногда и идею её доказательства. Последняя при этом неправомерно сводится к идее гёделевой нумерации. Подлинная идея доказательства теоремы проста и с философской точки зрения более значительна, но остаётся неявной, а всё внимание переносится на второстепенную и подчинённую идею, служащую сложным техническим средством для реализации первой. Мысль о том, что в основе доказательства Гёделя лежит преобразованная антиномия лжеца, высказывается ещё реже и не разъясняется должным образом.
Теорема Гёделя говорит о формальной арифметике в терминах непротиворечивости и полноты, которые можно определить для любой формальной системы известным образом. Система непротиворечива, если не позволяет доказать ни одного ложного предложения, и полна, если позволяет доказать все истинные предложения, написанные по её правилам. Центральным пунктом Гёделева доказательства является демонстрация так называемого предложения (формулы) Гёделя G. Оно появляется за пределами арифметики чудесным образом, в силу безграничной творческой способности языка, и выражает собственную недоказуемость. Его смысл передаётся неформальным предложением «Я – недоказуемое предложение». Иными словами, G есть предложение «Предложение G недоказуемо». Удивительным образом «G» равносильно «G недоказуемо».
Можно представить, что идея доказательства заключается в рассмотрении альтернатив «G доказуемо» и «G недоказуемо». Если G доказуемо, то G ложно, поскольку говорит о собственной недоказуемости. Но если G доказуемо и ложно, то арифметика противоречива. Ну а если G недоказуемо, то G истинно, так как и утверждает собственную недоказуемость. Тогда арифметика неполна. Истинна первая либо вторая альтернатива. Так получается дизъюнктивная формулировка теоремы Гёделя: (формальная) арифметика противоречива либо неполна. Если первая альтернатива ложна, то вторая истинна. Эта даёт одну из четырёх возможных импликативных формулировок, самую известную: если арифметика непротиворечива, то она неполна.
More »
Последние комментарии