Theorems as Constructive Visions

DOI10.1007/978-94-007-2129-6_3zbMath1247.97002OpenAlexW1182382MaRDI 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 logicproof principlesconstruction principlesarithmetic inductionfoundation of mathematical conceptsfoundation of mathematical proofsincompleteness proofsprototype proofs

Mathematics Subject Classification ID

History in mathematics education (97A30) Reasoning and proving in the mathematics classroom (97E50) Language of mathematics (educational aspects) (97E40)

Cites Work

• 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
• 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

This page was built for publication: Theorems as Constructive Visions