Вильгельм Аккерман
| Вильгельм Аккерман | |
| |
 Статья в Википедии
| |
 Медиафайлы на Викискладе
|
Вильге́льм Фри́дрих Аккерман (нем. Wilhelm Friedrich Ackermann; 29 марта 1896, Хершайд, Германия — 24 декабря 1962, Люденшайд, Германия) — немецкий математик и логик.
Цитаты
[править]Связь логики с практикой неоспорима[1]. |
Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики[1]. |
В настоящее время было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком. Большие успехи, которые сделаны в математике, например в алгебре, со времен античности, обусловлены в значительной степени тем обстоятельством, что удалось найти полезный и продуктивный формализм[1]. |
Источники
[править]- ↑ 1 2 3 Аккерман В. Основы теоретической логики. — Москва: Издательская группа URSS, 2010. — 304 с. — ISBN 978-5-484-01144-5