Все науки. №1, 2023. Международный научный журнал - страница 33

Так формалисты хотели придать математическим аксиомам форму символических утверждений и установить правило вывода в качестве математических операций в этой системе. Рассел вместе с Уайтхедом разложили и описали такую формальную систему в трёхтомнике «Принципы математики», опубликованная в 1913, ставший монументальным трудом в 2000 страниц плотного математического текста, где на 762 странице приводится доказательство, что 1+1=2, после чего констатируется, что «приведённое выше приложение иногда оказывается полезным» («The above proposition is occasionally useful»). Они планировали написать 4-й том, но кажется судьбе это не было угодно, говоря более образно и приводя не плохой пример.

Всё дело в том, что хоть такие математические записи слишком непривычны, но они кратки и точны, чем обычный язык, не оставляя место ошибкам или нечёткой логике, позволяя описывать свойства самой формальной системы. И если такая возможность наконец появилась, то это самое время для исследования самой математики, поставив три основных вопроса:

1. Полнота математики, то есть возможно ли доказать любое истинное утверждение?

2. Непротиворечивость, то есть свободна ли математика от противоречий? Ведь если можно сказать, что А – истинно и что А – ложно, одновременно, значит можно доказать что угодно и пропадает всякий смысл в самой науке.

3. Разрешимость математики, то есть ли такой алгоритм, который сказал бы – следует ли какой-то вывод из аксиом?

Гильберт был убеждён, что на все три вопроса можно ответить положительно, произнеся пламенную речь на конференции 30-го года, завершив фразой: «Пусть нашим лозунгом будет не ignorabimus, что значит „мы не узнаем“, а нечто совершенно иное: „мы должны знать – мы будем знать!“», эти слова и были высечены на его надгробии, но за день до выступления, на той же конференции, 24 летний логик Курт Гёдель рассказывал о том, что смог найти ответ на первый вопрос Гильберта о полноте и на удивление ответ был полностью отрицательным.

Неужели невозможно полностью сформулировать математику? И единственным, кто проявил интерес к юноше был Джон фон Нейман – бывший студент Гильберта, задавая различные уточняющие вопросы, после чего на следующий 1931-й год Гёдель опубликовал статью о неполноте и все, вместе с Гильбертом после этого обратили на него и его доказательство внимание.