Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
«Уральский государственный университет физической культуры»
Кафедра Математики, физики и информационных технологий
по дисциплине «Информатика»
Джордж Буль
Выполнила
студентка группы № 120а
Ахлюстина Е.В.
Проверил преподаватель
Алтухова М.А.
Челябинск 2013
Введение
1. Биография
4. Булева алгебра
Заключение
Введение
Буль (Boole) Джордж (2 ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль, Ирландия), английский математик и логик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) ("Исследование законов мышления", 1854), основу функционирования цифровых компьютеров.
1. Биография
Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн -- 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) -- английский математик и логик.
Джордж Буль родился в бедной рабочей семье. Первые уроки математики получил у отца и, хотя посещал местную школу, в общем его можно считать самоучкой. В 12 лет он уже знал латынь, затем овладел греческим, французским, немецким и итальянским языками. В 16 лет уже преподавал в деревенской школе, а в 20 открыл собственную школу в Линкольне. В редкие часы досуга зачитывался математическими журналами Механического института, интересовался работами математиков прошлого - Ньютона, Лапласа, Лагранжа, проблемами современной алгебры.
Его первоначальное преподавание было всегда на уровне, однако он не считал это профессией, хотя она и была почетна. Буль стал священнослужителем. Когда он не преподавал, то проводил время в серьезном изучении французского, немецкого и итальянского языков, в подготовке к церковной жизни. Неудачи, бедность его семейства еще раз разрушили планы Буля; родители убеждали его отказаться от религиозной жизни ввиду их ухудшающегося финансового положения. Он был женат (с 1855 г.) на Мэри Эверест (з. Эверест-Буль).
2. Вклад в информатику. Методологические идеи Джорджа Буля
Начиная с 1839 года, Буль стал посылать свои работы в новый Кембриджский математический журнал. Его первая работа "Исследования по теории аналитических преобразований" касалась дифференциальных уравнений, алгебраических проблем линейной трансформации и концепции инвариантности. В своем исследовании 1844 года, опубликованном в "Философских трудах Королевского общества", он коснулся проблемы взаимодействия алгебры и исчисления.
В том же году молодой ученый был награжден медалью Королевского общества за вклад в математический анализ. Вскоре после того, как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет "Математический анализ логики", в котором высказал идею, что логика более близка к математике, чем к философии.
В 1854 году он опубликовал работу "Исследование законов мышления, базирующихся на математической логике и теории вероятностей". Работы 1847 и 1854 годов дали рождение алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов - истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями - И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления. В своей работе "Законы мышления" (1854) Буль окончательно сформулировал основы математической логики.
Методологические идеи Джорджа Буля
Вопрос о методологических воззрениях Дж. Буля достаточно сложен. В большинстве случаев о них судят, основываясь лишь на его ранних высказываниях. Анализируя их, обычно приходят к выводу о том, что Буля можно рассматривать как предшественника формализма гильбертовского типа.
Полезно также обратить внимание на то, как Буль определяет замысел своих “Законов мысли”: “Цель настоящего исследования состоит в том, чтобы изучить основные законы тех операций ума, посредством которых осуществляются рассуждения; -- в том, чтобы дать выражение этих законов в символическом языке логического исчисления, и на этом основании утвердить логику как науку и ее методы, -- в том, чтобы сделать эти методы базисом еще более общего метода в целях приложения его к математической теории вероятностей; и, наконец, в том, чтобы, объединив различные элементы истины, проложить путь к выдвижению некоторых вероятностных указаний, касающихся природы и структуры человеческого мышления”.
Итак, превращение логики в точную науку мыслится Булем с помощью трактовки ее предмета средствами математического аппарата. Уже в своей работе “Математический анализ логики” (1847) Буль писал: “Руководствуясь принципом правильной классификации, необходимо теперь связать логику не с философией, а с математикой”.
По Булю, общие взгляды на логику должны проливать свет и на выяснение природы интеллектуальных способностей. Отсюда можно лишь заключить, что Буль не игнорировал практический аспект логических исследований. Особое значение в этом отношении приобретает, с его точки зрения, раскрытие природы умозаключения. Изложение логики в форме исчисления отнюдь не является, по Булю, произвольным актом, а продиктовано тождеством формальных особенностей логических преобразований.
3. Вклад Джорджа Буля в развитие математической логики
Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. Недаром начальный раздел математической логики называют алгеброй логики, или булевой алгеброй.
Вскоре после того как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет «Математический анализ логики», в котором высказал идею, что логика более близка к математике, чем к философии. Эта работа была чрезвычайно высоко оценена английским математиком Огастесом (Августустом) Де Морганом. Благодаря этой работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в графстве Корк.
В 1854 году опубликовал работу «Исследование законов мышления, базирующихся на математической логике и теории вероятностей». Работы 1847-1854 годов положили начало алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов -- истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями -- И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления. В своей работе «Законы мышления» (1854 г.) Буль окончательно сформулировал основы математической логики. Он также попытался сформулировать общий метод вероятностей, с помощью которого из заданной системы вероятных событий можно было бы определить вероятность последующего события, логически связанного с ними.
Буль не считал логику разделом математики, но находил глубоко аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Буль показал, что символики такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма -- получено путем исключения среднего термина по обычным алгебраическим правилам. Еще более оригинальной и примечательной была часть его системы, представленной в «Законах мышления...», образующая общий символический метод логического вывода. Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций. Вторая часть «Законов мышления...» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.
Буль обозначал универсум мыслимых объектов, буквенными символами -- выборки из него, связанные с обычными прилагательными и существительными. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В «Законах мышления» (An investigation of the Laws of Thought), Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций. Вторая часть «Законов мышления» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.
Буль изобрел своеобразную алгебру -- систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв, до предложений. Пользуясь этой системой, Буль мог закодировать высказывания -- утверждения, истинность или ложность которых требовалось доказать, - с помощью символов своего языка, а затем манипулировать ими подобно тому, как в математике манипулируют обычными числами.
Три основные операции булевой алгебры -- это И, ИЛИ, и НЕ. Хотя система Буля допускает множество других операций -- часто называемых логическими действиями, - указанных трех уже достаточно для того, чтобы производить сложение, вычитание, умножение и деление или выполнять такие операции, как сравнение символов и чисел. Логические действия двоичны по своей сути, они оперируют лишь с двумя сущностями - «истина» или «ложь», «да» или «нет», «открыт» или «закрыт», нуль или единица. Буль надеялся, что его система, очистив логические аргументы от словесной шелухи, облегчит поиск правильного заключения и сделает его всегда достижимым.
В 1857году Буль был избран членом Лондонского Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859г.) и «Трактат о вычислении предельных разностей» (1860 г.) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля.
Большинство логиков того времени либо игнорировали, либо резко критиковали систему Буля, но ее возможности оказались настолько велики, что она не могла долго оставаться без внимания.
4. Булева алгебра
Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюкции), (аналог дизъюкцию), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны аксиом.
Булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение ¬ a любого элемента a однозначно определено.
Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются в Таблице 1, Таблице 2 и Таблице 3:
Таблица 1. Конъюнкция
Таблица 3. Инверсия
5. Булевы функции. Графический способ решения задания
Определение. Переменная x называется булевой, если она способна принимать только два значения 0 и 1. В качестве примера интерпретации такого рода переменных может выступать обычный настенный выключатель света на два положения. Здесь 1 соответствует положению переключателя вверх и 0 -- положению вниз.
Определение. Функция f(x1,x2,…,xn) называется булевой (или логической, или функцией алгебры логики, или переключательной), если все ее аргументы x[i] являются булевыми, а сама функция также может принимать только два значения 0 и 1. Множество всех булевых функций от переменных x1,x2,…,xn обозначают через P2.
Способы задания булевых функций не отличаются от способов задания обычных функций анализа. К таковым способам задания стандартно относятся:
1) табличный;
2) графический;
3) аналитический.
Графический способ решения задания
Рассмотрим графическое представление булевой функции трех аргументов w=f(x,y,z), заданной таблично. Заметим, что множество наборов области определения функции D={(x,y,z), | x,y,z ? {0,1}} является множеством координат точек вершин единичного трехмерного куба. Очевидный способ графического представления булевой функции -- это отметить каким-то образом вершины куба, в которых функция принимает значение 1.
Замечание. Очевидно, что область определения булевой функции n аргументов w=f(x1,x2,…,xn) составляется из наборов координат точек вершин единичного n-мерного куба.
Символы ¬, |, v, ?, ?, >, ?, ~, участвующие в обозначениях элементарных функций, называются логическими связками (операциями) или функциональными символами.
Заключение
Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней.
Основоположником математической логики является Джордж Буль. Положив в основу своих исследований аналогию между алгебры и логики, он разработал соответствующее логическое исчисление, в котором применил законы и операции математики (добавление классов, умножение и т.п.). В своих работах Буль преследует, как правило, одну цель: найти элементарные операции человеческого мышления и исследовать его законы, выйдя за рамки дедуктивной и индуктивной логики. Выражаясь современным языком, его исследования принадлежат к области кибернетики. Буль затронул и другую проблему: найти ту внутреннюю связь между логикой и математикой, которая впоследствии явилась предметов исследования Пеано, Кутюра, Гильберта, Рассела и др.
Если еще точнее, Буль не считал, вообще говоря, логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления мыслительной способности человека в виде логических форм и силлогизмов.
Сегодня математическая логика нашла применение во многих областях человеческой деятельности, перечислим основные:
Логика оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций.
Идеи и аппарат логики используется в кибернетике, вычислительной технике и электротехнике (построение компьютеров основано на законах математикой логики).
Математическая логика является средством для изучения деятельности мозга -- для решения этой самой важной проблемы биологии и науки вообще.
Список использованных источников
буль логика математический алгебра
1. Игошин В.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. учеб. Заведений / В.И. Игошин. - 2-е изд., стер. - М.: Издательский центр "Академия", 2008. - 448 с.
2. Колмогоров А.Н., Юшкевич А.П. (ред.) Математика XIX века. Том 1 Математическая логика. Алгебра. Теория чисел. Теория вероятностей. М.: Наука. 1978.
3. Википедия: свободная электронная энциклопедия: на русском языке [Электронный ресурс]. - URL: http://ru.wikipedia.org (дата обращения: 18.12.2013).
Размещено на Allbest.ru
...Подобные документы
Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
контрольная работа , добавлен 26.04.2011
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.
контрольная работа , добавлен 20.01.2011
Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.
курсовая работа , добавлен 12.05.2009
Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.
презентация , добавлен 11.10.2014
Логический синтез устройства с использованием соотношений булевой алгебры. Составление таблицы истинности. Основные соотношения булевой алгебры. Логическая функция в смысловой, словесной, вербальной, табличной и аналитической математической формах.
лабораторная работа , добавлен 26.11.2011
Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций , добавлен 08.08.2011
Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа , добавлен 29.11.2010
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат , добавлен 06.12.2010
Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).
курсовая работа , добавлен 16.01.2012
Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.
Джордж Буль
Отец булевой алгебры
Чистая математика была открыта Булем в работе, которую он назвал «Законы мышления».
Бертран Рассел
Джордж Буль
Все механизмы, шестеренки, вакуумные лампы и печатные платы - все это еще не компьютер.
Важны также разработки Паскаля и Лейбница, о которых мы вам уже рассказали, и Бэббиджа, о достижениях которого мы расскажем в следующей главе. Эти разработки требовали первоначальной теории логики для того, чтобы, в конечном счете, вдохнуть жизнь в машины, которые «думают».
Расширив общий метод Лейбница, сформулированный на 188 лет раньше, в котором все истинные причины были сведены к виду вычислений, английский математик Д. Буль в 1854 году заложил основу того, что мы сегодня знаем как математическую логику, опубликовав работу «Исследование законов мышления».
В этой работе, изданной, когда ему было 39 лет, Буль свел логику к чрезвычайно простому типу алгебры, алгебры логики высказываний, которая представляла собой систему символов и правил, применяемую к различным объектам (числам, буквам, предложениям).
Его теория логики, основанная на трех основных действиях - AND (и), OR (или), NOT (не), - должна была стать в XX веке основой для разработки переключающих телефонных линий и проекта ЭВМ. Так же, как и идеями Лейбница, булевой алгеброй пренебрегали в течение многих лет после того, как она была создана.
Важность работы, признанной логиком де Морганом, современником Буля, заключалась в следующем: «Символические процессы алгебры, созданные как инструменты числового вычисления, компетентно выражают каждый закон мысли и обладают грамматикой и словарем всего того, что содержит систему логики. Мы это и не предполагали, пока это не было доказано в „Законах мышления“».
Джордж Буль родился 2 ноября 1815 года в Линкольне (Англия), в семье бедного башмачника. Хотя он был современником Ч. Бэббиджа, но происходил не из привилегированного класса, как Бэббидж.
Выходец из слоя общества, дети которого фактически были лишены посещения университета, Джордж должен был заниматься самостоятельно.
Хотя промышленная революция уже произошла в Англии, знание древних языков было показателем уровня образования джентльмена. Конечно, никакой латинский или греческий не преподавали в школе, которую посещал Буль. Буль сам изучил греческий и латинский, пользуясь поддержкой малообразованного отца, и в возрасте 12 лет сумел перевести оду Хорейса на английский язык. Ничего не понимая в качестве техники перевода, гордый отец Буля все-таки напечатал его в местной газете. Некоторые специалисты заявляли, что 12-летний мальчик не мог сделать такой перевод, другие отмечали серьезные технические дефекты перевода. Решив совершенствовать свои знания латинского и греческого, Буль провел следующие два года в серьезном изучении этих языков, и снова без чьей-либо помощи.
Хотя этих знаний было недостаточно, чтобы превратиться в истинного джентльмена, такая тяжелая работа дисциплинировала его и способствовала классическому стилю созревавшей булевой прозы.
Известно, что его отец оставил школу после трех лет обучения, и в то же время удивительно, что Буль получил раннее математическое образование от своего отца, который был самоучкой в этой области.
В возрасте 16 лет для Буля стало необходимостью начать трудовую жизнь, чтобы помочь своим родителям. Получив работу «младшего учителя», или ассистента учителя в начальной школе, Буль должен был провести 4 года, преподавая в двух различных школах.
Всегда думая о перспективе занимаемого места в жизни, Буль начал рассматривать несколько путей, открытых для него. Его первоначальное преподавание было всегда на уровне, однако он не считал это профессией, хотя она и была почетна. Буль стал священнослужителем.
Когда он не преподавал, то проводил время в серьезном изучении французского, немецкого и итальянского языков, в подготовке к церковной жизни. Неудачи, бедность его семейства еще раз разрушили планы Буля; родители убеждали его отказаться от религиозной жизни ввиду их ухудшающегося финансового положения.
Отзывчивый, как всегда, к советам родителей, Буль решил открыть собственную школу. Ему было 20 лет. Преподавая, Буль считал себя также студентом и приступил к изучению полного курса высшей математики. Он проштудировал «Математические начала» Ньютона, «Аналитическую механику» Лагранжа, труды Лапласа и других авторов.
Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, а затем подобно де Моргану, с которым к этому времени подружился, занялся математической логикой.
В своей первой основной работе «Математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения» 1847 года Буль отчетливо показал так называемое количественное истолкование объектов логики и необходимость нового подхода к решению проблем логики.
Этот подход требовал изменения и расширения символического языка алгебры: выбора символики, операций и законов, определяющих эти операции и отражающих специфику объектов исследования, - т. е. по существу создания нового исчисления. Буль писал: «Те, кто знаком с настоящим состоянием символической алгебры, отдают себе отчет в том, что обоснованность процессов анализа зависит не от интерпретации используемых символов, а только от законов их комбинирования. Каждая интерпретация, сохраняющая предложенные отношения, равно допустима, и подобный процесс анализа может, таким образом, при одной интерпретации представлять решение вопроса, связанного со свойствами чисел, при другой - решение геометрической задачи и при третьей - решение проблемы динамики или статики. Необходимо подчеркнуть фундаментальность этого принципа».
С публикацией «Математического анализа…» взгляды и блестящая интуиция этого тихого, простого человека стали ясны его друзьям - математикам, которые советовали ему поступить в Кембридж, для получения общепринятого математического образования.
Буль неохотно отверг эти предложения, потому что его родные полностью существовали на его заработок. Не жалуясь на особенности своего обучения от случая к случаю, Буль, наконец, получил небольшой перерыв в 1849 году, когда его назначили профессором математики в недавно открытом Королевском колледже.
Это назначение позволило ему посвятить больше времени «Законам мышления…» - второй его основной работе, которую он непрерывно оттачивал и усовершенствовал в течение еще 5 лет, до публикации в 1854 году.
Как писал Буль в первом параграфе книги: «Цель данного трактата:
Исследовать фундаментальные законы тех действий разума, с помощью которых выполняются рассуждения;
Выразить их в символическом языке исчислений и на этой основе создать науку логики и построить метод;
Сделать этот метод непосредственно основой общего метода для выражения теории вероятностей;
Наконец, получить различные элементы истины;
Оценить в рамках решения этих вопросов некоторое вероятное сообщение».
И далее: «Теперь фактически исследования следующих страниц показывают логику, в практическом аспекте, как систему процессов, проведенных при помощи символов, имеющих определенную интерпретацию и подчиненных законам, основанным на этой единственной интерпретации. Но в то же самое время они показывают эти законы как идентичные по форме с законами общих символов алгебры, с одним единственным дополнением, viz».
Другими словами, в общей алгебре не выполняется, например: что каждый х тождественно равен своему квадрату - но это истина в булевой алгебре. Согласно Булю, х 2 = х для любого х в его системе. В числовой системе это уравнение имеет единственное решение «О» и «1». В этом заключается важность двоичной системы для современных компьютеров, логические части которых эффективно реализуют двоичные операции.
Кроме логики, булева алгебра имеет два других важных применения. Булева алгебра применяется в натуральной алгебре. Принимая также во внимание идею «количества элементов» в множестве, булева алгебра стала основой для теории вероятностей.
Несмотря на большое значение булевой алгебры во многих других областях математики, необычайная работа Буля в течение многих лет считалась странностью. Как и Бэббидж, Буль был человеком, опередившим свое время. Это произошло раньше, чем Альфред Уайтхед и Бертран Рассел опубликовали свой трехтомник «Принципы математики» (1910–1913), в котором рассматривались вопросы формальной логики.
Заслуживает внимания и то, что на достижения Буля частично опирались математические открытия, к тому времени появившиеся в Англии, в том числе и идеи Бэббиджа. Математики обратили внимание на идею Бэббиджа о математических операциях и величинах, использующихся в них. Идея стала возможной благодаря группе британских специалистов в области алгебры, к которым принадлежал и Буль.
Буль продемонстрировал, что логика может сводиться к очень простым алгебраическим системам, после чего для Бэббиджа и его последователей стало возможным создание механических устройств, которые могли решать необходимые логические задачи.
Через год после опубликования «Законов мышления…» Буль женился на Мэри Эверест, племяннице профессора греческого языка Королевского колледжа. Счастливый брак длился в течение девяти лет, вплоть до безвременной кончины Джорджа Буля. 8 декабря 1864 года, в возрасте 49 лет, почитаемый и известный, он умер от воспаления легких.
Буль был человеком последовательным и дисциплинированным, тем не менее, он широко демонстрировал собственное видение мира в своих утверждениях. Это мощное сочетание интеллекта и интуиции в Джордже Буле воплотилось в различных математических идеях. В заключение очерка об отце булевой алгебры хотелось бы коротко рассказать о семье Буля.
Как уже упоминалось, жена Буля была племянницей Джорджа Эвереста, в 1841 году завершившего в Индии грандиозные по масштабам работы.
В честь его заслуг высочайшая вершина мира Джомолунгма в Гималаях одно время даже именовалась Эверестом. Сама Мэри, в отличие от жен многих других математиков, понимала научные идеи своего мужа и своим вниманием и участием подвигала его на продолжение исследований. После его смерти она написала несколько сочинений и в последнем из них - «Философия и развлечения алгебры», - опубликованном в 1909 году, пропагандировала математические идеи Джорджа.
У четы Булей было пять дочерей. Старшая, Мэри, вышла замуж за Ч. Хинтона - математика, изобретателя и писателя-фантаста - автора широко известной повести «Случай в Флатландии», где описаны некие существа, живущие в плоском двухмерном мире. Из многочисленного потомства Хинтонов трое внуков стали учеными: Говард - энтомологом, а Вильям и Джоан - физиками. Последняя была одной из немногих женщин-физиков, принимавших участие в работе над атомным проектом в США.
Вторая дочь Булей, Маргарет, вошла в историю как мать крупнейшего английского механика и математика, иностранного члена Академии наук СССР Джеффри Тэйлора. Третья, Алисия, специализировалась в исследовании многомерных пространств и получила почетную ученую степень в Гронингенском университете. Четвертая, Люси, стала первой в Англии женщиной-профессором, возглавившей кафедру химии.
Но наиболее известной из всех дочерей Булей стала младшая, Этель Лилиан, вышедшая замуж за ученого - эмигранта из Польши Войнича. Войдя в революционную эмигрантскую среду, она написала прославивший ее на весь мир роман «Овод». За ним последовало еще несколько романов и музыкальных произведений, а также перевод на английский язык стихотворений Тараса Шевченко. Войнич скончалась в Нью-Йорке в возрасте 95 лет, немного не дожив до столетия со дня смерти своего знаменитого отца математика Джорджа Буля.
Из книги Прощай, Африка! [Из Африки] автора Бликсен КаренДжордж На грузовом судне, идущем в Африку, я познакомилась и подружилась с мальчуганом - звали его Джордж, он путешествовал с матерью и юной тетушкой. Однажды днем, на палубе, мальчик отошел от мамы и подошел ко мне; они провожали его глазами. Он объявил, что завтра день его
Из книги Повседневная жизнь русской усадьбы XIX века автора Охлябинин Сергей Дмитриевич«Буль» французский - «буль» российский! В середине XIX века в дворянских особняках начинает появляться мебель, выполненная в технике «буль». Такая мебель изготавливается с применением черного дерева или же его имитации. А украшается она замысловатым орнаментальным
автораДЖОРДЖ РУК Три столетия опорой британского могущества являлся Гибралтар - порт и крепость на пути из Атлантического океана в Средиземное море. Овладел этой важнейшей базой Д. Рук.Английский военно?морской деятель, Д. Рук (1650–1709) отличился в ходе двух англо?голландских
Из книги 100 великих адмиралов автора Скрицкий Николай ВладимировичДЖОРДЖ ДЬЮИ Победа над испанской эскадрой, подчинившая Соединенным Штатам Филиппины, сделала Дьюи знаменитым. Собственно, со сражения в Манильском заливе началось создание великой морской державы Соединенных Штатов Америки.Джордж Дьюи родился 26 декабря 1837 года в
Из книги Свобода и евреи. Часть 1. автора Шмаков Алексей Семенович Из книги 100 знаменитых ученых автора Скляренко Валентина МарковнаБУЛЬ ДЖОРДЖ (1815 г. – 1864 г.) В процессе становления науки все большую роль для карьеры будущих ученых приобретало качество образования, получаемого в детстве. Самоучек, добившихся научного признания, становилось все меньше и меньше. Но в первой половине XIX в. такие случаи
Из книги Бабур-Тигр. Великий завоеватель Востока автора Лэмб ГарольдПроисшествие с нетрезвой Буль-Буль Все новое по-прежнему вызывало у Бабура неослабевающий интерес. В Баджауре он потешался над ужимками обезьянок с желтоватым мехом и белыми мордочками, которых местные жители называли бандарами. Он обнаружил, что они умеют жонглировать
Из книги Основатели США: исторические портреты автора Соргин Владимир ВикторовичГлава I. Джордж Вашингтон: «отец-основатель» N 1 22 февраля 1982 г. США отметили 250 лет со дня рождения Джорджа Вашингтона.У Джорджа Вашингтона есть основания считаться не просто одним из «отцов-основателей» США, но «отцом-основателем» N 1. Он был главнокомандующим
Из книги Стратегии гениальных мужчин автора Бадрак Валентин Владимирович Из книги Знаменитые писатели автора Пернатьев Юрий СергеевичДжордж Гордон Байрон. Полное имя Байрон Джордж Ноэл Гордон (22.01.1788 – 19.04.1824) Английский поэт.Поэмы «Паломничество Чайльд-Гарольда», «Шильонский узник», «Гяур», «Корсар», «Лара» и др.; сатирико-нравоописательная эпопея «Дон Жуан»; философская, любовная и политическая
Из книги Архитекторы компьютерного мира автора Частиков АркадийКлод Шеннон Автор теории информации и практического воплощения булевой алгебры В наше время идеи Шеннона играют важную роль почти во всех системах, хранящих, обрабатывающих или передающих информацию в цифровой форме, от лазерных дисков до компьютеров, от машин до
автора Из книги Всемирная история в изречениях и цитатах автора Душенко Константин Васильевич Из книги Всемирная история в изречениях и цитатах автора Душенко Константин Васильевич Из книги Всемирная история в изречениях и цитатах автора Душенко Константин Васильевич Из книги Царский Рим в междуречье Оки и Волги. автора Носовский Глеб Владимирович13. Юного Тита Манлия отец отправил в деревню Юного Давида отец отправил на отдаленное пастбище Секст Аврелий Виктор говорит, что отец отправил Тита Манлия В ДЕРЕВНЮ , с. 194. По-видимому, это произошло в то время, когда Тит Манлий был ещё мальчиком или юношей, поскольку
Выходец из бедной рабочей семьи Джордж Буль родился не в то время, не в том месте, и, безусловно, не в том социальном классе. У него не было шансов вырасти математическим гением, но он стал им, вопреки всему.
Джордж Буль: биография
1815 года в английском промышленном городе Линкольне Булю посчастливилось иметь отца, который сам увлекался математикой и давал уроки своему сыну. Кроме того, он учил его делать оптические инструменты. Молодой Джордж рьяно принялся за учебу, и в возрасте восьми лет превзошел своего отца-самоучку.
Друг семьи помогал учить мальчика базовой латыни и за несколько лет исчерпался. К 12 годам Буль уже переводил древнеримскую поэзию. К 14 годам Джордж свободно говорил на немецком, итальянском и французском языках. В 16 лет он стал помощником учителя и преподавал в деревенских школах Уэст-Райдинга в графстве Йоркшир. В двадцать он открыл собственное учебное заведение в своем родном городе.
В течение следующих нескольких лет короткие периоды свободного времени Джордж Буль проводил за чтением математических журналов, заимствованных в местном Институте механики. Там же он прочел труд Исаака Ньютона «Principia» и работы французских ученых Лапласа и Лагранжа XVIII и XIX веков «Трактат о небесной механике» и «Аналитическая механика». Вскоре он освоил самые сложные на то время математические принципы и начал решать трудные алгебраические задачи.
Восход звезды
В возрасте 24 лет Джордж Буль опубликовал в математическом журнале Кембриджского университета свою первую статью «Исследования теории аналитических преобразований» на тему алгебраических задач линейных преобразований и дифференциальных уравнений с упором на концепцию инвариантности. В течение следующих десяти лет его звезда восходила с постоянным потоком оригинальных статей, расширявших пределы математики.
К 1844 году он сконцентрировался на использовании комбинаторики и математического анализа для операций с бесконечно малыми и бесконечно большими числами. В том же году за работы, опубликованные в журнале Королевского общества «Философские труды», за вклад в математический анализ и обсуждение методов объединения алгебры с дифференциальным и интегральным исчислением он был награжден золотой медалью.
Вскоре Джордж Буль начал исследовать возможности применения алгебры для решения логических задач. В работе 1847 года «Математический анализ логики» он не только расширил более ранние предположения Готфрида Лейбница о корреляции между логикой и математикой, но и доказал, что первая являлась, главным образом, математической дисциплиной, а не философской.
Этот труд вызвал не только восхищение выдающегося логика Огастеса де Моргана (наставника Ады Байрон), но и обеспечил его местом профессора математики в Куинс-колледже в Ирландии даже без университетского образования.
Джордж Буль: булева алгебра
Освободившись от обязанностей по школе, гений математики начал глубже вникать в свою собственную работу, сосредоточившись на совершенствовании «Математического анализа», и решил найти способ записи логических аргументов особым языком, с помощью которого ими бы можно было манипулировать и решать математически.
Он пришел к лингвистическое алгебре, тремя основными операциями которой были (и до сих пор остаются) "И", "ИЛИ" и "НЕ". Именно эти три функции легли в основу его посылки и были единственными операторами, необходимыми для выполнения операций сравнения и основных математических функций.
Система Буля, подробно описанная в его труде «Исследование законов мышления, являющихся основой всех математических теорий логики и вероятностей» 1854 г., базировалась на бинарном подходе и оперировала только с двумя объектами - «да» и «нет», «истина» и «ложь», «включено» и «выключено», "0" и "1".
Личная жизнь
В следующем году он женился на Мэри Эверест, племяннице сэра Джорджа Эвереста, именем которого названа самая высокая гора в мире. У супругов родилось 5 дочерей. Одна из них, самая старшая, стала преподавателем химии. Другая занималась геометрией. Младшая дочь Джорджа Буля, Этель Лилиан Войнич, стала известной писательницей, написавшей несколько произведений, самым популярным из которых является роман «Овод».
Последователи
Через двенадцать лет после публикации «Исследования» Пирс произнес краткую речь, описывавшую идею академии искусств и наук, а затем провел более 20 лет, изменяя и расширяя ее, чтобы реализовать потенциал теории на практике. Это, в конечном итоге, привело к проектированию базовой электрической логической схемы.
Пирс свою теоретическую логическую схему в действительности так никогда и не строил, так как был больше ученым, чем электриком, но ввел Булеву алгебру в университетские курсы логической философии.
В конце концов, один одаренный студент, Клод Шеннон, взял эту идею и развил ее.
Последние работы
В 1957 году Джорджа Буля избрали членом Королевского общества.
После «Исследования» он опубликовал ряд работ, из которых двумя наиболее влиятельными являются «Трактат о дифференциальных уравнениях» (1859) и «Трактат об исчислении конечных разностей» (1860 г.). Книги использовались в качестве учебников в течение многих лет. Также он пытался создать общий метод теории вероятностей, который бы позволил из данных вероятностей любой системы событий определить последующую вероятность любого события, связанного с заданными логически.
Последнее доказательство
К сожалению, работа Буля прервалась, когда он умер от «лихорадочной простуды» в возрасте 49 лет после того, как пройдя 3 км под дождем, читал лекции в мокрой одежде. Этим он еще раз доказал, что гении и здравый смысл иногда имеют мало общего.
Наследие
«Математический анализ» и «Исследования» Джорджа Буля положили начало булевой алгебре, которую иногда называют булевой логикой.
Его система из двух значений, разделение аргументов на различные классы, с которыми затем можно проводить операции в соответствии с наличием или отсутствием у них определенных свойств, позволила делать логические выводы независимо от числа отдельных элементов.
Труды Буля привели к созданию приложений, которых он никогда бы не смог себе даже представить. Например, в компьютерах используются и логические элементы, устройство и работа которых основана на булевой логике. Наука, основателем которой считается Джордж Буль, информатика, исследует теоретические основы информации и вычислений, а также практические методы их реализации.
Джордж Буль по праву занимает свое место среди великих математиков и логиков. Благодаря его таланту появилась на свет алгебра логики, являющаяся фундаментом работы всех цифровых компьютеров.
Джордж Буль: биография (кратко)
Этот ученый появился на свет 2 ноября 1815 года в небогатой рабочей семье. Местом его рождения был город Линкольн, располагающийся на востоке Англии. Его отец Джон изготавливал обувь, а мать Мэри до той поры, пока не вышла замуж, была камеристкой. Отец Джорджа серьезно увлекался наукой и уделял недостаточно времени своему основному делу. В семье долго не было детей, но когда супруги уже утратили всякую надежду, у них появился долгожданный сын.
Джордж Буль появился на свет очень слабым, но ему суждено было выжить, окрепнуть и стать настоящим гением.
В неполные два года он стал ходить в школу, предназначенную для детей торговцев. После до семи лет мальчик посещал занятия в коммерческой школе, руководил данным учебным заведением друг его отца.
Развитие способностей будущего гения
Даже в те годы будущий ученый выказывал гениальные способности, правда, делал он это в необыкновенной манере. Однажды мальчик не явился на занятия. Его разыскали в городе, где он зарабатывал свои первые деньги. Джордж безошибочно говорил по буквам труднопроизносимые слова, а люди в восторге бросали ему деньги.
Первым азам математических наук юного гения обучал отец, под его присмотром мальчик также стал конструировать оптические приборы.
Джорджа можно отнести к самоучкам, хоть он и учился в местной школе. Он не сразу продемонстрировал свои гениальные способности в изучении точных наук и начал увлекаться классической литературой. В двенадцать лет Буль уже говорил на латыни, а затем ему покорились языки Греции, Франции, Германии и Италии.
Родители мальчика были небогатыми людьми, поэтому Джордж Буль (биография об этом свидетельствует) закончил только начальную школу для бедных детей. Не придерживающийся традиционных методов, он в будущем последовал в науке своим индивидуальным путем.
В шестнадцать лет Джордж Буль уже работал в деревенской школе, а в двадцать имел собственную школу в городе Линкольне. Свободное от работы время Джордж проводил за чтением журналов по математике, изучением научных трудов великих математиков. Будущего ученого интересовали также проблемы алгебры того времени.
Удивительный факт, но в начале своего пути Буль задумывался о карьере священника. Но затем увлечение математическими науками вытеснило эти мысли из головы Джорджа Буля.
Первые работы
С 1839 года Джордж Буль стал слать написанные им труды в математический журнал Кембриджа. Первая его работа касалась уравнений с неизвестной функцией под знаком производной или дифференциала и проблем линейных преобразований в алгебре.
В 1844 году Буль стал обладателем медали Королевского общества.
Когда математик удостоверился, что его алгебру можно применять к логике, он издал работу, где поделился мыслью, что логика является наукой, более близкой к математике, а не к философии. Этот памфлет поспособствовал тому, что в 1849 году Джордж Буль стал профессором математических наук. Буль - яркий пример самоучки, гениальный талант которого был признан обществом.
Булева алгебра
Труды Буля, созданные в 1847 и 1854 годах, служили фундаментом алгебры логики. Математик доказал в них существование сходства между действиями логики и алгебры. Благодаря созданной Булем системе стала возможна кодировка высказываний.
Алгебра логики основывалась на трех главных операциях, позволяющих совершать действия с символами и числами. Джордж питал надежды, что его система поспособствует очищению аргументов логики от словесного мусора, сделает легким и достижимым поиск верного решения.
В 1857 году Джордж Буль - математик, внесший свою лепту в развитие науки, - стал членом Королевского общества. Некоторые его труды, написанные в 1859-1860 годах и отражающие важнейшие открытия в области математики, глобально повлияли на развитие данной науки.
Несмотря на значимость в других разделах математики, алгебра логики на протяжении долгого времени расценивалась как странная. К гениям, обогнавшим свое время, относился Джордж Буль, фото изобретений ученого служат тому наглядным примером.
И в наши дни в алгебре современности существуют и используются термины Джорджа Буля.
Личная жизнь
Буль был женат на племяннице профессора Королевского колледжа Мэри Эверест. Брак, наполненный счастьем, несмотря на то что Мэри была моложе своего мужа на семнадцать лет, длился девять лет, и только безвременный уход Джорджа из жизни способен был разлучить эту пару.
В семье появилось на свет пять девочек. Мэри Эверест и Джордж Буль (фото ученого приведены в статье) были прекрасной парой.
Работая над исследованиями в области математики, Буль уделял внимание и гуманитарным наукам. Жена в один удобный момент решительно положила конец его поэтическим занятиям, так как не приветствовала разброс интересов ученого. Мэри однажды взяла у мужа листы с написанными стихами и предала их огню.
Супруга имела представление о научных гипотезах Джорджа, внимательно и участливо вдохновляла его на продолжение исследований в области математики. После ухода из жизни супруга она уделяла много внимания разъяснению его важнейшего вклада в развитие логики.
Дочери Джорджа Буля
Муж первой дочери Булей - Мэри - был математиком, изобретателем и писателем. Трое из их детей впоследствии стали учеными в области физики и энтомологии.
Еще одна дочь - Маргарет - оставила свой след в истории как мать известного английского ученого, занимавшегося механикой и математикой - Джеффри Тэйлора.
Третья дочь - Алисия - занималась исследованиями в области математики и имела заслуженную ученую степень.
Четвертая дочь четы Булей - Люси - являлась первой представительницей женского пола, ставшей профессором в Англии. Она руководила кафедрой химии.
Этель Лилиан - пятая дочь Джорджа Буля - наиболее известна среди всех его детей. Она состояла в браке с ученым, польским эмигрантом Войничем. Этель Лилиан Войнич написала всемирно известный роман под названием "Овод". Она была также автором еще нескольких романов и музыкальных произведений, переводила стихи Тараса Шевченко.
Кончина Джорджа Буля
Ухода из жизни Джорджа Буля никто не мог ожидать. Он был энергичным и трудоспособным, строил множество грандиозных планов. Из-за переезда в город, отличавшийся повышенной влажностью, у Джорджа стали наблюдаться определенные проблемы с легкими. Суждено было случиться неожиданному событию, приведшему к трагическому результату.
По дороге на работу Джордж Буль промок под сильным ливнем. Проводя занятия в промокшей до нитки одежде, он подхватил простудное заболевание. Болезнь перетекла в пневмонию, и одержать победу над недугом не удалось.
Джордж Буль покинул этот мир на пике своего признания 8 декабря 1864 года. Ему было всего 49 лет.
Вклад в науку
Буль был гениальным ученым, наделенным дисциплинированностью и последовательностью, в то же время он глубоко раскрывал свой взгляд на мир в собственных научных гипотезах. Мощная смесь ума и интеллекта в этом человеке вылилась в созданные им математические изобретения. Мысли Джорджа Буля нашли применение во всех цифровых устройствах современности.
