Огастес де Морган
Даты жизни: 1806 — 1871
Сфера интересов: Математическая логика, Алгебра, История математики
Страна: Великобритания
Главный вклад: Формулировка законов де Моргана в логике, строгое математическое определение метода индукции, внедрение косой черты (солидуса) для обозначения дробей.
2. Биографическая справка
Образование: Тринити-колледж Кембриджского университета. Несмотря на выдающиеся математические способности, де Морган не смог получить степень магистра и стипендию (fellowship), так как из-за своих строгих религиозных принципов категорически отказался проходить обязательный теологический тест и клясться в верности Церкви Англии.
Академическая карьера: В возрасте 22 лет он стал первым профессором математики в недавно открытом Университетском колледже Лондона (который был первым светским университетом в Англии, принимавшим студентов любой веры). Де Морган был одним из самых блестящих и эксцентричных преподавателей своего времени. Он стал первым президентом Лондонского математического общества. Одним из его самых известных учеников была Ада Лавлейс — первый в истории программист, которую он обучал высшей математике.
Интересный факт: Де Морган ослеп на один глаз вскоре после рождения. Это сделало его мишенью для школьных хулиганов, но развило в нем обостренное чувство справедливости и независимости. Он принципиально отказывался от любых почетных званий, премий и даже от членства в Лондонском королевском обществе, заявляя, что настоящему ученому титулы не нужны.
3. Основные достижения и труды
Ключевые работы:
- «Формальная логика, или Исчисление выводов, необходимых и вероятных» (Formal Logic, 1847).
- «Элементы алгебры» (1835).
Главные теоремы/формулы:
- Законы де Моргана: Фундаментальные правила логики (и теории множеств), связывающие конъюнкцию, дизъюнкцию и отрицание: $$\neg (A \land B) = \neg A \lor \neg B$$ $$\neg (A \lor B) = \neg A \land \neg B$$
- Математическая индукция: Хотя индуктивные рассуждения использовались и ранее (Паскалем и Ферма), именно де Морган в 1838 году ввел сам термин «математическая индукция» и придал этому методу строгую аксиоматическую форму.
- Обозначения: Де Морган первым начал использовать косую черту $a/b$ для записи дробей в печатном тексте, чтобы математические формулы можно было верстать в одной строке с обычным текстом.
4. Наследие и влияние
«Движущей силой математических изобретений является не рассуждение, а воображение.»
Влияние на современность: Вместе со своим другом Джорджем Булем, де Морган перевел логику из области философии в область строгой математики. Законы де Моргана сегодня наизусть знает любой программист и инженер-электронщик, так как они используются для упрощения логических выражений в коде (операторы AND, OR, NOT) и при оптимизации архитектуры цифровых микросхем (логических вентилей). Математическая индукция стала главным методом доказательства в дискретной математике и теории алгоритмов.
Награды: Признание отцом-основателем Лондонского математического общества.