Однако последующие поколения по достоинству оценили заслуги Лейбница. И сегодня, конечно, Лейбниц предстает перед нами как один из самых великих умов своего времени.
Джордж Буль
Отец булевой алгебры
Чистая математика была открыта Булем в работе, которую он назвал «Законы мышления».
Бертран Рассел
Джордж Буль
Все механизмы, шестеренки, вакуумные лампы и печатные платы — все это еще не компьютер.
Важны также разработки Паскаля и Лейбница, о которых мы вам уже рассказали, и Бэббиджа, о достижениях которого мы расскажем в следующей главе. Эти разработки требовали первоначальной теории логики для того, чтобы, в конечном счете, вдохнуть жизнь в машины, которые «думают».
Расширив общий метод Лейбница, сформулированный на 188 лет раньше, в котором все истинные причины были сведены к виду вычислений, английский математик Д. Буль в 1854 году заложил основу того, что мы сегодня знаем как математическую логику, опубликовав работу «Исследование законов мышления».
В этой работе, изданной, когда ему было 39 лет, Буль свел логику к чрезвычайно простому типу алгебры, алгебры логики высказываний, которая представляла собой систему символов и правил, применяемую к различным объектам (числам, буквам, предложениям).
Его теория логики, основанная на трех основных действиях — AND (и), OR (или), NOT (не), — должна была стать в XX веке основой для разработки переключающих телефонных линий и проекта ЭВМ. Так же, как и идеями Лейбница, булевой алгеброй пренебрегали в течение многих лет после того, как она была создана.
Важность работы, признанной логиком де Морганом, современником Буля, заключалась в следующем: «Символические процессы алгебры, созданные как инструменты числового вычисления, компетентно выражают каждый закон мысли и обладают грамматикой и словарем всего того, что содержит систему логики. Мы это и не предполагали, пока это не было доказано в „Законах мышления“».
Джордж Буль родился 2 ноября 1815 года в Линкольне (Англия), в семье бедного башмачника. Хотя он был современником Ч. Бэббиджа, но происходил не из привилегированного класса, как Бэббидж.
Выходец из слоя общества, дети которого фактически были лишены посещения университета, Джордж должен был заниматься самостоятельно.
Хотя промышленная революция уже произошла в Англии, знание древних языков было показателем уровня образования джентльмена. Конечно, никакой латинский или греческий не преподавали в школе, которую посещал Буль. Буль сам изучил греческий и латинский, пользуясь поддержкой малообразованного отца, и в возрасте 12 лет сумел перевести оду Хорейса на английский язык. Ничего не понимая в качестве техники перевода, гордый отец Буля все-таки напечатал его в местной газете. Некоторые специалисты заявляли, что 12-летний мальчик не мог сделать такой перевод, другие отмечали серьезные технические дефекты перевода. Решив совершенствовать свои знания латинского и греческого, Буль провел следующие два года в серьезном изучении этих языков, и снова без чьей-либо помощи.
Хотя этих знаний было недостаточно, чтобы превратиться в истинного джентльмена, такая тяжелая работа дисциплинировала его и способствовала классическому стилю созревавшей булевой прозы.
Известно, что его отец оставил школу после трех лет обучения, и в то же время удивительно, что Буль получил раннее математическое образование от своего отца, который был самоучкой в этой области.
В возрасте 16 лет для Буля стало необходимостью начать трудовую жизнь, чтобы помочь своим родителям. Получив работу «младшего учителя», или ассистента учителя в начальной школе, Буль должен был провести 4 года, преподавая в двух различных школах.
Всегда думая о перспективе занимаемого места в жизни, Буль начал рассматривать несколько путей, открытых для него. Его первоначальное преподавание было всегда на уровне, однако он не считал это профессией, хотя она и была почетна. Буль стал священнослужителем.
Когда он не преподавал, то проводил время в серьезном изучении французского, немецкого и итальянского языков, в подготовке к церковной жизни. Неудачи, бедность его семейства еще раз разрушили планы Буля; родители убеждали его отказаться от религиозной жизни ввиду их ухудшающегося финансового положения.
Отзывчивый, как всегда, к советам родителей, Буль решил открыть собственную школу. Ему было 20 лет. Преподавая, Буль считал себя также студентом и приступил к изучению полного курса высшей математики. Он проштудировал «Математические начала» Ньютона, «Аналитическую механику» Лагранжа, труды Лапласа и других авторов.
Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, а затем подобно де Моргану, с которым к этому времени подружился, занялся математической логикой.
В своей первой основной работе «Математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения» 1847 года Буль отчетливо показал так называемое количественное истолкование объектов логики и необходимость нового подхода к решению проблем логики.
Этот подход требовал изменения и расширения символического языка алгебры: выбора символики, операций и законов, определяющих эти операции и отражающих специфику объектов исследования, — т. е. по существу создания нового исчисления. Буль писал: «Те, кто знаком с настоящим состоянием символической алгебры, отдают себе отчет в том, что обоснованность процессов анализа зависит не от интерпретации используемых символов, а только от законов их комбинирования. Каждая интерпретация, сохраняющая предложенные отношения, равно допустима, и подобный процесс анализа может, таким образом, при одной интерпретации представлять решение вопроса, связанного со свойствами чисел, при другой — решение геометрической задачи и при третьей — решение проблемы динамики или статики. Необходимо подчеркнуть фундаментальность этого принципа».
С публикацией «Математического анализа…» взгляды и блестящая интуиция этого тихого, простого человека стали ясны его друзьям — математикам, которые советовали ему поступить в Кембридж, для получения общепринятого математического образования.
Буль неохотно отверг эти предложения, потому что его родные полностью существовали на его заработок. Не жалуясь на особенности своего обучения от случая к случаю, Буль, наконец, получил небольшой перерыв в 1849 году, когда его назначили профессором математики в недавно открытом Королевском колледже.
Это назначение позволило ему посвятить больше времени «Законам мышления…» — второй его основной работе, которую он непрерывно оттачивал и усовершенствовал в течение еще 5 лет, до публикации в 1854 году.
Как писал Буль в первом параграфе книги: «Цель данного трактата:
□ исследовать фундаментальные законы тех действий разума, с помощью которых выполняются рассуждения;
□ выразить их в символическом языке исчислений и на этой основе создать науку логики и построить метод;
□ сделать этот метод непосредственно основой общего метода для выражения теории вероятностей;
□ наконец, получить различные элементы истины;
□ оценить в рамках решения этих вопросов некоторое вероятное сообщение».
И далее: «Теперь фактически исследования следующих страниц показывают логику, в практическом аспекте, как систему процессов, проведенных при помощи символов, имеющих определенную интерпретацию и подчиненных законам, основанным на этой единственной интерпретации. Но в то же самое время они показывают эти законы как идентичные по форме с законами общих символов алгебры, с одним единственным дополнением, viz».
Другими словами, в общей алгебре не выполняется, например: что каждый х тождественно равен своему квадрату — но это истина в булевой алгебре. Согласно Булю, х2 = х для любого х в его системе. В числовой системе это уравнение имеет единственное решение «О» и «1». В этом заключается важность двоичной системы для современных компьютеров, логические части которых эффективно реализуют двоичные операции.
Кроме логики, булева алгебра имеет два других важных применения. Булева алгебра применяется в натуральной алгебре. Принимая также во внимание идею «количества элементов» в множестве, булева алгебра стала основой для теории вероятностей.
Несмотря на большое значение булевой алгебры во многих других областях математики, необычайная работа Буля в течение многих лет считалась странностью. Как и Бэббидж, Буль был человеком, опередившим свое время. Это произошло раньше, чем Альфред Уайтхед и Бертран Рассел опубликовали свой трехтомник «Принципы математики» (1910–1913), в котором рассматривались вопросы формальной логики.
