Кто это
Готфрид Вильгельм Лейбниц (1646–1716) — немецкий философ, математик, логик, независимо от Ньютона разработавший математический анализ (дифференциальное и интегральное исчисление). Построил механическую вычислительную машину («ступенчатый вычислитель»), способную выполнять все четыре арифметических действия. Мечтал о создании универсального формального «языка мышления» («characteristica universalis») и «исчисления рассуждений» («calculus ratiocinator»), с помощью которых любой спор можно было бы разрешить чисто механическим вычислением — идея, на два века опередившая математическую логику Буля и Фреге.
Роль в аргументации Хофштадтера
Мечта Лейбница о «языке, в котором истина вычисляется» — прямой концептуальный предшественник формальных систем математической логики XIX–XX веков и, в конечном счёте, самого вопроса, на который отвечают теоремы Гёделя: можно ли вообще полностью формализовать истину.
Где упоминается в тексте
| Глава | Контекст |
|---|---|
| Интродукция | как создатель вычислительной машины и идеи универсального формального языка |
Связанные карточки
Комментарий составителя
Источники: Wikipedia: Gottfried Wilhelm Leibniz