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

Машина Джевонса не освобождала, однако, логический вывод от участия «человеческой» логики: результат, который выдавала машина, нуждался в переформулировке. Кроме того, машина была логически маломощна, и хотя используя одновременно две машины, можно было решать более сложные задачи, тем не менее возможности придуманных Джевонсом процедур были весьма ограниченными. Главное ограничение состояло в том, что небогатой была сама логическая теория, лежавшая в их основе. Дальнейшее развитие автоматизации логических процедур, как мы увидим, оказалось существенно связанным с развитием самой логики.

3. ОБРЕТЕНИЕ ПИСЬМЕННОСТИ

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

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

Имя Джорджа Буля (1815—1864) в последнее время стало известно даже людям, далеким от математики и логики. Понятие «булевой алгебры» уже знакомо многим нематематикам и нелогикам, а понятие «булевской переменной» вошло в обиход программистов, операторов и всех, кто пользуется ЭВМ. В этом состоит залог бессмертия имени Буля, поскольку кибернетика будет входить в нашу жизнь все шире (точно так же, когда единицу тока назвали ампером, имени великого французского физика навсегда суждено было войти в языки всех народов — вскоре наступил век электричества). Однако при жизни — да и долго после смерти — профессор математики из ирландского города Корка Джордж Буль, автор основополагающих для математической логики трудов «Математический анализ логики» (1847) и «Исследование законов мысли» (1854)[1] не считался человеком, внесшим большой вклад в науку, и его имя было известно лишь узким специалистам.

Такое непризнание заслуг Буля объясняется очень просто: тема, которой он занимался, стояла в стороне от главной линии развития тогдашней математики.

Историк математики Е. Т. Белл в книге «Творцы математики» объясняет оригинальность работ Буля отчасти объективными причинами — тем, что Буль был «островной» математик, жил и работал в Англии, которая благодаря своему изолированному от континентальной Европы расположению не была особенно подвержена господствовавшей математической «моде». Дальше он пишет следующее: «Фактом является то, что британские математики часто спокойно шли своим собственным путем, занимаясь лишь вещами, интересовавшими их лично, — как может интересовать, скажем, игра в крикет, доставляющая удовольствие, — и, получая от этих занятий полное удовлетворение, свысока смотрели на тех, кто во всю силу своих научных легких оповещает мир о сделанных открытиях. В свое время, в эпоху идолопоклонства перед ньютоновским анализом, эта независимость дорого обошлась британской школе, но теперь, при ретроспективной оценке ее достижений, мы видим, что она внесла гораздо больший вклад в математику, чем это случилось бы, если бы она рабски копировала континентальную науку»[2]. Эти слова, возможно, раскрывают причины самостоятельности научных поисков Буля. Его оторванность от континентальной математики дала ему лишнюю возможность, не сосредоточивая главного внимания на задачах дифференциального и интегрального исчисления (которые тогда считались основными задачами всей математики), глубоко задуматься над конструкциями логики. Джордж Буль обратился к «вечной теме» логики познания, связанной с реальнейшей из реальностей — с конструкциями естественного языка: к выделению из языка логических схем для того, чтобы затем воплотить их тоже во вполне реальные объекты — таблицы, алгебраические формулы.

Можно усмотреть элемент везения в том, что Буль оказался профессором не Берлинского или Парижского университета, а университета небольшого ирландского городка. Если заниматься постоянно задачами, которыми занято большинство, то кому же создавать новые области знания? Правда, не все те, кто жил в захолустном Корке или в других подобных местах, создали новую область науки, но ведь были же такие «люди из захолустья», как Циолковский и Лобачевский...

Мы не даром вспомнили Лобачевского. Труд Буля явился одним из важных путей расширения рамок математики, постановки новых задач и появления у нее новых обязательств по отношению к другим сферам знания. Такой же значительный вклад сделали еще раньше Н. И. Лобачевский (1792—1855) и У. Р. Гамильтон (1805—1865). До начала XIX века математику рассматривали как прямое отражение свойств реальных вещей. Лобачевский и Гамильтон первыми в истории науки создали математические структуры, не «скопированные» непосредственно с каких-либо известных всем явлений, отношений или процессов. Такая самостоятельность формирования математических структур в то время выглядела столь непривычной, что сами их создатели были немало смущены собственными творениями и могли бы произнести слова, которые позже сказал Г. Кантор: «Вижу, но не верю».