# Are the basic axioms in mathematics empirical

## Philosophy of Science of Mathematics

Theory of Science pp 189-208 | Cite as

- Stephan Kornmesser
- Wilhelm Buettemeyer

Chapter

First Online:

### Summary

Mathematics has been a subject of epistemological reflections since ancient times. The indistinguishable status of their objects of investigation, the exemplary precision of their conceptualization and argumentation, the unequivocal validity of their theorems and their remarkable arrangement in axiom systems as well as the versatile applicability of their quite abstract results required an explanation. At the same time, the positive assessment just described resulted in a yardstick against which mathematical theories had to be measured from an epistemological point of view.

This is a preview of subscription content, log in to check access.

### Preview

Unable to display preview. Download preview PDF.

### literature

- Aristotle:
*Second analytics*[about 350 BC Chr.]. Einl., Übers. And Komm. Horst Seidl, gr.-dt. Würzburg / Amsterdam^{2}1987. Google Scholar - Euclid:
*The Elements*[about 300 BC Chr.]. Trans. V. Clemens Thaer. 4th, exp. Edition Frankfurt a. M. 2003. Google Scholar *Blaise Pascal's reflections on geometry in general: "De l’esprit géométrique" and "De l’art de persuader"*[around 1655]. With German translation and comm. By Jean-Pierre Schobinger. Basel 1974.Google Scholar- Bourbaki, Nicolas: "L’architecture des mathématiques". In: François Le Lionnais (ed.):
*The grands courants de la pensée mathématique*. Paris 1962, 35-47; German in: Michael Otte (ed.):*Mathematician on math*. Berlin 1974, 140–159.Google Scholar - Brouwer, Luitzen Egbertus Jan:
*Collected Works.*Vol. I:*Philosophy and Foundations of Mathematics*[1905-55]. Amsterdam 1975.Google Scholar - Cohen, Paul J .:
*Set Theory and the Continuum Hypothesis*. Reading, Mass. 1966; repr. Mineola, N.Y. 2008. Google Scholar - Frege, thank God:
*Basic laws of arithmetic. Derived in terms of terms*[1893-1903]. 2 vols. Ed. Thomas Muller et al. Paderborn 2009.Google Scholar - Frege, thank God:
*The basics of arithmetic. A logical mathematical investigation into the concept of number*[1884]. Stuttgart 2011. Google Scholar - Gentzen, Gerhard: "The consistency of pure number theory". In:
*Mathematical annals*112: 493-565 (1936); Reprint Darmstadt 1967.Google Scholar - Gödel, Kurt: "About formally undecidable propositions of Principia Mathematica and related systems I". In:
*Monthly booklets of mathematics and physics*38: 173-198 (1931). Google Scholar - Hilbert, David:
*Hilbertiana. Five essays*[1918-25]. Darmstadt 1964.Google Scholar - Hilbert, David:
*Basics of geometry*[1899]. Stuttgart^{14}1999. Google Scholar - Lorenzen, Paul: "The consistency of classical analysis". In:
*Mathematical journal*54: 1-24 (1951). Google Scholar - Lorenzen, Paul:
*Differential and integral. A constructive introduction to classical analysis*. Frankfurt a. M. 1965. Google Scholar - Lorenzen, Paul:
*Textbook of constructive philosophy of science*[1987]. Stuttgart 2000. Google Scholar

### Copyright information

© Springer-Verlag GmbH Germany, a part of Springer Nature 2020

### Authors and Affiliations

- 1. Institute for PhilosophyCarl von Ossietzky UniversityOldenburgGermany

- How are rental prices going up
- How is Zina
- Which is the best-selling gig
- How can I achieve my goals
- What is efficiency
- What does a PCV valve do
- Would you kill yourself because you lost someone
- Is traveling to America safe for men
- How and why are memories suppressed
- How can I keep myself absolutely safe?
- How do you stop the porosity when pouring
- Can Westminster reverse decentralization?
- Does your dog talk to you
- What exactly was the Chinese Civil War
- What is so attractive about religion
- What is chlorination
- How to cook lasagna pasta
- Can I buy Bitcoin with Koinex
- Too much rationality is good for humanity
- Are Koreans richer than Japanese
- What is the most beautiful death
- Do you feel like posting something?
- How heavy is the sun
- What is a two-stage gear