Огастес де Морган¶

Огастес де Морган (27 июня 1806, Мадурай, Британская Индия — 18 марта 1871, Лондон, Великобритания) — британский математик, логик и философ, один из основоположников современной математической логики. Известен формулировкой законов де Моргана, развитием теории отношений и вкладом в алгебру логики. Также внёс значительный вклад в историю математики, популяризацию науки и образование.

¶Биография

¶Ранние годы и образование

Огастес де Морган родился в семье британского колониального чиновника в Мадурае (ныне Индия). В возрасте семи месяцев его семья переехала в Англию. Отец умер, когда Огастесу было десять лет, и мать, вдова, взяла на себя его воспитание. Де Морган получил начальное образование в частных школах, а затем в 1823 году поступил в Тринити-колледж Кембриджского университета. Там он изучал математику, классические языки и философию. В 1827 году он окончил колледж, получив степень бакалавра искусств, но не смог получить стипендию из-за отказа подписать обязательные религиозные тесты (Тридцать девять статей англиканской церкви), что было типично для его нонконформистских взглядов.

¶Академическая карьера

В 1828 году, в возрасте 22 лет, де Морган стал первым профессором математики в только что основанном Университетском колледже Лондона (UCL). Этот пост он занимал дважды: с 1828 по 1831 год и с 1836 по 1866 год. В 1831 году он ушёл в отставку из-за разногласий с администрацией по поводу академической свободы, но вернулся после реорганизации. В 1837 году он женился на Софье Элизабет Френд, которая была активной сторонницей образования для женщин и написала биографию мужа.

Де Морган был известен своей строгостью в преподавании и нетерпимостью к некомпетентности. Он активно выступал за реформу высшего образования, включая отмену религиозных тестов для студентов и преподавателей. В 1866 году он окончательно ушёл из UCL из-за спора о назначении профессора философии, но оставался активным исследователем до конца жизни.

¶Личная жизнь и смерть

Де Морган был человеком замкнутым, но имел широкий круг общения среди учёных и писателей, включая Уильяма Хьюэлла, Джорджа Буля и Чарльза Бэббиджа. Он страдал от хронических заболеваний и умер в 1871 году в Лондоне. Его библиотека, насчитывавшая более 4000 томов, была завещана Лондонскому университету.

¶Вклад в математику и логику

¶Законы де Моргана

Наиболее известное достижение де Моргана — формулировка двух законов, связывающих логические операции отрицания, конъюнкции (И) и дизъюнкции (ИЛИ). В современной записи они выглядят так:

• ¬(A ∧ B) ≡ (¬A) ∨ (¬B)
• ¬(A ∨ B) ≡ (¬A) ∧ (¬B)

Эти законы являются фундаментальными в математической логике, теории множеств, булевой алгебре и информатике. Они позволяют преобразовывать логические выражения и упрощать схемы. Де Морган сформулировал их в своей книге «Формальная логика» (1847), хотя в неявном виде они были известны ещё Аристотелю и средневековым логикам.

¶Алгебра логики и теория отношений

Де Морган был одним из первых, кто систематически применил алгебраические методы к логике. Он ввёл понятие «универсума рассуждения» (области значений переменных) и развил теорию отношений, включая понятие относительных произведений и обратных отношений. Его работа «О силлогизме» (1846) и последующие публикации заложили основы для формальной логики, которую позже развили Джордж Буль и Чарльз Пирс. Де Морган также ввёл термин «математическая индукция» (в 1838 году) и дал её строгое обоснование.

¶Вклад в математический анализ

В области математического анализа де Морган известен своей работой «Дифференциальное и интегральное исчисление» (1842), где он систематизировал и уточнил многие понятия. Он также внёс вклад в теорию рядов, тригонометрию и комбинаторику. Его учебники по математике были широко распространены в британских университетах и способствовали стандартизации математического образования.

¶Работы по истории и философии науки

¶«Бюджет парадоксов»

Де Морган написал множество статей по истории математики и астрономии. Его наиболее известная работа в этой области — «Бюджет парадоксов» (1872, посмертно), сборник эссе о математических и логических ошибках, псевдонауке и заблуждениях. В этой книге он критикует попытки квадратуры круга, вечного двигателя и другие псевдонаучные теории, демонстрируя эрудицию и остроумие. «Бюджет парадоксов» считается классикой научно-популярной литературы и до сих пор переиздаётся.

¶Исторические исследования

Де Морган написал биографии многих учёных, включая Ньютона, Галилея и Кеплера, а также статьи по истории астрономии. Он был одним из первых, кто систематически изучал историю математики как академическую дисциплину. Его работы по истории календаря, нумерации и систем счисления сохраняют научную ценность.

¶Публикации и наследие

¶Основные труды

• «Элементы арифметики» (1830) — учебник, выдержавший множество изданий.
• «Формальная логика» (1847) — ключевая работа по логике.
• «Тригонометрия и двойная алгебра» (1849) — введение в комплексные числа.
• «Бюджет парадоксов» (1872) — посмертное издание.
• Многочисленные статьи в журналах, включая «Труды Кембриджского философского общества» и «Philosophical Magazine».

¶Влияние на науку

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

• Кратер Де Морган на Луне.
• Медаль де Моргана — высшая награда Лондонского математического общества (учреждена в 1884 году).
• Улица Де Морган-стрит в Лондоне.

¶Критика и оценка

Современники де Моргана отмечали его эксцентричность и склонность к спорам, но признавали его эрудицию и принципиальность. Некоторые критики (например, Уильям Хьюэлл) считали его подход к логике слишком формальным и оторванным от реальности. Однако последующее развитие математической логики подтвердило продуктивность идей де Моргана. В истории науки он оценивается как один из ключевых фигур, подготовивших почву для булевой алгебры и современной логики.