Джордж Буль - George Boole

"Boole" перенаправляется сюда. Для использования в других целях см. Boole (значения).
Не путать с Джордж Булос.

Джордж Буль
Джордж Буль color.jpg
Бул, c. 1860
Родившийся(1815-11-02)2 ноября 1815 г.
Линкольн, Линкольншир, Англия
Умер8 декабря 1864 г.(1864-12-08) (49 лет)
Ballintemple, Пробка, Ирландия
НациональностьБританский
ОбразованиеКоммерческая академия Бейнбриджа[1]
Супруг (а)Мэри Эверест Буль
ЭраФилософия 19 века
Область, крайЗападная философия
ШколаБританский алгебраическая логика[2]
УчрежденияЛинкольн Институт механики[3]
Free School Lane, Линкольн
Королевский колледж, Корк
Основные интересы
Математика, логика, философия математики
Известные идеи
Смотри ниже

Джордж Буль (/бuл/; 2 ноября 1815 - 8 декабря 1864) был английским математиком, философом и логиком-самоучкой, большую часть своей короткой карьеры он провел в качестве первого профессора математики в Королевский колледж, Корк в Ирландии. Он работал в области дифференциальные уравнения и алгебраическая логика, и наиболее известен как автор Законы мысли (1854 г.), который содержит Булева алгебра. Булевой логике приписывают создание основ информационный век.[4] Буль утверждал, что:

Невозможно установить общий метод решения вопросов теории вероятностей, который не признает явно не только специальные числовые основы науки, но также те универсальные законы мышления, которые являются основой всех рассуждений и которые: какими бы они ни были по своей сути, по крайней мере, математические по своей форме.[5]

Ранние годы

Дом и школа Буля по адресу Поттергейт, 3 в Линкольн

Буль родился в Линкольн, Линкольншир, Англия, сын Джона Буля-старшего (1779–1848), сапожника[6] и Мэри Энн Джойс.[7] У него было начальное образование, и он получал уроки от своего отца, но из-за серьезного упадка в бизнесе у него было мало формального и академического образования.[8] Уильям Брук, книготорговец из Линкольна, возможно, помог ему с латынью, которую он, возможно, также выучил в школе Томаса Бейнбриджа. Он сам учился современным языкам.[3] Фактически, когда местная газета напечатала его перевод латинского стихотворения, ученый обвинил его в плагиате под предлогом, что он не способен на такие достижения.[9] В 16 лет Буль стал кормильцем для своих родителей и трех младших братьев и сестер, заняв младшую преподавательскую должность в Донкастер в школе Хейгэма.[10] Он кратко преподавал в Ливерпуль.[1]

Greyfriars, Lincoln, где размещался Институт механиков

Буль участвовал в Институт Механики, в Грейфрайарс, Линкольн, который был основан в 1833 году.[3][11] Эдвард Бромхед, который знал Джона Буля через институт, помогал Джорджу Буля с книгами по математике.[12] и ему дали исчисление текст Сильвестр Франсуа Лакруа преподобным Джорджем Стивенсом Диксоном из Сент-Суизинс, Линкольн.[13] Без учителя ему потребовалось много лет, чтобы овладеть математикой.[1]

В 19 лет Буль успешно основал свою школу в Линкольне: Free School Lane.[14] Он продолжал зарабатывать на жизнь, руководя школами, пока ему не исполнилось тридцать.[15] Четыре года спустя он принял Академию Холла в Waddington, недалеко от Линкольна, после смерти Роберта Холла. В 1840 году он вернулся в Линкольн, где руководил школой-интернатом.[1] Буль сразу же стал членом Топографического общества Линкольна, выступая в качестве члена комитета и представив доклад под названием «О происхождении, развитии и тенденциях политеизма», особенно среди древних египтян и персов, а также в современной Индии.[16] 30 ноября 1841 г.

Буль стал известным местным деятелем, поклонником Джон Кэй, епископ.[17] Принимал участие в местных кампания по досрочному закрытию.[3] С Эдмунд Ларкен и другие он создал установление общества в 1847 г.[18] Он также связан с Чартист Томас Купер, чья жена была родственницей.[19]

Мемориальная доска из дома в Линкольне

С 1838 года Буль завязал контакты с симпатизирующими британскими академическими математиками и стал читать шире. Он учился алгебра в форме символических методов, насколько они понимались в то время, и начал публиковать исследовательские работы.[1] Получив положительные отзывы о своих публикациях, он решил посетить Кембриджский университет, но решил не посещать, когда ему сказали, что ему придется начать со стандартных курсов бакалавриата и прекратить собственные исследования.[20]

Профессор в Корке

Дом по адресу 5 Grenville Place в Пробка, в котором Буль жил между 1849 и 1855 годами, и где он писал Законы мысли (Фотография сделана во время ремонта.)

Статус Буля как математика был признан его назначением в 1849 году первым профессором математики в Королевский колледж, Корк (сейчас же Университетский колледж Корка (UCC)) в Ирландии. Он встретил свою будущую жену, Мэри Эверест в 1850 году, когда она навещала своего дядю Джона Райалла, профессора греческого языка. Они поженились несколько лет спустя, в 1855 году.[21] Он поддерживал связи с Линкольном, работая там с Э. Р. Ларкеном в кампании по сокращению проституции.[22]

Почести и награды

В 1844 г. статья Буля «Об общем методе анализа» получила первую золотую премию по математике, присужденную им. Королевское общество.[23] Он был награжден Кейт Медаль посредством Королевское общество Эдинбурга в 1855 г.[24] и был избран Член Королевского общества (FRS) в 1857 г..[13] Он получил почетные степени из LL.D. от Дублинский университет и Оксфордский университет.[25]

Надгробие Буля в Черная гора, Корк, Ирландия
Деталь витража в Линкольн собор посвященный Буля, изображающий его любимый отрывок из Библии (содержание предложено его вдовой), Божье призвание пророка Самуила (1 Царств 3: 1-10 ), ребенок, посвященный Богу своими родителями[26]
Мемориальная доска под окном Буля в соборе Линкольна

Работает

Первой опубликованной статьей Буля была «Исследования по теории аналитических преобразований со специальным приложением к редукции общего уравнения второго порядка», напечатанная в Кембриджский математический журнал в феврале 1840 г. (том 2, № 8, стр. 64–73), и это привело к дружбе между Булем и Дункан Фаркухарсон Грегори, редактор журнала. Его работы представлены примерно в 50 статьях и нескольких отдельных публикациях.[27][22]

В 1841 г. Буль опубликовал влиятельную статью в раннем теория инвариантов.[13] Он получил медаль от Королевское общество за его мемуары 1844 г. «Об общем методе анализа». Это был вклад в теорию линейные дифференциальные уравнения, перейдя от случая постоянных коэффициентов, о котором он уже публиковал, к переменным коэффициентам.[28] Новаторство в операционных методах заключается в признании того, что операции не могут ездить.[29] В 1847 г. Буль опубликовал Математический анализ логики, первая из его работ по символической логике.[30]

Дифференциальные уравнения

За свою жизнь Буль завершил два систематических трактата по математическим предметам. В Трактат о дифференциальных уравнениях[31] появился в 1859 г., а в следующем году последовал Трактат о Исчисление конечных различий,[32] продолжение прежней работы.

Анализ

В 1857 году Буль опубликовал трактат «О сравнении трансцендентного с некоторыми приложениями к теории определенных интегралов».[33] в котором он изучил сумму остатки из рациональная функция. Среди других результатов он доказал то, что теперь называется тождеством Буля:

для любых реальных чисел аk > 0, бk, и т > 0.[34] Обобщения этого тождества играют важную роль в теории Преобразование Гильберта.[34]

Символическая логика

Основная статья: Булева алгебра

В 1847 году Буль опубликовал брошюру Математический анализ логики. Позже он расценил это как ошибочное изложение своей логической системы и хотел Исследование законов мысли, на которых основаны математические теории логики и вероятностей рассматриваться как зрелое изложение его взглядов. Вопреки широко распространенному мнению, Буль никогда не собирался критиковать или не соглашаться с основными принципами Аристотель логика. Скорее он намеревался систематизировать ее, заложить основу и расширить диапазон ее применимости.[35] Первоначальное участие Буля в логике было вызвано текущими дебатами о количественная оценка, между Сэр Уильям Гамильтон кто поддерживал теорию «квантификации предиката», и сторонник Буля Огастес Де Морган кто продвинул версию Двойственность де Моргана, как это сейчас называется. Подход Буля, в конечном счете, был намного более значительным, чем подход обеих сторон в полемике.[36] Он положил начало тому, что сначала было известно как традиция «алгебры логики».[37]

Среди его многочисленных нововведений - принцип целостная ссылка, который позже и, вероятно, независимо был принят Готтлоб Фреге и логиками, которые придерживаются стандартной логики первого порядка. Статья 2003 г.[38] обеспечивает систематическое сравнение и критическую оценку Аристотелевская логика и Логическая логика; это также показывает центральную роль холистической ссылки в Булевом философия логики.

1854 определение вселенной дискурса

В каждом дискурсе, будь то ум, говорящий со своими собственными мыслями, или индивид в его общении с другими, существует предполагаемый или выраженный предел, в пределах которого ограничиваются субъекты его действия. Самый свободный дискурс - это дискурс, в котором слова, которые мы используем, понимаются в самом широком смысле, и для них пределы дискурса совпадают с ограничениями самой вселенной. Но чаще мы ограничиваемся менее обширным полем. Иногда, рассуждая о людях, мы подразумеваем (не выражая ограничений), что мы говорим о людях только при определенных обстоятельствах и условиях, как о цивилизованных людях, или о людях, живущих энергией, или о людях при каких-либо других условиях. или отношение. Итак, какой бы протяженностью ни было поле, в котором находятся все объекты нашего дискурса, это поле можно правильно назвать вселенная дискурса. Более того, эта вселенная дискурса является в самом строгом смысле конечным предметом дискурса.[39]

Обработка сложения в логике

Буль задумал «выборные символы» своего вида как алгебраическая структура. Но эта общая концепция была ему недоступна: у него не было стандарта сегрегации в абстрактная алгебра постулируемых (аксиоматических) свойств операций и выводимых свойств.[40] Его работа была началом алгебра множеств, опять же, концепция, недоступная для Boole как знакомой модели. Его новаторские усилия столкнулись с определенными трудностями, и лечение сложения поначалу было очевидной трудностью.

Boole заменил операцию умножения словом «и», а сложение словом «или». Но в исходной системе Буля + был частичная операция: на языке теория множеств это будет соответствовать только несвязный союз подмножеств. Более поздние авторы изменили интерпретацию, обычно читая ее как Эксклюзивный или, или в терминах теории множеств симметричная разница; этот шаг означает, что добавление всегда определяется.[37][41]

На самом деле, есть и другая возможность, что + следует читать как дизъюнкция.[40] Эта другая возможность исходит из случая несвязного объединения, когда исключающее или и неисключающее, или оба дают один и тот же ответ. Разрешение этой двусмысленности было ранней проблемой теории, отражающей современное использование обоих Булевы кольца и булевы алгебры (которые представляют собой просто разные аспекты одного типа структуры). Бул и Джевонс боролся именно над этим вопросом в 1863 г. в форме правильной оценки Икс + Икс. Джевонс утверждал, что результат Икс, что правильно для + как дизъюнкции. Boole сохранил результат как нечто неопределенное. Он возражал против результата 0, который является правильным для исключающего или, потому что он видел уравнение Икс + Икс = 0, что подразумевает Икс = 0, ложная аналогия с обычной алгеброй.[13]

Теория вероятности

Вторая часть Законы мысли содержала соответствующую попытку открыть общий метод вероятностей. Здесь цель была алгоритмической: из заданных вероятностей любой системы событий определить последующую вероятность любого другого события, логически связанного с этими событиями.[42]

Смерть

В конце ноября 1864 года Буль шел под проливным дождем из своего дома в Lichfield Cottage в Ballintemple[43] до университета, на расстоянии трех миль, и читал лекции в мокрой одежде.[44] Вскоре он заболел, у него развилась пневмония. Поскольку его жена считала, что лекарства должны быть похожи на их причину, она завернула его в мокрое одеяло - мокрое вызвало его болезнь.[44][45][46] Состояние Буля ухудшилось, и 8 декабря 1864 г.[47] он умер от лихорадки плевральный выпот.

Похоронен в Церковь Ирландии кладбище Святого Михаила, Черч-роуд Черная гора (пригород Пробка ). Внутри примыкающей церкви установлена ​​памятная доска.[48]

Наследие

Бюст Буля в Университетский колледж Корка

Boole - тезка ветви алгебра известный как Булева алгебра, а также тезка лунный кратер Логический. Ключевое слово Bool представляет Логический тип данных во многих языках программирования, хотя Паскаль и Ява, среди прочего, оба используют полное имя Булево.[49] Библиотека, комплекс подземных лекционных залов и Центр исследований в области информатики имени Буля.[50] в Университетский колледж Корка названы в его честь. Дорога называется Логические высоты в Брэкнелле Беркшир назван в его честь.

Развитие 19 века

Творчество Буля было расширено и усовершенствовано рядом авторов, начиная с Уильям Стэнли Джевонс. Огастес Де Морган работал над логика отношений, и Чарльз Сандерс Пирс объединил свои работы с работами Буля в 1870-х годах.[51] Другие значимые цифры были Платон Сергеевич Порецкий, и Уильям Эрнест Джонсон. Концепция структуры булевой алгебры на эквивалентных утверждениях пропозициональное исчисление зачисляется на Хью МакКолл (1877), в работе, рассмотренной 15 лет спустя Джонсоном.[51] Обзоры этих разработок опубликованы Эрнст Шредер, Луи Кутюра, и Кларенс Ирвинг Льюис.

Развитие 20 века

В современных обозначениях свободная булева алгебра по основным положениям п и q организовано в Диаграмма Хассе. Булевы комбинации составляют 16 различных предложений, и линии показывают, какие из них логически связаны.

В 1921 г. экономист Джон Мейнард Кейнс опубликовал книгу по теории вероятностей, Трактат о вероятности. Кейнс считал, что Буль совершил фундаментальную ошибку в своем определении независимости, которая исказила большую часть его анализа.[52] В его книге Проблема последнего испытанияДэвид Миллер предлагает общий метод в соответствии с системой Буля и пытается решить проблемы, признанные ранее Кейнсом и другими. Теодор Хайлперин намного раньше показал, что Буль использовал правильное математическое определение независимости в своих разработанных задачах.[53]

Поначалу казалось, что работы Буля и более поздних логиков не имели инженерного применения. Клод Шеннон посещал класс философии в университет Мичигана который познакомил его с исследованиями Буля. Шеннон признал, что работа Буля может лечь в основу механизмов и процессов реального мира, и поэтому она очень актуальна. В 1937 году Шеннон написал кандидатскую диссертацию в Массачусетский Институт Технологий, в котором он показал, как булева алгебра может оптимизировать проектирование систем электромеханических реле затем используется в коммутаторах телефонной маршрутизации. Он также доказал, что схемы с реле могут решать задачи булевой алгебры. Использование свойств электрических переключателей в логике процесса - основная концепция, лежащая в основе всех современных электронных устройств. цифровые компьютеры. Виктор Шестаков в МГУ (1907–1987) предложил теорию электрических переключателей, основанную на булевой логике, даже раньше, чем Клод Шеннон в 1935 г. по свидетельству советских логиков и математиков Софья Яновская, Гаазе-Рапопорт, Роланд Добрушин, Лупанов, Медведев и Успенский, хотя они защищали свои академические диссертации в том же 1938 году.[требуется разъяснение ] Но первая публикация результата Шестакова состоялась только в 1941 году (на русском языке). Таким образом, булева алгебра стала основой практических цифровая схема дизайн; и Буль, через Шеннона и Шестакова, обеспечил теоретическое обоснование Информационный век.[54]

Праздник 21 века

"Наследие Буля окружает нас повсюду: в компьютерах, хранении и извлечении информации, в электронных схемах и элементах управления, которые поддерживают жизнь, обучение и коммуникации в 21 веке. Его ключевые достижения в области математики, логики и теории вероятностей послужили важной основой для современной математики, микроэлектроники. инженерия и информатика ».

—Университетский колледж Корк.[4]

В 2015 году исполнилось 200 лет со дня рождения Джорджа Буля. Чтобы отметить двухсотлетний год, Университетский колледж Корка присоединился к поклонникам Буля по всему миру, чтобы отметить его жизнь и наследие.

Джордж Буль 200 из UCC[55] проект, тематические мероприятия, информационно-просветительские мероприятия для студентов и научные конференции, посвященные наследию Буля в цифровую эпоху, в том числе новое издание Десмонд Макхейл Биография 1985 года Жизнь и творчество Джорджа Буля: прелюдия к эпохе цифровых технологий,[56] 2014).

Поисковая машина Google отметила 200-летие со дня его рождения 2 ноября 2015 года алгебраическим переосмыслением своего Google Doodle.[4]

5, Grenville Place в 2017 году после реставрации UCC

Коттедж Litchfield в Баллинтемпле, Корк, где Буль прожил последние два года своей жизни, имеет мемориальную доску. Его бывшая резиденция на Гренвилл-Плейс восстанавливается в рамках сотрудничества между UCC и Городским советом Корка, как Дом инноваций Джорджа Буля, после того, как городской совет приобрел помещения в соответствии с Законом о заброшенных местах.[57]

Взгляды

Взгляды Буля были изложены в четырех опубликованных адресах: Гений сэра Исаака Ньютона; Правильное использование досуга; Заявления науки; и Социальный аспект интеллектуальной культуры.[58] Первый из них датируется 1835 годом, когда Чарльз Андерсон-Пелхэм, 1-й граф Ярборо подарил бюст Ньютона Институту механики в Линкольне.[59] Второй оправдал и отметил в 1847 году результат успешной кампании по раннему закрытию в Линкольне, возглавляемой Александром Лесли-Мелвиллом, из Branston Hall.[60] Заявления науки был дан в 1851 году в Королевском колледже в Корке.[61] Социальный аспект интеллектуальной культуры был также подарен в Корке в 1855 году Кювьерианскому обществу.[62]

Хотя его биограф Де МакХейл описывает Буля как «агностического деиста»,[63][64] Буль читал самые разные христианские богословия. Объединив свои интересы к математике и теологии, он сравнил Христианская троица Отца, Сына и Святого Духа с тремя измерениями пространства, и его привлекла еврейская концепция Бога как абсолютного единства. Логическое значение считается преобразованием в Иудаизм но в конце концов, как говорят, выбрал Унитаризм.[ссылка?] Буль выступил против того, что он считал «гордым» скептицизмом, и вместо этого поддержал веру в «Высшее разумное дело».[65] Он также заявил: «Я твердо верю, что для достижения цели Божественный Разум."[66][67] Кроме того, он заявил, что видел "множество свидетельств окружающих дизайн »и пришел к выводу, что« ход этого мира не брошен на волю случая и неумолимой судьбы ».[68][69]

Позже его жена испытала на себе два влияния на Буля: Мэри Эверест Буль: универсальный мистицизм, умеренный Еврейский думал, и Индийская логика.[70] Мэри Буль заявила, что юношеский мистический опыт стал делом всей его жизни:

Мой муж рассказал мне, что, когда ему было семнадцать лет, его внезапно осенила мысль, которая стала основой всех его будущих открытий. Это была вспышка психологического понимания условий, при которых разум наиболее охотно накапливает знания [...] В течение нескольких лет он считал себя убежденным в истинности «Библии» в целом и даже намеревался принять ордена как священнослужитель английской церкви. Но с помощью ученых Еврей в Линкольне он узнал истинную природу открытия, которое его осенило. Дело в том, что человеческий разум работает посредством некоего механизма, который «нормально функционирует по отношению к Монизм."[71]

Дюйм. 13 из Законы мысли Буль использовал примеры предложений из Барух Спиноза и Сэмюэл Кларк. Работа содержит некоторые замечания об отношении логики к религии, но они легкие и загадочные.[72] Буль явно был смущен приемом книги как математического инструментария:

Позже Джордж узнал, к своей великой радости, что такую ​​же концепцию основы логики придерживался Лейбниц, современник Ньютона. Де Морган, конечно, понимал формулу в ее истинном смысле; все это время он был соратником Буля. Герберт Спенсер, Джоуэтт и Роберт Лесли Эллис понял, я уверен; и несколько других, но почти все логики и математики проигнорировали [953] утверждение, что книга должна пролить свет на природу человеческого разума; и рассматривал эту формулу полностью как замечательный новый метод сведения к логическому порядку массы свидетельств о внешних фактах.[71]

Мэри Буль утверждала, что она имела огромное влияние - через своего дядю Джордж Эверест - из Индийский думал в целом и Индийская логика, в частности, на Джорджа Буля, а также на Огастес Де Морган и Чарльз Бэббидж:[73]

Подумайте, каким должно быть влияние интенсивного индуизма трех таких людей, как Бэббидж, Де Морган и Джордж Буль, на математическую атмосферу 1830–1865 годов. Какую долю он имел в создании Векторный анализ а математика, с помощью которой сейчас проводятся исследования в области физических наук?[71]

Семья

В 1855 году он женился Мэри Эверест (племянница Джордж Эверест ), которая позже написала несколько просветительских работ по принципам своего мужа.

У Буля было пять дочерей:

Смотрите также

Концепции

Другой

Примечания

  1. ^ а б c d е О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Джордж Буль", Архив истории математики MacTutor, Сент-Эндрюсский университет.
  2. ^ Айвор Граттан-Гиннесс (ред.), Сопутствующая энциклопедия истории и философии математических наук, Рутледж, 2002, гл. 5.1.
  3. ^ а б c d Хилл, стр. 149; Google Книги.
  4. ^ а б c "Кто такой Джордж Буль: математик, стоящий за дудлом Google". Sydney Morning Herald. 2 ноября 2015.
  5. ^ Буль, Джордж (2012) [Первоначально опубликовано Watts & Co., Лондон, в 1952 году]. Риз, Раш (ред.). Исследования по логике и теории вероятностей (Перепечатка ред.). Минеола, Нью-Йорк: Dover Publications. п. 273. ISBN  978-0-486-48826-4. Получено 27 октября 2015.
  6. ^ "Джон Буль". Фонд Линкольна Буля. Архивировано из оригинал 8 марта 2016 г.. Получено 6 ноября 2015.
  7. ^ Чисхолм, Хью, изд. (1911). "Буль, Джордж". Британская энциклопедия (11-е изд.). Издательство Кембриджского университета.
  8. ^ К., Бруно, Леонард (2003) [1999]. Математика и математики: история математических открытий во всем мире. Бейкер, Лоуренс В. Детройт, штат Мичиган: U X L., стр.49. ISBN  0787638137. OCLC  41497065.
  9. ^ К., Бруно, Леонард (2003) [1999]. Математика и математики: история математических открытий во всем мире. Бейкер, Лоуренс В. Детройт, штат Мичиган: U X L., стр.49 –50. ISBN  0787638137. OCLC  41497065.
  10. ^ Риз, Раш. (1954) "Джордж Буль как ученик и учитель. Некоторые из его друзей и учеников", Труды Королевской ирландской академии. Раздел A: Математические и физические науки. Vol. 57. Ирландская королевская академия
  11. ^ "Общество истории астрономии, Линкольншир". Получено 2 сентября 2019.
  12. ^ Эдвардс, А. В. Ф. «Бромхед, сэр Эдвард Томас Френч». Оксфордский национальный биографический словарь (онлайн-изд.). Издательство Оксфордского университета. Дои:10.1093 / ссылка: odnb / 37224. (Подписка или Членство в публичной библиотеке Великобритании требуется.)
  13. ^ а б c d Беррис, Стэнли. "Джордж Буль". В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  14. ^ Джордж Буль: самообразование и ранняя карьера Университетский колледж Корка
  15. ^ Вольфрам, Стивен (2016). Создатели идей: личные взгляды на жизнь и идеи некоторых известных людей. Wolfram Media, Inc. стр. 36. ISBN  978-1-5795-5-003-5.
  16. ^ Подборка статей по графству Линкольн, прочитанных в Топографическом обществе Линкольншира, 1841–1842 гг. Напечатано У. и Б. Брук, Хай-Стрит, Линкольн, 1843 г.
  17. ^ Хилл, стр. 172 примечание 2; Google Книги.
  18. ^ Хилл, стр. 130 примечание 1; Google Книги.
  19. ^ Хилл, стр. 148; Google Книги.
  20. ^ Вольфрам, Стивен (2016). Создатели идей: личные взгляды на жизнь и идеи некоторых известных людей. Wolfram Media, Inc. стр. 37. ISBN  978-1-5795-5-003-5.
  21. ^ Рональд Кэллинджер, Vita mathematica: исторические исследования и интеграция с обучением (1996), стр. 292; Google Книги.
  22. ^ а б Хилл, стр. 138 примечание 4; Google Книги.
  23. ^ Макхейл, Десмонд. Жизнь и творчество Джорджа Буля: прелюдия к эпохе цифровых технологий. п. 97.
  24. ^ "Keith Awards 1827–1890". Кембриджские журналы онлайн. Получено 29 ноябрь 2014.
  25. ^ Айвор Граттан-Гиннесс, Жерар Борне, Джордж Буль: Избранные рукописи по логике и ее философии (1997), стр. xiv; Google Книги.
  26. ^ https://www.visitlincoln.com/things-to-do/lincoln-cat Cathedral#george-boole-trail
  27. ^ Список мемуаров и статей Буля находится в Каталог научных воспоминаний опубликовано Королевское общество, и в дополнительном томе по дифференциальным уравнениям под редакцией Исаак Тодхантер. К Кембриджский математический журнал и его преемник, Кембриджский и Дублинский математический журнал, Boole опубликовал 22 статьи. В третьей и четвертой сериях Философский журнал найдено 16 работ. Королевское общество напечатало шесть мемуаров в Философские труды, и несколько других воспоминаний можно найти в Сделки из Королевское общество Эдинбурга и из Королевская ирландская академия, в Bulletin de l'Académie de St-Pétersbourg за 1862 г. (под именем Г. Болдт, т. IV, стр. 198–215), а в Журнал Крелля. Также включена статья по математическим основам логики, опубликованная в Журнал Механика в 1848 г.
  28. ^ Андрей Николаевич Колмогоров, Адольф Павлович Юшкевич (редакторы), Математика XIX века: теория функций по Чебышеву, обыкновенные дифференциальные уравнения, вариационное исчисление, теория конечных разностей (1998), стр. 130–2; Google Книги.
  29. ^ Джереми Грей, Карен Хунгер Паршалл, Эпизоды истории современной алгебры (1800–1950) (2007), стр. 66; Google Книги.
  30. ^ Джордж Буль, Математический анализ логики, являющийся эссе к исчислению дедуктивного рассуждения (Лондон, Англия: Macmillan, Barclay, & Macmillan, 1847).
  31. ^ Джордж Буль, Трактат о дифференциальных уравнениях (1859), Интернет-архив.
  32. ^ Джордж Буль, Трактат по исчислению конечных разностей (1860), Интернет-архив.
  33. ^ Буль, Джордж (1857). «О сравнении трансцендентного с некоторыми приложениями к теории определенных интегралов». Философские труды Лондонского королевского общества. 147: 745–803. Дои:10.1098 / рстл.1857.0037. JSTOR  108643.
  34. ^ а б Cima, Joseph A .; Мэтисон, Алек; Росс, Уильям Т. (2005). «Преобразование Коши». Quad домены и их приложения. Опер. Теория Adv. Appl. 156. Базель: Биркхойзер. С. 79–111. МИСТЕР  2129737.
  35. ^ Джон Коркоран, Предыдущая аналитика Аристотеля и булевые законы мышления, История и философия логики, т. 24 (2003), стр. 261–288.
  36. ^ Граттан-Гиннесс, И. "Буль, Джордж". Оксфордский национальный биографический словарь (онлайн-изд.). Издательство Оксфордского университета. Дои:10.1093 / ссылка: odnb / 2868. (Подписка или Членство в публичной библиотеке Великобритании требуется.)
  37. ^ а б Витольд Марцишевский (редактор), Словарь логики, применяемый в изучении языка (1981), стр. 194–5.
  38. ^ Коркоран, Джон (2003). "Предварительная аналитика Аристотеля и законы мысли Буля". История и философия логики, 24: 261–288. Отзыв Ристо Вилкко. Бюллетень символической логики, 11(2005) 89–91. Также Марсель Гийом, Математические обзоры 2033867 (2004м: 03006).
  39. ^ Джордж Буль. 1854/2003. Законы мысли, факсимиле издания 1854 г., с предисловием Джон Коркоран. Буффало: Книги Прометея (2003). Обзор Джеймса ван Эвра в книге «Philosophy in Review» 24 (2004) 167–169.
  40. ^ а б Андрей Николаевич Колмогоров, Адольф Павлович Юшкевич, Математика XIX века: математическая логика, алгебра, теория чисел, теория вероятностей (2001), стр. 15 (примечание 15) –16; Google Книги.
  41. ^ Беррис, Стэнли. «Алгебра логической традиции». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  42. ^ Буль, Джордж (1854). Исследование законов мысли. Лондон: Уолтон и Маберли. С. 265–275.
  43. ^ "Дублин Сити Быстрый поиск: Здания Ирландии: Национальный список архитектурного наследия".
  44. ^ а б Баркер, Томми (13 июня 2015 г.). "Загляните в дом профессора математики UCC Джорджа Буля". Ирландский экзаменатор. Получено 6 ноября 2015.
  45. ^ К., Бруно, Леонард (2003) [1999]. Математика и математики: история математических открытий во всем мире. Бейкер, Лоуренс В. Детройт, штат Мичиган: U X L., стр.52. ISBN  0787638137. OCLC  41497065.
  46. ^ Беррис, Стэнли (2 сентября 2018 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии. Лаборатория метафизических исследований, Стэнфордский университет. Получено 2 сентября 2019 - через Стэнфордскую энциклопедию философии.
  47. ^ "Джордж Буль". Британская энциклопедия. Encyclopdia Britannica, inc. 30 января 2017 г.. Получено 7 декабря 2017.
  48. ^ "Смерть-его жизнь - Джордж Буль 200".
  49. ^ П. Дж. Браун, Паскаль из Basic, Аддисон-Уэсли, 1982. ISBN  0-201-13789-5, стр.72
  50. ^ «Бульский центр исследований в области информатики».
  51. ^ а б Айвор Граттан-Гиннесс, Жерар Борне, Джордж Буль: Избранные рукописи по логике и ее философии (1997), стр. XLVI; Google Книги.
  52. ^ Глава XVI, стр. 167, раздел 6 Трактат о вероятности, том 4: «Основная ошибка в его системе вероятностей возникает из-за того, что он дает два несовместимых определения« независимости »(2). Сначала он завоевывает согласие читателя, дав совершенно правильное определение:« Два события считаются независимыми, когда вероятность любого из них не зависит от наших ожидание возникновения или неудачи другого ». (3) Но мгновение спустя он интерпретирует этот термин в совершенно ином смысле, поскольку, согласно второму определению Буля, мы должны рассматривать события как независимые, если нам не говорят, что они должен соглашаются или что они не можешь согласен Другими словами, они независимы, если мы не знаем наверняка, что между ними действительно существует неизменная связь. "Простые события, Икс, у, z, будет сказано, что это обусловленный когда они не могут встречаться во всех возможных комбинациях; другими словами, когда предотвращается возникновение некоторого зависящего от них сложного события. ... Простые безусловные события по определению независимы ». (1) Фактически, пока xz является возможный, Икс и z независимы. Это явно несовместимо с первым определением Буля, с которым он не пытается его согласовать. Последствия того, что он использует термин «независимость» в двойном смысле, далеко идущие. Ибо он использует метод редукции, который действителен только тогда, когда аргументы, к которым он применяется, независимы в первом смысле, и предполагает, что он действителен, если они независимы во втором смысле. Хотя его теоремы верны, если все предложения или события независимы в первом смысле, они не верны, как он предполагает их, если события независимы только во втором смысле ».
  53. ^ "ЗЕТЕТИЧЕСКИЕ ОЧИСТКИ".
  54. ^ «С тех пор эта диссертация была провозглашена одной из самых значительных магистерских диссертаций 20-го века. Во всех смыслах и целях использование двоичного кода и булевой алгебры проложило путь для цифровых схем, которые имеют решающее значение для работы современных компьютеров. и телекоммуникационное оборудование ".Эмерсон, Эндрю (8 марта 2001 г.). "Клод Шеннон". Хранитель. Объединенное Королевство.
  55. ^ "Джордж Буль 200 - празднование 200-летия Джорджа Буля". Архивировано из оригинал 21 сентября 2014 г.
  56. ^ Издательство Коркского университета
  57. ^ «Логическая логика встречается с викторианской готикой в ​​зеленом пригороде Корка».
  58. ^ 1902 Британика статья Джевонса; онлайн-текст.
  59. ^ Джеймс Гассер, Антология логики: недавние и классические исследования логики Джорджа Буля (2000), стр. 5; Google Книги.
  60. ^ Гассер, стр. 10; Google Книги.
  61. ^ Буль, Джордж (1851). Заявления науки, особенно основанные на ее отношении к человеческой природе; лекция. Получено 4 марта 2012.
  62. ^ Буль, Джордж (1855). Социальный аспект интеллектуальной культуры: выступление в Корк Афинюме, 29 мая 1855 года: на вечере Кювьерианского общества. Джордж Перселл и Ко. Получено 4 марта 2012.
  63. ^ Международная ассоциация семиотических исследований; Международный совет по философии и гуманистическим исследованиям; Международный совет социальных наук (1995). «Сказка двух любителей». Семиотика, Том 105. Мутон. п. 56. Биография Макхейла называет Джорджа Буля «агностическим деистом». Классификация обоих Булевых «религиозных философий» на монистические, дуалистические и тринитарные не оставляла сомнений в их предпочтении «религии единства», будь то иудаистская или унитарная.
  64. ^ Международная ассоциация семиотических исследований; Международный совет по философии и гуманистическим исследованиям; Международный совет социальных наук (1996). Семиотика, Том 105. Мутон. п. 17. Макхейл не подавляет ни то, ни другое свидетельство верований и практик Буля девятнадцатого века в паранормальном и религиозном мистицизме. Он даже допускает, что многие выдающиеся вклады Джорджа Буля в логику и математику могли быть мотивированы его отличительными религиозными убеждениями как «агностического деиста» и необычной личной чувствительностью к страданиям других людей.
  65. ^ Буль, Джордж. Исследования по логике и теории вероятностей. 2002. Courier Dover Publications. п. 201-202
  66. ^ Буль, Джордж. Исследования по логике и теории вероятностей. 2002. Courier Dover Publications. п. 451
  67. ^ Какая-то сторона научного разума (2013). С. 112–3. Университетский журнал, 1878 г. Лондон: Забытые книги. (Оригинальная работа опубликована в 1878 г.)
  68. ^ Заключительные замечания к его трактату «Кларк и Спиноза», найденному в Boole, George (2007). Исследование законов мысли. Cosimo, Inc. Глава. XIII. п. 217-218. (Оригинальная работа опубликована в 1854 г.)
  69. ^ Буль, Джордж (1851). Требования науки, особенно основанные на ее отношении к человеческой природе; лекция, Том 15. с. 24
  70. ^ Джонардон Ганери (2001), Индийская логика: читатель, Рутледж, стр. 7, ISBN  0-7007-1306-9; Google Книги.
  71. ^ а б c Буль, Мэри Эверест Индийская мысль и западная наука в девятнадцатом веке, Буль, Мэри Эверест Собрание сочинений ред. Э. М. Кобэм и Э. С. Даммер, Лондон, Дэниел, 1931, стр. 947–967.
  72. ^ Граттан-Гиннесс и Борнет, стр. 16; Google Книги.
  73. ^ Как, С. (2018) Законы мысли Джорджа Буля и индийская логика. Текущая наука, т. 114, 2570-2573
  74. ^ "Семья и генеалогия - его жизнь Джордж Буль 200". Georgeboole.com. Получено 7 марта 2016.
  75. ^ Душит в саду в Лос-Анджелес Таймс т. 27 февраля 1909 г.
  76. ^ "Мое право на смерть", женщина убивает себя в Вашингтон Таймс т. 28 мая 1908 г. (PDF ); Миссис Мэри Хинтон самоубийство в Нью-Йорк Таймс т. 29 мая 1908 г. (PDF ).
  77. ^ Д. Макхейл, Жизнь и творчество Джорджа Буля: прелюдия к эпохе цифровых технологий, Cork University Press, 2014. цитируется в Необычный случай семейства Булевых автор: Мойра Час

Рекомендации

внешняя ссылка