то есть ли такой алгоритм, который сказал бы – следует ли какой-то вывод из аксиом?
Гильберт был убеждён, что на все три вопроса можно ответить положительно, произнеся пламенную речь на конференции 30-го года, завершив фразой: «Пусть нашим лозунгом будет не ignorabimus, что значит „мы не узнаем“, а нечто совершенно иное: „мы должны знать – мы будем знать!“», эти слова и были высечены на его надгробии, но за день до выступления, на той же конференции, 24 летний логик Курт Гёдель рассказывал о том, что смог найти ответ на первый вопрос Гильберта о полноте и на удивление ответ был полностью отрицательным.
Неужели невозможно полностью сформулировать математику? И единственным, кто проявил интерес к юноше был Джон фон Нейман – бывший студент Гильберта, задавая различные уточняющие вопросы, после чего на следующий 1931-й год Гёдель опубликовал статью о неполноте и все, вместе с Гильбертом после этого обратили на него и его доказательство внимание.
А доказательство выглядело следующим образом. Он хотел использовать логику и математику, чтобы найти ответы на вопросы о том, как работают, логика и математика, для чего он взял все знаки математической системы и присвоил каждому из них свой номер, приводя нумерацию Гёделя.
Его система демонстрируется в (3—17).
Но если потратить на каждый знак числа, то для самих чисел, к примеру для 0 присваивается цифра – 6, а если написать 1, пишется «s0», что значит «следующее за 0», для 2 – ss0 и так можно выразить любое целое число, хоть и громоздко. Итак, если для обозначения и чисел ввели показатели, то можно записать и уравнения, к примеру «0=0», эти значениям присваиваются цифры 6, 5, 6, соответственно, но для уравнения «0=0», можно создать свою карточку, взять простые числа с 2 и они возводятся в степень числа элемента по системе Гёделя, а затем они перемножаются.
Так уравнение «0=0», записывается в (18).
То есть, для уравнения «0=0», число Гёделя равно 243 000 000 и как можно видеть, подобные комбинации вполне можно получить для абсолютно любого уравнения, любой комбинации символов, и она словно бесконечная колода карт, где для любой комбинации существует персональная своя карта. А красота системы ещё заключается в том, что можно не только из уравнения получить число, но и из числа уравнение, для сравнения, можно взять любое число, попросту разложить его на простые множители, и в зависимости от степеней простых чисел получить уравнение.
Разумеется, что в этой колоде будут и истинные, и ложные утверждения, но для их доказательства, необходимо обратиться к аксиомам, которые тоже имеют свои номера Гёделя, к примеру, для аксиомы: «Нет любого числа за любым числом x, равным 0», ведь в этой системе нет 0. Записать такую аксиому можно в (19), а в (20), подставить под него 0, откуда следует, что 1=0.
Именно так можно доказывать любое утверждение в системе Гёделя и конечно, это уравнение имеет
