Жизнь науки

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

Здесь намерен я изъяснить, каким образом думаю пополнить такие пропуски в Геометрии. Изложение всех моих исследований в надлежащей связи потребовало бы слишком много места и представления совершенно в повом виде всей науки. О прочих недостатках Геометрпи, менее важных по затруднению, не почитаю нужным говорить подробно. Ограничусь одним только замечанием, что они относятся к способу преподавания. Никто не помышляет отделить то, что исключительно принадлежит Геометрии, от того, где наука сия становится уже другою, т.е. Аналитикой.

Первые понятия, с которых начинается какая-нибудь наука, должны быть ясны и приведены к самому меньшему числу. Тогда только они могут служить прочным и достаточным основанием учения. Такие понятия приобретаются чувствами; врожденным — не должно верить.

Ничего не может быть простее того понятия, которое служит основанием Арифметике. Мы познаем легко, что всё в природе подлежит измерению, все может быть сосчитано. Не таковы положения Механики: человек с помощью одних ежедневных своих опытов не мог бы прийти к ним. Вечность и одинаковость раз сообщенного движения, где скорость служит мерою оного и массы различных тел — такого рода истины, которые требовали времени, пособия других познаний и ожидали гения...

БУЛЬ

(1815-1864)

Джордж Буль родился в Линкольне (средняя Англия) в семье мелкого лавочника. Буль получил только среднее образование и, блестяще окончив школу, стал учителем в предместьях Лондона. Он самостоятельно изучил высшую математику, европейские языки; латынь и греческий он знал еще со школы.

Одна из ранних работ Буля по анализу была послана в Лондон. В силу неизвестности автора и сложности вопроса ее чуть не отклонили от публикации в «Известиях Королевского общества». Однако через два года за эту работу это же общества присудило Булю Королевскую медаль. В 1849 г. Буль стал профессором математики в колледже в Корке (Ирландия), где он и прожил до конца своей жизни. Сорока лет Буль женился на Мэри Эверест. У Буля было 5 дочерей, из которых младшая, Этель Войнич, известна как автор замечательного романа «Овод».

Буль отличался большой независимостью и оригинальностью ума, но при жизни оп был мало известен и понят немногими. Основные его труды посвящены высшей алгебре, теории вероятностей и теории дифференциальных уравнений, исчислению конечных разностей. Но наибольшее значение имеет созданная Будем символическая математическая логика. Изобретенная Булем алгебра — булева алгебра — стала уни-нереальным языком для описания всех логических процессов, в том числе и современных логических автоматов и электронных вычислительных машин.

В 1854 г. появилось знаменитое теперь сочинение Буля «О законах мышления». Однако раньше в 1847 г. было опубликовано первоначальное изложение этого крута вопросов в книге «Математический анализ логики», предисловие к которой мы и приводим.

МАТЕМАТИЧЕСКИЙ АНАЛИЗ ЛОГИКИ Предисловие

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