Том 22. Сон разума. Математическая логика и ее парадоксы - страница 28
Вместо дурацкого ignorabimus провозгласим наш контрлозунг: мы должны знать — мы будем знать!» Эхо выступления Гильберта еще не стихло, когда он узнал, что его программа находится под угрозой.
До заявления Геделя программа Гильберта давала все основания рассчитывать на успех: ее первый этап, формализация математики, по всей видимости, был завершен Расселом и Уайтхедом в книге «Начала математики», а различные логики пытались доказать непротиворечивость классических формальных систем начиная с арифметики. Хотя еще во введении к своей докторской диссертации Гёдель предположил невозможность существования «истинных высказываний, которые нельзя вывести в рассматриваемой системе», он стремился не положить конец мечтам Гильберта, а доказать правильность его программы. Однако последние открытия того времени говорили об обратном: исследования Гаусса в области геометрии отрицали возможность создания идеально точной карты Земли; Эварист Галуа (1811–1832) доказал, что почти никакое алгебраическое уравнение нельзя решить простыми методами, а Вернер Гейзенберг (1901–1976) поставил новые задачи перед наукой, введя принцип неопределенности, согласно которому нельзя одновременно с точностью определить положение электронов и их скорость.
Теоремы Гёделя сделали очевидными все ограничения, присущие аксиоматическому методу: если в первой главе мы объясняли, что обязательными свойствами любой формальной системы являются непротиворечивость (полное отсутствие противоречий), рекурсивная перечислимость (возможность отделить аксиомы от прочих высказываний) и полнота (истинное и доказуемое полностью совпадают), то Гёдель показал, что арифметика не может обладать всеми тремя этими свойствами одновременно. Согласно его трудам, никакая рекурсивно перечислимая и непротиворечивая система аксиом арифметики не может быть полной, то есть всегда будут существовать какие-либо истинные свойства чисел, которые нельзя будет доказать исходя из аксиом арифметики. В этом и заключается суть теоремы Гёделя о неполноте, которую специалисты называют первой теоремой Геделя, так как, помимо нее, он доказал и вторую теорему, в которой утверждается, что высказывание «арифметика является непротиворечивой» являет собой пример неразрешимого высказывания. К таким же выводам по результатам конференции в Кёнигсберге пришел и фон Нейман.
Для доказательства первой теоремы о неполноте Гедель видоизменил парадокс лжеца, превратив его в неразрешимое высказывание, которое тем не менее не содержало противоречий. Очарование этой теоремы отчасти заключается в том, что она находится всего в одном шаге от парадоксов, но никогда не делает этот шаг. Мы уже рассказывали в главе 2 об антиномии Эпименида, которая в одной из формулировок звучит как «эта фраза ложна». И действительно, если это высказывание истинно, то оно само утверждает свою ложность, а если считать его ложным, то оно должно быть истинным. Что произойдет, если вместо истинных утверждений мы будем рассматривать доказуемые? Обозначим буквой G (по первой букве фамилии Геделя) высказывание «это высказывание недоказуемо» и будем предполагать, что используемая нами система аксиом является непротиворечивой. Если G ложно, то, так как G гласит «я недоказуемо», то G является доказуемым, однако в непротиворечивой системе никакое ложное высказывание не может быть доказуемым, так как это немедленно приведет к противоречию. Если С не является ложным, оно истинное, следовательно, имеем истинное высказывание, гласящее «я недоказуемо». Таким образом, мы предположили, что исходная система непротиворечива, однако обнаружили истинное, но недоказуемое высказывание. Иными словами, непротиворечивость подразумевает неполноту.
Мы предположили, что исходная система непротиворечива… Но какая система?
Внимательный читатель, задавшись этим вопросом и прочитав предыдущий абзац, возможно, подумал, что автор запутался и не совсем четко представляет, о какой системе идет речь. С удовольствием сообщаем, что читатель самостоятельно пришел к важнейшему вопросу, на который до Гёделя никто не мог дать ответ. Наши рассуждения показывают, что утверждение «я недоказуемо» должно быть истинным, однако здесь речь идет не о математическом высказывании, как нам бы того ни хотелось, но о метаматематическом, так как в нем говорится не об объектах изучения какой-либо теории, а о самой теории. Гениальность Геделя заключалась в том, что он перевел некоторые высказывания с метаязыка на язык арифметики благодаря системе кодов, в основе которой лежали простые числа. После этой «гёделизации» метаматематики натуральные числа стали вести двойную жизнь: с одной стороны, они остались неизменными, с другой — стали играть роль формул, что позволило выразить высказывание вида «я недоказуемо», которое априори имело смысл в метаязыке, в виде отношения между числами.
