Введение в методологию математики, Мадер В.В., 1995.
Предлагаемая книга — о природе математики, понимаемой в самом широком смысле этого слова. Здесь разворачивается панорама математического знания в различных аспектах и связях: показана связь математики с теорией познания: рассмотрены исторические аспекты: различные проблемы семантического характера — структура языка и теория смысла, проблема выразимости, природа равенства и др. Детально обсуждены исходные методологические принципы математики, теория алгоритмов и начала конструктивной математики. Рассказано о различных попытках обоснования математики, борьбе идей, кризисах и победах, приведших к более глубокому пониманию природы математики.
Материал книги — свидетельство того, что очевидное-невероятное — постоянный спутник математического познания.
Для студентов-математиков, а также для учителей и старшеклассников.
