Результаты Геделя. В 1931 г. 25-летний австрийский математик Венского университета Курт Гедель позднее, после аншлюсса эмигрировавший в США доказал теоремы, из которых следовало, что программа Гильберта не выполнима. Идеи Геделя оказали столь сильное влияние, что дальнейшее развитие логики шло уже под знаком тех выводов, которые были получены Геделем.
Аксиоматизируя какую-либо область знания, полагали, что систему аксиом удается подобрать так, что она будет полной. По Гильберту и Аккерману, полнота означает возможность выведения всех истинных формул определенной области знания из данной системы аксиом. Это широкий смысл. Более строгое понятие полноты предполагает, что присоединение к системе какой-либо невыводимой, формулы обязательно приводит к противоречию Гильберт Д Аккерман В. Основы теоретической логики. М. ИЛ, 1947. С. 66. Но что значит невыводимая формула? Это формула, высказывание недоказуемое в данной системе, то есть ее нельзя определить на истинность ни подтвердить, ни опровергнуть.
Такие образования мысли считаются неразрешимыми. Математики и логики, строя аксиоматические системы Рассел и Уайтхед, Цермело, Френкель и др исходили из того, что аксиом и правил вывода системы достаточно для того, чтобы решить любой математический вопрос, который может быть формально выражен в соответствующих системах.
Следовательно, аксиоматизированная арифметика полна или может быть пополнена добавлением конечного числа аксиом. Гедель же как раз и доказал, что это не так, что все подобные построения, содержащие в качестве своей части формальную арифметику, не полны. Это значит, что в них всегда можно сформулировать проблему, построить предложение, которое нельзя ни доказать, ни опровергнуть. В частности, подобное предложение можно высказать в виде x, которое содержит утверждение о своей недоказуемости.
Такое предложение, хотя и является истинным, но доказать его невозможно. Отсюда вытекает, что система не полна. То есть при попытке провести полную формализацию всегда обнаруживается некий остаток, который не поддается формализации, свидетельством чему и является предложение x. Однако можно поступить и так. Принять этот неподдающийся остаток в качестве аксиомы и пополнить им список аксиом нашей системы, сделав ее полной. Но тогда в этой новой системе найдется другое предложение x которое, несмотря на истинность, также окажется неразрешимым и т.д. Иначе говоря, система не полна и непополняема.
В своей первой теореме Гедель и резюмировал, что любая логистическая система, настолько богатая, чтобы содержать формализованную рекурсивную арифметику, либо противоречива, либо включает хотя и истинную, но неразрешимую формулу, такую, которая недоказуема сама и недоказуемо ее отрицание. Вейль по этому поводу в шутку заметил ?Бог существует, поскольку математика несомненно непротиворечива.
Но существует и дьявол, поскольку доказать ее непротиворечивость мы не можем Утверждая, что система либо неполна, либо противоречива, имеют в виду следующее. Систему можно сделать полной, но лишь включив в нее такую аксиому, на основе которой предложение будет и истинным и ложным. Эта теорема и была названа теоремой о неполноте формализации точнее, формализованной арифметики. В чем же источник неполноты? Математические системы, включающие формальную арифметику, допускают, как мы уже отметили, возможность формулировать предложение о собственной недоказуемости. Здесь и возникает антиномия.
Запишем предложение Это предложение недоказуемо. Допустим, что данное предложение ложно. То есть неверно, что оно недоказуемо. Следовательно, оно доказуемо. Притом оно истинно, поскольку, допустив, что оно ложно, мы получим противоречие. Но от этого не легче. Мы доказали, что наше предложение истинно, а в истинном предложении утверждается то, что есть на самом деле, то есть, что предложение недоказуемо. Иначе сказать, мы доказали недоказуемое.
Где ошибка? Причина в недостаточной определенности самого понятия доказуемости. Общее понятие доказуемости отсутствует, и можно говорить лишь о доказуемости относительно конкретной системы Подробнее см. Смаллиан Р. Как же называется эта книга? М 1981. С. 237-238 Но здесь мы выходим к 2-й теореме Геделя. Возникает вопрос, не является ли факт неполноты теории выражением ее противоречивости? Доказательством 2-ой теоремы Гедель осветил и эту проблему, определив границы непротиворечивости формализованной системы.
Формализованная арифметика не обязательно должна быть противоречивой. Но если она непротиворечива, утверждает Гедель, то не существует доказательства ее непротиворечивости, которое можно было бы провести средствами, формализуемыми в этой системе. Таким образом, дело не в том, что вообще нельзя доказать непротиворечивость арифметики. Невозможно такое доказательство непротиворечивости, которое могло бы быть отображено переведено в формальное доказательство, проводимое в самой формализованной арифметике, на языке данного исчисления.
Безусловно,