Theorems as Constructive Visions
From MaRDI portal
Publication:2915840
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
mathematical logic; proof principles; construction principles; arithmetic induction; foundation of mathematical concepts; foundation of mathematical proofs; incompleteness proofs; prototype proofs
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