Вильгельм Аккерман

Материал из Викицитатника
Перейти к навигации Перейти к поиску
Вильгельм Аккерман, 1935 г.

Вильге́льм Фри́дрих Аккерман (нем. Wilhelm Friedrich Ackermann; 29 марта 1896, Хершайд, Германия — 24 декабря 1962, Люденшайд, Германия) — немецкий математик и логик.

Цитаты[править]

  •  

Связь логики с практикой неоспорима[1].

  •  

Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики[1].

  •  

В настоящее время было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком. Большие успехи, которые сделаны в математике, например в алгебре, со времен античности, обусловлены в значительной степени тем обстоятельством, что удалось найти полезный и продуктивный формализм[1].

Источники[править]

  1. 1,0 1,1 1,2 Аккерман В. Основы теоретической логики. — Москва: Издательская группа URSS, 2010. — 304 с. — ISBN 978-5-484-01144-5