Теорема о неполноте Геделя

В 1931 году релятивистский gestalt получил подтверждение в виде теоремы о неполноте Геделя, одного из наиболее рафинированных и невероятных логических построений XX века.

Вполне возможно, что Гедель был самым эксцентричным из выдающихся ученых XX века и мог легко обойти своего друга Эйнштейна. Проработав в Вене с 1924 по 1938 год, Гедель сбежал в Принстон. Попытка получить американское гражданство едва не потерпела крах по причине его регулярного и педантичного выставления напоказ многочисленных серьезных изъянов в конституции США. В конце концов он уморил себя голодом, будучи убежден в том, что его пытаются отравить.

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

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

Таким образом, теорема Геделя действительно ставит выводы теорий относительности Эйнштейна на одну ступень выше: мы можем отбросить возможность существования абсолютной истины. (Между прочим, в 1949 году Гедель нашел такое решение уравнений общей теории относительности Эйнштейна, из которого следует, что вся Вселенная вращается, а путешествия во времени вполне осуществимы. Однако решение Геделя вряд ли является правильным, так как его Вселенная не расширялась, а наша почти наверняка расширяется.)