Вильгельм Аккерман - цитаты
Вильгельм Аккерман — немецкий математик, известный своими трудами в области математической логики и основ математики. Его именем названа функция Аккермана — важный пример в теории вычислимости. Он внёс значительный вклад в доказательную теорию и формальную логику. Мы предлагаем вам 3 его цитаты:
В настоящее время было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком. Большие успехи, которые сделаны в математике, например в алгебре, со времен античности, обусловлены в значительной степени тем обстоятельством, что удалось найти полезный и продуктивный формализм.
Вильгельм Аккерман