Буль ученый. Биография джорджа буля
Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. Недаром начальный раздел математической логики называют алгеброй логики, или булевой алгеброй.
Вскоре после того как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет «Математический анализ логики», в котором высказал идею, что логика более близка к математике, чем к философии. Эта работа была чрезвычайно высоко оценена английским математиком Огастесом (Августустом) Де Морганом. Благодаря этой работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в графстве Корк.
В 1854 году опубликовал работу «Исследование законов мышления, базирующихся на математической логике и теории вероятностей». Работы 1847-1854 годов положили начало алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов -- истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями -- И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления. В своей работе «Законы мышления» (1854 г.) Буль окончательно сформулировал основы математической логики. Он также попытался сформулировать общий метод вероятностей, с помощью которого из заданной системы вероятных событий можно было бы определить вероятность последующего события, логически связанного с ними.
Буль не считал логику разделом математики, но находил глубоко аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Буль показал, что символики такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма -- получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, представленной в «Законах мышления...», образующая общий символический метод логического вывода. Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций. Вторая часть «Законов мышления...» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.
Буль обозначал универсум мыслимых объектов, буквенными символами -- выборки из него, связанные с обычными прилагательными и существительными. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В «Законах мышления» (An investigation of the Laws of Thought), Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций. Вторая часть «Законов мышления» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.
Буль изобрел своеобразную алгебру -- систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв, до предложений. Пользуясь этой системой, Буль мог закодировать высказывания -- утверждения, истинность или ложность которых требовалось доказать, - с помощью символов своего языка, а затем манипулировать ими подобно тому, как в математике манипулируют обычными числами.
Три основные операции булевой алгебры -- это И, ИЛИ, и НЕ. Хотя система Буля допускает множество других операций -- часто называемых логическими действиями, - указанных трех уже достаточно для того, чтобы производить сложение, вычитание, умножение и деление или выполнять такие операции, как сравнение символов и чисел. Логические действия двоичны по своей сути, они оперируют лишь с двумя сущностями - «истина» или «ложь», «да» или «нет», «открыт» или «закрыт», нуль или единица. Буль надеялся, что его система, очистив логические аргументы от словесной шелухи, облегчит поиск правильного заключения и сделает его всегда достижимым.
В 1857году Буль был избран членом Лондонского Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859г.) и «Трактат о вычислении предельных разностей» (1860 г.) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля.
Большинство логиков того времени либо игнорировали, либо резко критиковали систему Буля, но ее возможности оказались настолько велики, что она не могла долго оставаться без внимания.
2. Биография . 2
3. Научная деятельность . 4
4. Достижения в математике . 4
4.1. Введение в булеву алгебру . 4
4.2. Булева алгебра . 5
4.3. Арифметические модели булевых операций . 6
5. Заключение . 6
6. Источники информации: 8
Решимость и целеустремленность Буля не знали границ. Его отец, самостоятельно овладевший кое-какими познаниями в математике, передал эти знания своему способному сыну. Уже к восьми годам мальчика всецело захватила жажда знаний. Предметом, который, по-видимому, сыграл важную роль в дальнейшей судьбе Буля, был латинский язык. Здесь отец ничем не мог ему помочь, но друг их семьи, занимавшийся книжной торговлей, в достаточной степени владел латинской грамматикой, чтобы дать Булю начальный толчок. Когда книготорговец обучил его всему, что знал сам, Буль продолжил учебу самостоятельно и в возрасте 12 лет уже переводил классическую латинскую поэзию. Еще через два года он овладел греческим языком, а затем добавил к своей коллекции языков французский, немецкий и итальянский. После открытия собственной школы, Буль понял, что ему следует углубить свои познания в математике, чтобы превзойти учеников, и приступил к чтению математических журналов, которые имелись в библиотеке местного научного учреждения. И тут у Буля обнаружились поистине неординарные способности. Изучив горы научных публикаций, он овладел сложнейшими математическими теориями своего времени. У него возникли и собственные оригинальные идеи. Буль стал записывать их, не прекращая в то же время преподавательской работы в своей маленькой школе. В 1839 году одна из его статей была принята к публикации научным журналом. На протяжении следующего десятилетия работы Буля регулярно печатались, и его имя приобрело известность в научных кругах. В конце концов, деятельность Буля получила столь высокую оценку, что он, несмотря на отсутствие формального образования, был приглашен работать на математический факультет Королевского колледжа в Ирландии.
Джордж Буль по праву считается отцом математической логики. В научных трудах Буля отразилось его убеждение о возможности изучения свойств математических операций, осуществляемых не обязательно над числами. Ученый говорил о символическом методе, который он применял как к изучению дифференцирования и интегрирования, так и к логическому выводу и к теоретико-вероятностным рассуждениям. Именно он построил один из разделов формальной логики в виде некоторой "алгебры", аналогичной алгебре чисел, но не сводящейся к ней. Буль изобрел своеобразную алгебру (впоследствии её назвали булевой) - систему обозначений и правил, применимую к всевозможным объектам, от чисел до предложений. Буль надеялся, что его система, очистив логические аргументы от словесной шелухи, облегчит поиск правильного заключения и сделает его всегда достижимым. Большинство логиков того времени либо игнорировали, либо резко критиковали систему Буля, но ее возможности оказались настолько велики, что она не могла долго оставаться без внимания. Через некоторое время стало понятно, что система Буля хорошо подходит для описания электрических переключателей схем. Это первым из ученых осознал американский логик Чарлз Сандерс Пирс и применил теорию для описания электрических переключательных схем.
Занимаясь математическими исследованиями, ученый не забывал о гуманитарных предметах. Его интересовали лингвистика и логика, философия, этика и поэзия. Этот слишком большой разброс интересов профессора математики его супруга, видимо, не одобряла. Она самым решительным образом покончила с его поэтическими упражнениями: однажды забрала у него листы, на которых он писал стихи, и кинула их в огонь. Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, затем занялся математической логикой. В основных трудах Буля "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" и "исследование законов мышления, в которых основаны математические теории логики и вероятности" были заложены основы математической логики.
Уже в 1839 году он написал свою первую статью по абстрактной алгебре «Исследования по теории аналитических преобразований» (Researches on the Theory of Analytical Transformations ). За ней последовал целый поток публикаций в имевшихся в ту пору английских математических журналах.
Феноменально быстро - спустя всего пять лет - научная деятельность Буля была оценена. В 1844 году он был удостоен Королевской медали Королевского научного общества, причем это был первый случай, когда медаль вручалась за чисто математические работы. Может быть, такое скорое признание и не слишком большое почтение к местным авторитетам и вызвали неоднозначную реакцию коллег, что отдалило Буля от математической среды. Однако это не помешало ему опубликовать в 1847 году труд «Математический анализ логики» (The Mathematical Analysis of Logic) , в котором Буль впервые высказал идеи символической логики. В нем он показал, что с помощью алгебраических уравнений можно представить то, что со времен Аристотеля существовало только в вербальной форме. Буль писал: «Мы больше не должны связывать логику с метафизикой, но логику с математикой». Свой основной труд «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» (An Investigation of the Laws of Thought , on Which Are Founded the Mathematical Theories of Logic and Probabilities ) Буль опубликовал в 1854 году. После этого, в 1857 году, он был прият в члены Королевского научного общества. Буль занимался и традиционными математическими дисциплинами. Так, в 1859 году он написал работу, посвященную дифференциальным уравнениям (Treatise on Differential Equations) , а в 1860 году - вычислениям конечных разностей (Treatise on the Calculus of Finite Differences ) . Также он занимался теорией вероятностей, а всего им было написано свыше 50 работ.
Чистая математика была открыта Булем в работе, которую он назвал "Законы мышления".
Бертран Рассел
Джордж Буль (2 ноября 1815 - 8 декабря 1864), - английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк). Один из предтеч математической логики.
Джордж Буль родился и вырос в семье небогатого ремесленника Джона Буля, увлечённого наукой. Отец, интересуясь математикой и логикой, дал первые уроки своему сыну, но тот не сумел обнаружить рано свои выдающиеся таланты в точных науках, и его первым увлечением стала классическая литература. В 12 лет знал латынь, затем овладел греческим, французским, немецким и итальянским языками. Материальное положение его родителей было тяжелым, поэтому Джордж смог окончить только начальную школу для детей бедняков; в других учебных заведениях он не учился. Этим отчасти и объясняется, что, не связанный традицией, он пошел в науке собственным путем.
В 1831 г. в возрасте 16 лет Буль был вынужден поступить на работу, чтобы помочь семье. Четыре года он проработал на мало оплачиваемой должности помощника учителя, но затем, осмелев, решил открыть собственную школу. Поняв, что ему следует углубить свои познания в математике, чтобы превзойти учеников, он приступил к чтению математических журналов, которые имелись в библиотеке местного научного учреждения. И тут у Буля обнаружились поистине неординарные способности. Изучив горы научных публикаций, он овладел сложнейшими математическими теориями своего времени. У него возникли и собственные оригинальные идеи. Буль стал записывать их, не прекращая в то же время преподавательской работы в своей маленькой школе. В 1839 г. одна из его статей была принята к публикации научным журналом. На протяжении следующего десятилетия работы Буля регулярно печатались, и его имя приобрело известность в научных кругах.
В 1849 году в городе Корк (Ирландия) открылось новое высшее учебное заведение - Куинз-колледж. К этому времени математическая деятельность Буля получила столь высокую оценку, что он, несмотря на отсутствие формального образования, был приглашен на профессорскую должность математического факультета Королевского колледжа в Ирландии, которую сохранил до конца жизни. Только здесь он получил возможность не только обеспечить родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, а затем занялся математической логикой.
Буль все чаще стал задумываться над вопросом, над которым задолго до него размышлял Лейбниц, - как подчинить логику математике. В 1847 г. Буль написал важную статью на тему «Математический анализ логики», а в 1854 г. развил свои идеи в работе под названием «Исследование законов мышления». Эти основополагающие труды Буля внесли поистине революционные изменения в логику как науку.
Буль изобрел своеобразную алгебру - систему обозначений и правил, применимую ко всевозможным объектам, от чисел и букв до предложений. Пользуясь этой системой, Буль мог закодировать высказывания - утверждения, истинность или ложность которых требовалось доказать, - с помощью символов своего языка, а затем манипулировать ими подобно тому, как в математике манипулируют обычными числами. Три основные операции булевой алгебры - это И, ИЛИ и НЕ. Хотя система Буля допускает множество других операций - часто называемых логическими действиями, - указанных трех уже достаточно для того, чтобы производить сложение, вычитание, умножение и деление или выполнять такие операции, как сравнение символов и чисел. Логические действия двоичные по своей сути, они оперируют лишь с двумя сущностями - «истина» или «ложь», «да» или «нет», «открыт» или «закрыт», нуль или единица. Буль надеялся, что его система, очистив логические аргументы от словесной шелухи, облегчит поиск правильного заключения и сделает его всегда достижимым.
Несмотря на большое значение булевой алгебры во многих других областях математики, необычайная работа Буля в течение многих лет считалась странностью. Как и Бэббидж, Буль был человеком, опередившим свое время. Заслуживает внимания и то, что на достижения Буля частично опирались математические открытия, к тому времени появившиеся в Англии, в том числе и идеи Бэббиджа.
Математики обратили внимание на идею Бэббиджа о математических операциях и величинах, использующихся в них. Идея стала возможной благодаря группе британских специалистов в области алгебры, к которым принадлежал и Буль. Буль продемонстрировал, что логика может сводиться к очень простым алгебраическим системам, после чего для Бэббиджа и его последователей стало возможным создание механических устройств, которые могли решать необходимые логические задачи.
Через некоторое время стало понятно, что система Буля хорошо подходит для описания электрических переключателей схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому, как утверждение может быть либо истинным, либо ложным. А еще несколько десятилетий спустя, уже в ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.
Через год после опубликования “Законов мышления…” Буль женился на Мэри Эверест, племяннице профессора греческого языка Королевского колледжа. Счастливый брак длился в течение девяти лет, вплоть до безвременной кончины Джорджа Буля.
8 декабря 1864 года, в возрасте 49 лет, по-читаемый и известный, Джордж Буль умер от воспаления легких.
У четы Булей было пять дочерей. Старшая, Мэри, вышла замуж за Ч. Хинтона - математика, изобретателя и писателя-фантаста - автора широко известной повести “Случай в Флатландии”, где описаны некие существа, живущие в плоском двухмерном мире. Из многочисленного потомства Хинтонов трое внуков стали учеными: Говард - энтомологом, а Вильям и Джоан - физиками. Последняя была одной из немногих женщин-физиков, принимавших участие в работе над атомным проектом в США. Вторая дочь Булей, Маргарет, вошла в историю как мать крупнейшего английского механика и математика, иностранного члена Академии наук СССР Джеффри Тэйлора. Третья, Алисия, специализировалась в исследовании многомерных пространств и получила почетную ученую степень в Гронингенском университете. Четвертая, Люси, стала первой в Англии женщиной-профессором, возглавившей кафедру химии. Но наиболее известной из всех дочерей Булей стала младшая, Этель Лилиан, вышедшая замуж за ученого - эмигранта из Польши Войнича. Войдя в революционную эмигрантскую среду, она написала прославивший ее на весь мир роман “Овод”. За ним последовало еще несколько романов и музыкальных произведений, а также перевод на английский язык стихотворений Тараса Шевченко. Войнич скончалась в Нью-Йорке в возрасте 95 лет, немного не дожив до столетия со дня смерти своего знаменитого отца математика Джорджа Буля.
Имя Буля носят следующие математические объекты:
- булева алгебра;
- булева функция;
- булево кольцо;
- булево программирование;
- булевы операции;
- булев разброс;
- булево разложение;
- булева регулярная точка ядра.
По материалам Википедии и статьи «Джордж Буль. Отец булевой алгебры» в книге А.Частикова "Архитекторы компьютерного мира".
Джордж Буль по праву занимает свое место среди великих математиков и логиков. Благодаря его таланту появилась на свет алгебра логики, являющаяся фундаментом работы всех цифровых компьютеров.
Джордж Буль: биография (кратко)
Этот ученый появился на свет 2 ноября 1815 года в небогатой рабочей семье. Местом его рождения был город Линкольн, располагающийся на востоке Англии. Его отец Джон изготавливал обувь, а мать Мэри до той поры, пока не вышла замуж, была камеристкой. Отец Джорджа серьезно увлекался наукой и уделял недостаточно времени своему основному делу. В семье долго не было детей, но когда супруги уже утратили всякую надежду, у них появился долгожданный сын.
Джордж Буль появился на свет очень слабым, но ему суждено было выжить, окрепнуть и стать настоящим гением.
В неполные два года он стал ходить в школу, предназначенную для детей торговцев. После до семи лет мальчик посещал занятия в коммерческой школе, руководил данным учебным заведением друг его отца.
Развитие способностей будущего гения
Даже в те годы будущий ученый выказывал гениальные способности, правда, делал он это в необыкновенной манере. Однажды мальчик не явился на занятия. Его разыскали в городе, где он зарабатывал свои первые деньги. Джордж безошибочно говорил по буквам труднопроизносимые слова, а люди в восторге бросали ему деньги.
Первым азам математических наук юного гения обучал отец, под его присмотром мальчик также стал конструировать оптические приборы.
Джорджа можно отнести к самоучкам, хоть он и учился в местной школе. Он не сразу продемонстрировал свои гениальные способности в изучении точных наук и начал увлекаться классической литературой. В двенадцать лет Буль уже говорил на латыни, а затем ему покорились языки Греции, Франции, Германии и Италии.
Родители мальчика были небогатыми людьми, поэтому Джордж Буль (биография об этом свидетельствует) закончил только начальную школу для бедных детей. Не придерживающийся традиционных методов, он в будущем последовал в науке своим индивидуальным путем.
В шестнадцать лет Джордж Буль уже работал в деревенской школе, а в двадцать имел собственную школу в городе Линкольне. Свободное от работы время Джордж проводил за чтением журналов по математике, изучением научных трудов великих математиков. Будущего ученого интересовали также проблемы алгебры того времени.
Удивительный факт, но в начале своего пути Буль задумывался о карьере священника. Но затем увлечение математическими науками вытеснило эти мысли из головы Джорджа Буля.
Первые работы
С 1839 года Джордж Буль стал слать написанные им труды в математический журнал Кембриджа. Первая его работа касалась уравнений с неизвестной функцией под знаком производной или дифференциала и проблем линейных преобразований в алгебре.
В 1844 году Буль стал обладателем медали Королевского общества.
Когда математик удостоверился, что его алгебру можно применять к логике, он издал работу, где поделился мыслью, что логика является наукой, более близкой к математике, а не к философии. Этот памфлет поспособствовал тому, что в 1849 году Джордж Буль стал профессором математических наук. Буль - яркий пример самоучки, гениальный талант которого был признан обществом.
Булева алгебра
Труды Буля, созданные в 1847 и 1854 годах, служили фундаментом алгебры логики. Математик доказал в них существование сходства между действиями логики и алгебры. Благодаря созданной Булем системе стала возможна кодировка высказываний.
Алгебра логики основывалась на трех главных операциях, позволяющих совершать действия с символами и числами. Джордж питал надежды, что его система поспособствует очищению аргументов логики от словесного мусора, сделает легким и достижимым поиск верного решения.
В 1857 году Джордж Буль - математик, внесший свою лепту в развитие науки, - стал членом Королевского общества. Некоторые его труды, написанные в 1859-1860 годах и отражающие важнейшие открытия в области математики, глобально повлияли на развитие данной науки.
Несмотря на значимость в других разделах математики, алгебра логики на протяжении долгого времени расценивалась как странная. К гениям, обогнавшим свое время, относился Джордж Буль, фото изобретений ученого служат тому наглядным примером.
И в наши дни в алгебре современности существуют и используются термины Джорджа Буля.
Личная жизнь
Буль был женат на племяннице профессора Королевского колледжа Мэри Эверест. Брак, наполненный счастьем, несмотря на то что Мэри была моложе своего мужа на семнадцать лет, длился девять лет, и только безвременный уход Джорджа из жизни способен был разлучить эту пару.
В семье появилось на свет пять девочек. Мэри Эверест и Джордж Буль (фото ученого приведены в статье) были прекрасной парой.
Работая над исследованиями в области математики, Буль уделял внимание и гуманитарным наукам. Жена в один удобный момент решительно положила конец его поэтическим занятиям, так как не приветствовала разброс интересов ученого. Мэри однажды взяла у мужа листы с написанными стихами и предала их огню.
Супруга имела представление о научных гипотезах Джорджа, внимательно и участливо вдохновляла его на продолжение исследований в области математики. После ухода из жизни супруга она уделяла много внимания разъяснению его важнейшего вклада в развитие логики.
Дочери Джорджа Буля
Муж первой дочери Булей - Мэри - был математиком, изобретателем и писателем. Трое из их детей впоследствии стали учеными в области физики и энтомологии.
Еще одна дочь - Маргарет - оставила свой след в истории как мать известного английского ученого, занимавшегося механикой и математикой - Джеффри Тэйлора.
Третья дочь - Алисия - занималась исследованиями в области математики и имела заслуженную ученую степень.
Четвертая дочь четы Булей - Люси - являлась первой представительницей женского пола, ставшей профессором в Англии. Она руководила кафедрой химии.
Этель Лилиан - пятая дочь Джорджа Буля - наиболее известна среди всех его детей. Она состояла в браке с ученым, польским эмигрантом Войничем. Этель Лилиан Войнич написала всемирно известный роман под названием "Овод". Она была также автором еще нескольких романов и музыкальных произведений, переводила стихи Тараса Шевченко.
Кончина Джорджа Буля
Ухода из жизни Джорджа Буля никто не мог ожидать. Он был энергичным и трудоспособным, строил множество грандиозных планов. Из-за переезда в город, отличавшийся повышенной влажностью, у Джорджа стали наблюдаться определенные проблемы с легкими. Суждено было случиться неожиданному событию, приведшему к трагическому результату.
По дороге на работу Джордж Буль промок под сильным ливнем. Проводя занятия в промокшей до нитки одежде, он подхватил простудное заболевание. Болезнь перетекла в пневмонию, и одержать победу над недугом не удалось.
Джордж Буль покинул этот мир на пике своего признания 8 декабря 1864 года. Ему было всего 49 лет.
Вклад в науку
Буль был гениальным ученым, наделенным дисциплинированностью и последовательностью, в то же время он глубоко раскрывал свой взгляд на мир в собственных научных гипотезах. Мощная смесь ума и интеллекта в этом человеке вылилась в созданные им математические изобретения. Мысли Джорджа Буля нашли применение во всех цифровых устройствах современности.
Отец Буля, Джордж Буль, был торговцем в Лондоне и именно он давал первые уроки математики своему сыну. Он также учил своего сына изготовлению оптических измерительных приборов. Буль был скорее математиком-самоучкой, хоть и отец, и школа дали ему определённые знания математики. Ему пришлось работать, чтобы помогать своей семье после того, как дело его отца пришло в упадок.
Карьера
Буль работал помощником учителя в Донкастере, а также недолгое время преподавал в Ливерпуле. Некоторое время он был связан с открывшимся в 1833 году институтом механики Линкольна. А в 1834 году он открыл свою школу в Линкольне.
В течение этого времени он много времени уделял социальной работе и образованию взрослых. Он основал «Приют раскаявшихся женщин», целью которого была реабилитация проституток. С целью образования неимущих, Буль также работал в институте механики. Через четыре года Буль стал владельцем «Hall’s Academy» в Уоддингтоне, под Линкольном. В 1839 году он представил несколько работ, среди которых были «Теория математических преобразований» для «Кембриджского математического журнала».
В этих работах речь шла о дифференциальных уравнениях и алгебраической проблеме линейной трансформации путём выделения идеи инвариантной линейной трансформации через выделение идеи инвариантности.
В 1840 году он вернулся в Линкольн для руководства закрытой школой.
В 1841 году он открыл теорию инвариантов – новый раздел математики. Этот раздел математики впоследствии был источником вдохновения Эйнштейна.
В 1844 году он анализировал комбинированные методы алгебры и исчислений в публикации с названием «Философские труды королевского общества».
В 1847 году, совместно с Э. Р. Ларкеном, он основал жилищно-строительное общество. В том же году в памфлете «Математический анализ логики» он высказал мнение, что логика должна быть связана с математикой.
Инновационный вклад Буля в математику был по-настоящему эффективен при создании цифрового компьютера и электронных схем.
В 1849 году он стал первым профессором математики в Королевском колледже в Корке, Ирландия.
В 1854 году он занимался алгеброй и логикой, и его труды в этой области более известны как булева алгебра (алгебра логики). В том же году он ввёл понятие символический метод логического вывода в публикации «Законы мысли».
Булева алгебра служит в качестве основ анализа обоснованности логических суждений, так как она носит бинарный характер утверждений, которые могут оказаться либо положительными, либо ложными.
Метод бинарности и логические элементы булевой логики используются в телефонной коммутации и в электронных компьютерах во время их создания и работы.
Во второй части «Закона мысли» Буль пытался открыть общий метод в вычислении вероятностей.
В 1857 году Буль представил публикацию «О сравнении трансцендентных функций» с определёнными наложениями на теорию определённых интегралов. В публикации он изучает сумму остатков рациональной функции. А частью изучения стало доказательство булева тождества.
В 1859 году Буль публикует «Трактат по дифференциальным уравнениям», в котором он сообщает об общем символическом методе; в 1860 году он публикует продолжение с названием «Трактат об исчислении конечных разностей».
Буль внёс вклад в такие науки как: электроника, математика, теория информации, логика, кибернетика и информатика.
Награды и достижения
Первая золотая медаль Королевского сообщества, 1844 год.
Член Королевского сообщества в Лондоне, 1857 год.
Почётная должность доктора права в Дублинском и Оксфордском университетах, 1857 год.
Личная жизнь и наследие
Джордж Буль женился на Мэри Эверест в 1854 году. У пары родилось пять дочерей. Буль умер в 1864 году из-за воспаления лёгких.
Булева алгебра и кратер Буль на Луне названы в честь Джорджа Буля.
Во многих языках программирования «boolean type» – логический тип данных (где значение может быть либо верным, либо не верным).
Библиотека, комплекс подземных лекционных залов и центр исследований «Boole Centre for Research in Informatics» в ирландском национальном университете в Корке названы в честь Джорджа Буля.
Оценка по биографии
Новая функция! Средняя оценка, которую получила эта биография. Показать оценку