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

немецкий математик и логик
(перенаправлено с «Аккерман, Вильгельм»)

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

Вильгельм Аккерман
Статья в Википедии
Медиафайлы на Викискладе

Цитаты

править
  •  

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

  •  

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

  •  

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

Источники

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