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

• Название: Жар холодных числ и пафос бесстрастной логики
• Автор: Борис Бирюков
• Издательство: Издательство "Знание"
• Жанр: Математика
• Год: 1977

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.

---

Но Гильберт уже не верил в существование в каком-то «царстве идей» множеств множеств множеств. Гильберт просто считал, что такие понятия полезны для математики, в могуществе которой был глубоко убежден. В конце вступительной части своего исторического доклада о проблемах математической науки он произнес вдохновенные слова: «мы слышим внутри себя постоянный призыв: вот проблема, ищи решение. Ты можешь найти его с помощью чистого мышления, ибо в математике не существует Ignorabimus»[15]. Это был прямой вызов агностическим установкам в науке, так как выражение ignorabimus—«мы не будем знать» (лат.) было сказано физиологом Э. Дюбуа-Реймоном о некоторых нерешенных проблемах (касающихся взаимоотношения физиологического и психического).

Новаторство Гильберта проявилось как в том, что он объявил теоретико-множественные построения лишь вспомогательными элементами науки, так и в подробно развитом им подходе к основаниям математики, получившем название гильбертовского формализма и финитизма. Познакомимся с основным тезисом гильбертовского формализма из уст его автора.

Гильберт считал, что в качестве предварительного условия для осуществления логических умозаключений и выполнения логических операций в человеческом представлена уже должны быть даны определенные внелогические конкретные объекты — даны наглядно, в качестве непосредственных переживаний до какого бы то ни было мышления. «Для того чтобы логические выводы были надежны, эти объекты должны быть обозримы полностью во всех частях; их показания, их отличие, их следование, расположение одного из них наряду с другим дается непосредственно наглядно, одновременно с самими объектами, как нечто такое, что не может быть сведено к чему-либо другому и не нуждается в таком сведении. Это — та основная философская установка, которую я считаю обязательной как для математики, так и вообще для всякого научного мышления, понимания и общения и без которой совершенно невозможна умственная деятельность. В частности, в математике предметом нашего рассмотрения являются конкретные знаки сами по себе, облик которых... непосредственно ясен и может быть впоследствии узнаваем»[16].

Если глубоко вдуматься в это программное заявление, мы увидим, что перед нами, несомненно, плодотворный тезис. По существу, Гильберт утверждает здесь, что мышление, научная работа нуждаются в системе знаков, на которые могут опереться логические рассуждения. Знаки — внелогическая категория, утверждает Гильберт. В самом деле, ведь это материальные объекты, состоящие из засохшей типографской краски, из микроскопических ракушек, образующих мел, и т. п.

Они могут отображаться в представлении, в сознании, но в этом случае они выступают в качестве образов тех же материальных объектов. Для научного мышления представляют ценность не любые знаки, а такие, которые человек может уверенно отличать друг от друга или, наоборот, отождествлять друг с другом — только в этом случае их можно использовать для построения теории.

По поводу формализма Гильберта возникало немало недоразумений и неправильных его трактовок, поэтому мы дадим слово великому математику еще раз. Главное обвинение, которое бросали Гильберту в то время, состояло в том, что он будто бы превращает математику в пустую игру символов и тем самым исключает ее из факторов человеческой культуры. Вот что он отвечал по этому поводу:

«Эта игра формул допускает, что все содержание идей математической науки можно единообразно выразить и развить таким образом, чтобы вместе с тем соотношения и отдельные теоремы были понятны. Выставить общее требование, согласно которому отдельные формулы сами по себе должны быть изъяснимы, отнюдь не разумно; напротив, сущности теории соответствует, что при ее развитии нет необходимости, между прочим, возвращаться к наглядности или значимости. Физик как раз требует от теории, чтобы частные теоремы были выведены из законов природы или гипотез с помощью одних только умозаключений, не вводя при этом дальнейших условий, то есть. на основании чистой игры формул. Только известная часть комбинаций и следствий из физических законов может быть контролируема опытом, подобно тому как в моей теории доказательства только реальные высказывания могут быть непосредственно проверяемы»[17].

Было бы неправильным усматривать здесь философски неубедительные тенденций. Основная цель науки, по Гильберту, познание мира. Но сущность вещей не лежит в их «верхнем слое», непосредственно открытом чувственному восприятию. Поэтому методологически, неправильно каждую отдельную формулу и каждый отдельный знак «проверять» сопоставлением с действительными объектами. Теория — вещь горазда более сложная, чем простое «фотографирование» объектов. Установив правила работы со знаками с помощью глубинных законов природы или с помощью некоторых» гипотез (которые потом могут быть отвергнуты, если теория: не оправдает себя), на следующем этапе работы мы можем отвлечься: от внешней реальности, вернее, рассматривать в качестве реальности уже не окружающую природу, а саму знаковую систему с ее правилами, каковые, хотя и были установлены нами самими», теперь предстают перед нами как объективная: данность»

Чтобы лучше пояснить сущность гильбертовской идеи «игры в символы», проведем такую параллель. В современной практике получили распространение аналоговые электрические машины, с помощью которых исследователи решают многие важные проблемы. Принцип действия таких устройств состоит в том, что параметры электрических цепей (омического сопротивления, индуктивности, напряжения; и т. д.) подобраны так, что изменение тока или напряжения во времени оказывается подчиненным тем же законам, которые, по предположению, управляют некоторым физическим или технологическим процессом.

Придав параметрам исходные значения, затем предоставляют развиваться электрическим процессами смотрят, что получится в результате. Это — электрическое моделирование неэлектрического (а, скажем, механического или теплового) процесса. В этом случае никто не будет настаивать, чтобы мы истолковывали токи или напряжения содержательным образом на каждом этапе исследования. Запустив машину, исследователь некоторое время имеет дело только с происходящими в ней электрическими явлениями. Если бы он отказался от такой методики и подвергал все промежуточные значения параметров мелочной проверке и сопоставлению с моделируемым процессом, это могло бы принести только вред (он мог навязать машине свои представления об изучаемом явлении, которые могли бы оказаться ошибочными). Гильбертова методика знакового моделирования ничем, в сущности, не отличается от обрисованной нами сейчас методики электрического моделирования. Роль токов и напряжений, измеряемых с помощью приборов, а в конечном счете — с помощью человеческого глаза, смотрящего на шкалу прибора, у Гильберта играют знаки, опознаваемые и различаемые математиком, а в роли условий, определяющих характер электрического процесса в аналоговой машине, выступают аксиомы и правила вывода одних знаковых комбинаций из других, предварительно установленные на основании некоторых разумных соображений и в дальнейшем ни в коем случае не нарушаемые. Впоследствии мы увидим, какую существенную роль играет знаковое моделирование в кибернетике.

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

У Гильберта было глубокое убеждение в том, что можно «финитными» (конечными) средствами доказать непротиворечивость арифметики, после чего и вся математика — с анализом и всеми ее «идеальными элементами» — станет в логическом смысле абсолютно истинной и превратится в инструмент исследования стопроцентной надежности (что не будет, конечно, означать прекращения развития математической науки). Что же такое «финитные средства»? Это — аппарат, не апеллирующий к канторовской идее бесконечности (когда бесконечные множества мыслятся как актуальные, то есть «ставшие», как некие законченные образования, данные сразу всеми своими элементами) и не содержащий «идеальных элементов», схемы и правила рассуждений которого в силу этого вполне ясны, обозримы и понимаются всеми одинаковым образом.

Приведем пример финитного доказательства непротиворечивости, который позволит конкретно представить существо подхода Гильберта. Докажем, что дедуктивно-аксиоматическая система исчисления высказываний, описанная в главе 4 (система Фреге), непротиворечива, то есть, что в ней нельзя доказать в качестве теоремы некоторую формулу а и ее отрицание ~α[18].

Доказательство любой теоремы в данной системе можно представить как цепочку формул, каждая из которых есть либо аксиома, то есть формула, подпадающая под какую-либо схему аксиом, либо получена из каких-либо формул, стоящих в цепочке ранее, по модесу поненсу; последняя формула цепочки есть доказываемая теорема. В силу этого самое первое применение правила вывода должно обязательно относиться к аксиомам. В этом смысле можно сказать, что все доказательства — выводы теорем — начинаются на аксиомах, а затем с помощью правила модус поненс получаются новые формулы (причем каждая из них есть теорема). Но поскольку любая формула, подпадающая под какую-либо схему аксиом (аксиома), как мы установили, тождественно-истинна, а модус поненс этой истинности не «портит», то свойство «быть тождественно-истинной формулой» становится в нашей системе «наследственным» — присущим всем теоремам. Это свойство похоже на некий генетический признак, непременно передающийся от родителей к детям. При таком положении дел можно с полной уверенностью утверждать, что среди даже самых дальних потомков прародителей не встретятся экземпляры, лишенные наследуемого признака.