Таким образом, открытия Гёделя подорвали глубоко укоренившиеся представления и разрушили старые надежды, ожившие было в ходе более новых исследований по основаниям математики. Но работа Гёделя имеет не только отрицательное значение. Она обогатила исследования по основаниям математики совершенно новыми методами рассуждения, сравнимыми по своей природе и по своей плодотворности с алгебраическим методом, привлеченным для решения геометрических задач Рене Декартом. Открытия Гёделя существенно расширили проблематику логических и математических исследований. Кроме всего прочего, работа Гёделя обусловила существенную переоценку перспектив философии математики и философии науки в целом.
Детали доказательств теорем Гёделя из его знаменитой работы слишком трудны для того, чтобы понять их, не имея основательной математической подготовки. Но общую идею этих доказательств и значение следующих из них выводов вполне могут уяснить и читатели, обладающие совсем скромными познаниями в области математики и логики. Для этого читателю понадобятся разве лишь самые элементарные факты и понятия современной математики и формальной логики. Именно краткому знакомству с этим ограниченным запасом фактов и посвящены ближайшие четыре раздела нашего очерка.
2
Проблема непротиворечивости
Для XIX столетия характерна резкая интенсификация и расширение проблематики математических исследований. Были решены многие важные математические проблемы, не поддававшиеся усилиям лучшие мыслителей прошлых времен. Возникли совершенно новые математические дисциплины. В различных областях математики были выдвинуты новые основополагающие принципы, а применение старых принципов стало гораздо более плодотворным благодаря их пересмотру с учетом новой, более совершенной техники математического мышления. Вот простой пример. Еще греческие математики выдвинули три задачи из области элементарной геометрии: разделить на три части произвольный угол при помощи только циркуля и линейки; построить куб, объем которого был бы вдвое больше объема данного куба; построить квадрат, площадь которого равнялась бы площади данного круга, Более двух тысяч лет эти задачи не поддавались решению, пока, наконец, в XIX столетии не было строго доказано, что предписываемые в них построения вообще нельзя осуществить. Эти результаты, интересные и сами по себе, вызвали глубокий интерес к изучению природы понятия числа и строения числового континуума (поскольку выяснилось, что для решения упомянутых задач недостаточны числа, являющиеся корнями уравнений, хорошо изученных еще античными математиками). Плодом этих исследований явились строгие определения, на основе которые удалось построить теории отрицательных, комплексных и иррациональных чисел. Была построена на прочной логической основе и общая теория действительных чисел. Возникла совершенно новая ветвь математики — теория бесконечных множеств и так называемых трансфинитных («бесконечных») чисел.
