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