Next:
Euclidean and non-Euclidean geometries
Philosophy of Mathematics
Sandy Berkovski
Euclidean and non-Euclidean geometries
Conventionalism in geometry
Formalism I: Meaning, Truth, Existence
Formalism II: Gödel's Results
Logicism I: Numbers as Objects
Logicism II: More on Numbers as Objects
Logicism III: Theory of Types
Intuitionism
Mathematical Proof
Mathematical Applicability
Nominalism
Bibliography
Sandy Berkovski