Жар холодных числ и пафос бесстрастной логики

Действительно, электронная вычислительная машина есть универсальный инструмент вычисления, о чем пойдет речь ниже. Конечно, в самой схеме ЭВМ вовсе не заложен аксиоматически-дедуктивный метод получения теорем. Но машину в принципе всегда можно «научить» выводить теоремы с помощью заданных правил вывода из заданных аксиом (правда, соответствующие программы могут оказаться очень сложными). В результате машина «овладевает» дедуктивным методом доказательства теорем и, естественно, оказывается подвластной ограничениям, которые налагают на этот процесс положения Гёделя. Но эти же самые ограничения распространяются ина человека, если он работает строго по дедуктивному методу[8].

Впрочем, ограничения, вытекающие из результатов Гёделя, относятся не к дедуктивному методу вообще, а к таким дедуктивным системам, которые содержат теорию натуральных чисел и в которых доказательства представляют собой эффективно распознаваемые (за конечное число шагов) объекты. Но как показало последующее развитие математической логики, проблему непротиворечивости и другие проблемы, касающиеся формальных систем, можно исследовать методами, выходящими за пределы подобного финитизма, но представляющимися достаточно надежными. На этом пути становится возможным, например, доказательство непротиворечивости классической формальной арифметики[9].

Результаты Гёделя, во всяком случае, раскрывают важную особенность определенного аппарата, служащего знанию с большой эффективностью, поэтому часто принимавшегося за аппарат абсолютный и окончательный, аппарата формальной выводимости. Лишая аксиоматически-дедуктивный метод (коль скоро он пользуется лишь средствами строго финитного характера) статуса абсолютного, они разрушают его гипнотическое влияние на математиков и логиков и заставляют их не отождествлять более этот метод с дедуктивным методом вообще, искать новые способы построений, ведущих к познанию истины. В этом заряде антидогматизма заключена большая философ. екая ценность теоремы о неполноте. Она заставляет размышлять над тем, что такое знаковое моделирование реальности, что такое строгая теория и сколь разнообразными могут быть ее разновидности»

7. ЧТО ТАКОЕ «МОЖНО ВЫЧИСЛИТЬ»?

Блестящее исследование Гёделя оказалось возможным благодаря тому, что математический материал, относящийся к логике и теория вывода, достиг уже «критической массы». В логике и основаниях математики образовался солидный багаж конкретных достижений. Стала известной специалистам концепция формализованной арифметики Фреге. Была сформулирована формальная аксиоматическая система теории множеств Цермело—Франкеля. Вышли в свет Principia Mathematica. В свете успехов алгебры новую оценку получили работы Буля. Манифесты Брауэра привели к углубленному анализу классической логики и впервые в истории поставили вопрос о ее пересмотре. Наконец, была провозглашена программа Гильберта, которая хотя и оказалась невыполнимой в центральном пункте, придала исследованиям новый дух и поставила перед ними новые задачи.

Когда лед тронулся, процесс развивался уже лавинным образом. Тридцатые годы можно назвать «золотым десятилетием» математической логики; именно в этот период логика из падчерицы математики превратилась в ее органическую и важную часть. Но блестящий фейерверк работ этого периода не сопровождался фанфарами; дело делалось тихо и незаметно. Известность статей К. Гёделя. А. Чёрча, Ж. Эрбрана, С. К. Клини, А. М. Тьюринга, А. Тарского, Я. Лукасевича и других логиков тридцатых годов не выходила за рамки довольно узкого круга профессионалов. Перечисленные ученые принадлежали уже к новому поколению; большинство из них живы и сегодня. Являясь, по существу, пионерами нового взгляда на дедуктивные средства познания, они во время полемики Брауэра и Гильберта чувствовали себя юнцами, взирающими на спорящих титанов. Вряд ли они в то время думали, что их работы, посвященные специальным темам, окажут не меньшее влияние на методологию современного математического естествознания, чем многие знаменитые публикации признанных математических лидеров.

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

«Развитие математики в направлении все увеличивающейся строгости», о котором писал Гёдель, а еще более — критика математического платонизма привели к постановке до тех пор не стоявших вопросов: что такое конструктивный математический объект, то есть объект математического построения? Какие доказательства, выводы, числа, функции, формулы можно считать осуществимыми, вычислимыми?