Кто это
Джордж Буль (1815–1864) — английский математик и логик, создатель алгебры логики («булевой алгебры») — формальной системы, представляющей логические высказывания и операции («и», «или», «не») через алгебраические уравнения. Основные труды — «Математический анализ логики» (1847) и «Исследование законов мышления» (1854). Булева алгебра легла в основу цифровой электроники и информатики XX века.
Роль в аргументации Хофштадтера
Один из создателей формальной символической логики, предшествующей системам Фреге, Пеано и Principia Mathematica, о которых говорится далее в Интродукции.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | в перечне логиков, заложивших формальную математическую логику |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: George Boole