Theorems as constructive visions
DOI10.1007/978-94-007-2129-6_3zbMATH Open1247.97002OpenAlexW1182382MaRDI QIDQ2915840FDOQ2915840
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
Recommendations
mathematical logicproof principlesconstruction principlesarithmetic inductionfoundation of mathematical conceptsfoundation of mathematical proofsincompleteness proofsprototype proofs
History in mathematics education (97A30) Reasoning and proving in the mathematics classroom (97E50) Language of mathematics (educational aspects) (97E40)
Cites Work
- The chemical basis of morphogenesis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Locus solum: From the rules of logic to the logic of rules.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Harvey Friedman's research on the foundations of mathematics
- Proof-theoretic investigations on Kruskal's theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fundamental concepts in computer science
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Geometry and generality in Frege's philosophy of arithmetic.
- Title not available (Why is that?)
- Mathematical intuition and the cognitive roots of mathematical concepts
- Title not available (Why is that?)
- Phenomenology of incompleteness: From formal deductions to mathematics and physics
Cited In (1)
This page was built for publication: Theorems as constructive visions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915840)
