В настоящее время было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком. Большие успехи, которые сделаны в математике, например в алгебре, со времен античности, обусловлены в значительной степени тем обстоятельством, что удалось найти полезный и продуктивный формализм.
немецкий математик и логик, ученик Д. Гильберта. Был профессором в Мюнстере. Основные труды относятся к математической логике. Книга «Основы теоретической логики», написанная совместно с Д. Гильбертом, переведена на русский…
Новое искусство должно быть основано на науке – в частности, на математике, как наиболее точной, логической и наглядно конструктивной науке. – ДЮРЕР Альбрехт