Theorems as Constructive Visions

DOI10.1007/978-94-007-2129-6_3zbMath1247.97002MaRDI QIDQ2915840

No author found.

Publication date: 19 September 2012

Published in: New ICMI Study Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-2129-6_3

zbMATH Keywords

mathematical logic; proof principles; construction principles; arithmetic induction; foundation of mathematical concepts; foundation of mathematical proofs; incompleteness proofs; prototype proofs

Mathematics Subject Classification ID

97A30: History in mathematics education

97E50: Reasoning and proving in the mathematics classroom

97E40: Language of mathematics (educational aspects)

Cites Work

• Mathematical intuition and the cognitive roots of mathematical concepts
• Harvey Friedman's research on the foundations of mathematics
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• Proof-theoretic investigations on Kruskal's theorem
• Geometry and generality in Frege's philosophy of arithmetic.
• Locus Solum: From the rules of logic to the logic of rules
• Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics
• The chemical basis of morphogenesis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item