Кто это
Август де Морган (1806–1871) — английский математик и логик, первый профессор математики Университетского колледжа Лондона. Сформулировал «законы де Моргана» в логике и теории множеств (отрицание конъюнкции/дизъюнкции), внёс вклад в развитие формальной алгебры и теории вероятностей. Был учителем и другом Ады Лавлейс, консультировал её по математическим вопросам во время работы над записками к аналитической машине Бэббиджа.
Роль в аргументации Хофштадтера
Один из создателей символической логики XIX века, наряду с Булем заложивший фундамент, на котором позже строили Фреге, Пеано и авторы Principia Mathematica.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков, заложивших формальную математическую логику |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Augustus De Morgan