1 the formalization of mathematics
It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Reality of Numbers: A Physicalist's Philosophy of Mathematics.John Bigelow - 1988 - Oxford University Press.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics.Friedrich Waismann - 1951 - Dover Publications.
Added to index2009-01-28
Total downloads380 ( #6,903 of 2,169,417 )
Recent downloads (6 months)1 ( #345,461 of 2,169,417 )
How can I increase my downloads?