Theorems as constructive visions

DOI10.1007/978-94-007-2129-6_3MaRDI QIDQ2915840zbMATH OpenOpenAlexFDO

Authors Giuseppe Longo

Publication date 19 September 2012

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• The phenomenology of mathematical proof
• Searching for proofs (and uncovering capacities of the mathematical mind)
• Reshaping the metaphor of proof
• scientific article; zbMATH DE number 5000989
• Mathematical intuition and the cognitive roots of mathematical concepts

Cites work

• scientific article; zbMATH DE number 5382519 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1201581 (Why is no real title available?)
• scientific article; zbMATH DE number 1468963 (Why is no real title available?)
• scientific article; zbMATH DE number 215190 (Why is no real title available?)
• scientific article; zbMATH DE number 756463 (Why is no real title available?)
• scientific article; zbMATH DE number 803264 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 936297 (Why is no real title available?)
• scientific article; zbMATH DE number 3200657 (Why is no real title available?)
• scientific article; zbMATH DE number 3051296 (Why is no real title available?)
• scientific article; zbMATH DE number 3071015 (Why is no real title available?)
• Fundamental concepts in computer science
• Geometry and generality in Frege's philosophy of arithmetic.
• Harvey Friedman's research on the foundations of mathematics
• Locus solum: From the rules of logic to the logic of rules.
• Mathematical intuition and the cognitive roots of mathematical concepts
• Phenomenology of incompleteness: From formal deductions to mathematics and physics
• Proof-theoretic investigations on Kruskal's theorem
• The chemical basis of morphogenesis
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory

Cited in

(3)

• scientific article; zbMATH DE number 4029501 (Why is no real title available?)
• Searching for proofs (and uncovering capacities of the mathematical mind)
• A role for representation theorems

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)