Джордж Буль
Биография
Джордж Буль (2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Он стал профессором математики Королевского колледжа Корка (ныне Университетский колледж Корк) в 1849 году и был одним из основателей математической логики.
Возраст раннего увлечения
Джордж Буль родился и вырос в семье небогатого ремесленника Джона Буля, который увлекался наукой. Буль начал изучать математику под руководством своего отца, но вначале не обнаружил своих выдающихся талантов в точных науках. Вместо этого он увлекся чтением классических авторов.
Учебная деятельность
К семнадцати годам Буль успешно освоил высшую математику, но продвигался медленно из-за отсутствия должной помощи. Он начал работать помощником учителя в частной школе в Донкастере в шестнадцать лет и продолжал преподавать на разных должностях на протяжении всей жизни.
Личная жизнь
В 1855 году Буль женился на Мэри Эверест-Буль, племяннице знаменитого географа Джорджа Эвереста. Она также занималась наукой и преподаванием и после смерти мужа активно популяризировала его вклад в логику. У Буля было пять дочерей, из которых несколько также стали учеными.
Вклад в математическую логику
Буль был одним из первых математиков, кто обратился к логической проблематике после Джона Валлиса. Он предложил символический метод алгебры для анализа логических форм и силлогизмов. Буль также разработал общий символический метод логического вывода, позволяющий из заданных высказываний выводить любое заключение.
Научные публикации
Буль опубликовал около пятидесяти статей и несколько монографий на различные математические темы. Он также изучал христианскую теологию и влияние ее на научные и философские вопросы.
Заключение
Джордж Буль был выдающимся ученым, чей вклад в математическую логику оказал значительное влияние на развитие этой области науки. Его работы до сих пор являются классическими и продолжают вдохновлять ученых по всему миру.