# Can irrational things be proven mathematically?

## Justify in math and math class

### literature

### Used literature

Archimedes (1967).

*Works*(2nd ed.). Darmstadt: Scientific Book Society. Translated and annotated by A. CzwalinaGoogle Scholar

Arzarello, F. (2007). The proof in the 20th century: from Hilbert to automatic theorem proving. In P. Boero (ed.),

*Theorems in school: from history, epistemology and cognition to classroom practice*(Pp. 43-64). Rotterdam: Sense publisher.Google Scholar

Bartolini Bussi, M. G., Boero, P., Ferri, F., Garuti, R., & Alessandra, M. M. (2007). Approaching and developing the culture of geometry theorems in school: a theoretical framework. In P. Boero (ed.),

*Theorems in school: from history, epistemology and cognition to classroom practice*(Pp. 211-217). Rotterdam: Sense publisher.Google Scholar

Blum, W., & Leiß, D. (2007). How do students and teachers deal with modeling problems? In C. Haines, W. Blum, P. Galbraith & S. Khan (Eds.),

*Mathematical modeling (ICTMA 12): Education, engineering and economics*(Pp. 222-231). Chichester: Horwood.Google Scholar

Boero, P., Garuti, R., & Lemut, E. (2007). Approaching theorems in grade VIII: some mental processes underlying producing and proving conjectures and condition suitable to enhance them. In P. Boero (ed.),

*Theorems in school: from history, epistemology and cognition to classroom practice*(Pp. 249-264). Rotterdam: Sense Publisher.Google Scholar

Brockhaus (ed.). (2006).

*Brockhaus encyclopedia*(21st ed.). Vol. 8. Leipzig Mannheim: F. A. Brockhaus.Google Scholar

Brunner, E. (2014).

*Mathematical reasoning, reasoning and proof. Basics, findings and concepts*. Berlin, Heidelberg: Springer Spectrum.Google Scholar

Cabassut, R., Connor, A., Furinghetti, F., Iscimen, A. F., Jahnke, H. N., & Morsella, F. (2012). Conceptions of proof — in research and teaching. In G. Hanna & M. de Villiers (eds.),

*Proof and proving in mathematics education. The 19th ICMI study*(Pp. 169-190). Dordrecht: Springer.Google Scholar

Corry, L. (2004).

*David Hilbert and the Axiomatization of Physics (1898–1918): From Fundamentals of Geometry to Fundamentals of Physics*. Dordrecht: Kluwer.Google Scholar

Dawkins, P.C. (2014). When proofs reflect more on assumptions than on conclusions.

*For the Learning of Mathematics*,*34*(2), 17–23.Google Scholar

Detel, W. (Ed.). (2011a).

*Aristotle. Second analytics*. Hamburg: Felix Meiner. Greek text after W. D. Ross. Newly translated, with an introduction and notesGoogle Scholar

Detel, W. (2011b). Introduction. In W. Detel (ed.),

*Aristotle. Second analytics*(Pp. Xi-xcvi). Hamburg: Felix Meiner.Google Scholar

Ernst, M. (2015). The prospects of unlimited category theory: doing what remains to be done.

*The review of symbolic logic*,*8*, 306–327.Google Scholar

Feferman, S. (1977). Categorical foundations and foundations of category theory. In R. E. Butts & J. Hintikka (Eds.),

*Logic, foundations of mathematics and computability theory*(Pp. 149-169). Dordrecht: Reidel.Google Scholar

Feferman, S. (2013). Foundations of unlimited category theory: what remains to be done.

*The Review of Symbolic Logic*,*6*, 6–15.Google Scholar

Fischer, R., & Malle, G. (2004).

*Man and math. An introduction to didactic thinking and acting*(2nd ed.). Munich: Profil-Verlag.Google Scholar

Freudenthal, H. (1973).

*Mathematics as an educational task*. Vol. 1. Stuttgart: Velcro.Google Scholar

v. Fritz, K. (1955). The ARCHAI in Greek Mathematics.

*Archive for conceptual history*,*1*, 13–103.Google Scholar

Gödel, K. (1940).

*The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory*. Princeton: Princeton University Press.Google Scholar

Hanna, G., & Jahnke, H. N. (2007). Proving and modeling. In W. Blum, P. L. Galbraith, H.-W. Henn & M. Niss (eds.),

*Applications and modeling in mathematics education, the 14th ICMI study*(Pp. 145-152). New York: Springer.Google Scholar

Hanna, G., de Villiers, M., Arzarello, F., Dreyfus, T., Durand-Guerrier, V., & Jahnke, H. N. (2012). ICMI study 19: proof and proving in mathematics education: discussion document. In G. Hanna & M. de Villiers (eds.),

*Proof and proving in mathematics education. The 19th ICMI Study*(Pp. 443-452). Dordrecht: Springer.Google Scholar

Harel, G. (2018a). The learning and teaching of linear algebra through the lenses of intellectual need and epistemological justification and their constituents. In S. Stewart, C. Andrews-Larson, A. Berman & M. Zandieh (Eds.),

*Challenges and strategies in teaching linear algebra*. Cham: Springer.Google Scholar

Harel, G. (2018b). Types of epistemological justifications, with particular reference to complex numbers. In A. Stylianides & G. Harel (Eds.),

*Advances in mathematics education research on proof and proving*. Cham: Springer.Google Scholar

Hilbert, D. (1918). Axiomatic thinking.

*Mathematical annals*,*78*, 405–415.Google Scholar

Hilbert, D. (1926). About the infinite.

*Mathematical annals*,*95*, 161–190.Google Scholar

Hilbert, D. (1930). Knowledge of nature and logic.

*Natural sciences*,*18*(47), 959–963.Google Scholar

Hilbert, D. (1919-20 / 1992).

*Nature and mathematical recognition (lecture from the winter semester 1919/20), ed. and with an introduction by D. E. Rowe.*Basel: Birkhäuser.Google Scholar

Hock, T. (2018).

*Axiomatic thinking and working in math class*. Dissertation. Aachen: RWTH Aachen.Google Scholar

Hock, T., Heitzer, J., & Schwank, I. (2016). Axiomatic thinking and working in math class.

*Journal for Mathematics Didactics*,*37*(1), 181–208.Google Scholar

Höffe, O. (1990). Introduction to the philosophy of science of the second analytics. In O. Höffe (ed.),

*Aristotle. Doctrine of proof or second analytics. Translated and annotated by Eugen Rolfes. With a new introduction and bibliography by Otfried Höffe*. Hamburg: Felix Meiner.Google Scholar

Isbell, J. (1966). Structure of categories.

*Bull. Amer. Math. Soc.*,*72*, 619–655.Google Scholar

Jahnke, H. N. (2009a). Hypotheses and their consequences. Another look at the angle sum sets.

*Practice math for school*,*51*(30), 26–30.Google Scholar

Jahnke, H. N. (2009b). The conjoint origin of proof and theoretical physics. In G. Hanna, H. N. Jahnke & H. Pulte (Eds.),

*Explanation and proof in mathematics. Philosophical and educational perspectives*(Pp. 17-32). New York: Springer.Google Scholar

Jahnke, H. N., & Ufer, S. (2015). Argue and Prove. In R. Bruder, L. Hefendehl-Hebeker, B. Schmidt-Thieme, & H.-G. Weigand (ed.),

*Handbook of mathematics didactics*(Pp. 331-355). Berlin, Heidelberg: Springer.Google Scholar

Jahnke, H. N., & Wambach, R. (2013). Understanding what a proof is: a classroom-based approach.

*ZDM — The International Journal on Mathematics Education*,*45*(3), 469–482.Google Scholar

Jech, T. (2003).

*Set theory. The Third Millennium edition, revised and expanded*. Berlin, Heidelberg: Springer.Google Scholar

Klein, F. (1911).

*Introduction to differential and integral calculus*. Göttingen: SUB. Lecture in the summer semester of 1911, Felix Klein estate, Cod. Ms. F. Klein 21 EGoogle Scholar

Kobiela, M., & Lehrer, R. (2015). The code development of mathematical concepts and the practice of defining.

*Journal for Research in Mathematics Education*,*46*(4), 423–454.Google Scholar

Kratz, J. (1973). Geometry in a gap plane.

*Didactics of mathematics*,*3*, 174–186.Google Scholar

Krömer, R. (2007).

*Tool and object. A history and philosophy of category theory*. Basel: Birkhäuser.Google Scholar

Lakatos, I. (1976).

*Proofs and refutations. The logic of mathematical discovery*. Cambridge: Cambridge University Press.Google Scholar

Lawvere, F. W. (1966). The category of categories as a foundation of mathematics. In S. Eilenberg (ed.),

*Proceedings of the Conference on Categorical Algebra (La Jolla, Calif., 1965)*(Pp. 1-21). New York: Springer.Google Scholar

Maddy, P. (1988a). Believing the axioms I.

*Journal for Symbolic Logic*,*53*(2), 481–511.Google Scholar

Maddy, P. (1988b). Believing the axioms II.

*Journal for Symbolic Logic*,*53*(3), 736–764.Google Scholar

Maddy, P. (2011).

*Defending the axioms. On the philosophical foundations of set theory*. Oxford: Oxford University Press.Google Scholar

Meyer, M. (2007), Discovering and Justifying in Mathematics Classes - On the Role of Abduction and the Argument.

*Journal for Mathematics Didactics*28(3/4):286–310.Google Scholar

Moore, G.H. (1982).

*Zermelo's axiom of choice*. Berlin: Springer.Google Scholar

Ortlieb, C.-P. (2004). Mathematical models and knowledge of nature.

*mathematica didactica*,*27*(1), 23–40.Google Scholar

Ouvrier-Buffet, C. (2006). Exploring mathematical definition construction processes.

*Educational Studies in Mathematics*,*63*, 259–282.Google Scholar

Ouvrier-Buffet, C. (2011). A mathematical experience involving defining processes: in-action definitions and zero-definitions.

*Educational Studies in Mathematics*,*76*(2), 165–182.Google Scholar

Pumplün, D. (1999).

*Elements of category theory*. Heidelberg, Berlin: spectrum academic publishing house.Google Scholar

De Risi, V. (2016). The development of Euclidean axiomatics.

*Archive for History of Exact Sciences*,*70*(6), 591–676.Google Scholar

Schmitz, M. (1997).

*Euclid's geometry and its mathematical theoretical foundation in the Neoplatonic philosophy of Proclus*. Würzburg: Königshausen & Neumann.Google Scholar

Schneider, I. (2016).

*Archimedes. Engineer, scientist, mathematician*(2nd ed.). Berlin, Heidelberg: Springer Spectrum.Google Scholar

Steck, M. (Ed.). (1945).

*Proclus Diadochus. Commentary on the first book of Euclid's "Elements"*. Halle: German Academy of Natural Scientists. Translated from Greek into German and provided with critical comments by P. Leander SchönbergerGoogle Scholar

Stegmüller, W. (1969).

*Metaphysics, skepticism, science*(2nd ed.). Berlin: Springer.Google Scholar

Steiner, H.-G. (1966). Mathematization and axiomatization of a political structure. An example of the axiomatic method in math lessons.

*The math class*,*12*(3), 66–86.Google Scholar

Szabó, Á. (1960). Beginnings of the Euclidean Axiom System.

*Archive for History of Exact Sciences*,*1*(1), 38–106.Google Scholar

Weber, K. (2002). Beyond proving and explaining: proofs that justify the use of definitions and axiomatic structures and proofs that illustrate technique.

*For the Learning of Mathematics*,*22*(3), 14–17.Google Scholar

Weber, K. (2014). Justification and proof in mathematics and mathematics education. In M. N. Fried & T. Dreyfus (Eds.),

*Mathematics & mathematics education: searching for common ground*(Pp. 237-245). Dordrecht: Springer.Google Scholar

Zandieh, M., & Rasmussen, C. (2010). Defining as a mathematical activity: a framework for characterizing progress from informal to more formal ways of reasoning.

*The Journal of Mathematical Behavior*,*29*(2), 57–75.Google Scholar

Zermelo, E. (1908). New evidence for the possibility of a well-ordered system

*Mathematical annals*,*65*, 107–128.Google Scholar

### further reading

Aubel, M. (2008).

*Algorism*. A mathematician in the age of humanism and the Reformation, vol. 72. Augsburg: Dr. Erwin Rauner Verlag.Google Scholar

Bauer, L. (2011). Mathematics, intuition, formalization: an investigation of students' ideas about 0, \ (\ overline {9} \).

*Journal for Mathematics Didactics*,*32*(1), 79–102.Google Scholar

Bauer, L., et al. (2005). Mental Representation of Irrational Numbers - An Analysis of Student Essays.

*Journal for Mathematics Didactics*,*26*(1), 3–27.Google Scholar

Needy, T. (2018). About the basic problem of limit values.

*Mathematical semester reports*,*65*(2), 277–298.Google Scholar

Boero, P. (2007).

*Theorems in school: from history, epistemology and cognition to classroom practice*. Rotterdam: Sense Publ.Google Scholar

Danckwerts, R., & Vogel, D. (2006).

*Teaching analysis in an understandable way*. Munich: Spectrum Academic Publishing House.Google Scholar

Ehrlich, P. (2006). The rise of non-archimedean mathematics and the roots of a misconception I: the emergence of non-archimedean systems of magnitudes.

*Archive for History of Exact Sciences*,*60*(1), 1–121.Google Scholar

Einstein, A. (1921).

*Geometry and experience*. Meeting reports of the Prussian Academy of Sciences (1st half volume). (Pp. 123-130).Google Scholar

Hausdorff, F. (1914).

*Basics of set theory*. Leipzig: Veit & Co.Google Scholar

Hefendehl-Hebeker, L. (1989). The negative numbers between clear interpretation and conceptual construction. Spiritual obstacles in their history.

*Teach math*,*35*, 6–12.Google Scholar

Hefendehl-Hebeker, L., & Schwank, I. (2015). Arithmetic: the main idea is number. In R. Bruder, L. Hefendehl-Hebeker, B. Schmidt-Thieme & H. G. Weigand (eds.),

*Handbook of mathematics didactics*(Pp. 77-115). Berlin, Heidelberg: Springer Spectrum.Google Scholar

Jahnke, H. N. (2003). Numbers absurd infra nihil. The negative numbers.

*teach math*,*121*, 21–22; 36–40.Google Scholar

Jörgens, T., et al. (2008).

*Lambacher Schweizer 8, mathematics for high schools, North Rhine-Westphalia*(1st ed.). Stuttgart: Velcro.Google Scholar

Jörgens, T., et al. (2009a).

*Lambacher Schweizer 5, mathematics for high schools, North Rhine-Westphalia*(1st ed.). Stuttgart: Velcro.Google Scholar

Jörgens, T., et al. (2009b).

*Lambacher Schweizer 6, mathematics for high schools, North Rhine-Westphalia*(1st ed.). Stuttgart: Velcro.Google Scholar

Klein, F. (1925).

*Elementary mathematics from a higher point of view II: Geometry*(3rd ed.). Berlin: Springer.Google Scholar

Klein, F. (1928).

*Elementary mathematics from a higher point of view III: Precision and approximation mathematics*(3rd ed.). Berlin: Springer.Google Scholar

Kuhlemann, K. (2016). Non-standard in elementary analysis - toad or frog prince?

*Siegener contributions to the history and philosophy of mathematics*,*7*, 1–27.Google Scholar

Malle, G. (1989). The emergence of negative numbers as separate objects of thought.

*teach math*,*35*, 14–17.Google Scholar

Meyer, M. (2006).

*Discover and explain in math class. From abduction to argument*. Hildesheim: Franzbecker.Google Scholar

Müller-Hill, E., & Wille, A. (2018). Negotiating mathematical meaning with oneself — snapshots from imaginary dialogues on recurring decimals. In E. Norén, H. Palmér & A. Cooke (Eds.),

*Nordic Research in Mathematics Education*. Papers of NORMA 17. Gothenburg: SMDF.Google Scholar

Schmid, A., & Weidig, I. (1998).

*Lambacher Schweizer 7, mathematical teaching work for high school North Rhine-Westphalia edition*(1st ed.). Stuttgart: Velcro.Google Scholar

Tall, D.O. (1977a).

*Cognitive conflict and the learning of mathematics, paper presented to the International Group for the Psychology of Mathematics Education*. Utrecht: Holland.Google Scholar

Tall, D., & Vinner, S. (1981). Concept image and concept definition in mathematics with particular reference to limits and continuity.

*Educational Studies in Mathematics*,*12*, 151–169.Google Scholar

Tropfke, J. (1980).

*History of Elementary Mathematics, Vol. 1, Arithmetic and Algebra*(4th ed.). Berlin, New York: De Gruyter.Google Scholar

Walcher, S., & Wittmann, E. C. (2012). "Minus times minus". On the foundation of the COACTIV study.

*Mathematics and science lessons*,*65*(6), 371–377.Google Scholar

Wille, A. (2017)."And at some point in the infinite you will meet the 1" student conception of 0, \ (\ overline {9} \). In U. Kortenkamp & A. Kuzle (eds.),

*Contributions to mathematics classes 2017*(Pp. 1033-1036). Münster: WTM.Google Scholar

Download references

### Author information

### Affiliations

Faculty of Mathematics, University of Duisburg-Essen, Thea-Leymann-Str. 9, 45127, Essen, Germany

Hans Niels Jahnke

Faculty of Mathematics and Natural Sciences, Working Group Didactics and History of Mathematics, Bergische Universität Wuppertal, Gaußstraße 20, 42119, Wuppertal, Germany

Ralf Krömer

### Corresponding author

Correspondence to Hans Niels Jahnke.

### Caption Electronic Supplementary Material

### 13138_2019_157_MOESM1_ESM.pdf

Sketch of two teaching examples for the essay “Justification in Mathematics and Mathematics Lessons” by Hans Niels Jahnke and Ralf Krömer

- How does false hope harm a person?
- How is raw cashew processed
- How can you improve yourself in abstract painting
- How can I treat phlegm and colds
- How important is bioinformatics for drug development
- How tired are you, what's going on here
- Did you rightly try to quit Facebook?
- Richard Feynman swore
- How can I lead my life struggle
- What is the Gilt Securities Fund

- Why do empaths hate being alone
- Is SLI useful on GPUs for AI
- Help China DPRK with nuclear technology
- How is IoT-Based Smart Agriculture Helpful
- What is a good entry-level programmable telescope
- Can L-Tyrosine Increase Focus
- How has mathematics changed the world
- How do I get my childhood back?
- Who actually creates economic value
- What makes comets icy
- Do Special Forces NCO S.
- What is a carillon
- Has Elysium clinical trials
- Can leopards be domesticated?
- What is the Southeast Asian haze
- Donald Trump drinks beer
- What is OEM Unlock
- How do Mormons find their partners
- What characteristics define narrative fiction
- What's your favorite vegetarian burger for a lifetime
- What is meant by processing signal
- How does geography affect Australia's military defense
- What is confidence in a nursing profession
- Why is Iran interested in Palestine?