Mathematical method and proof
From MaRDI portal
Publication:857692
DOI10.1007/s11229-005-4064-5zbMath1116.03012OpenAlexW2044402378MaRDI QIDQ857692
Publication date: 20 December 2006
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://figshare.com/articles/journal_contribution/Mathematical_Method_and_Proof/6492206
Philosophy of mathematics (00A30) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Methodology of mathematics (00A35)
Related Items
Unificatory understanding and explanatory proofs ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ Informal proofs and mathematical rigour ⋮ Checking Proofs ⋮ A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving ⋮ Reliability of mathematical inference ⋮ The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression ⋮ Challenging epistemology: Interactive proofs and zero knowledge ⋮ Discussing Hilbert's 24th problem ⋮ Explanation in mathematical conversations: an empirical investigation ⋮ Settings and misunderstandings in mathematics ⋮ MODULARITY IN MATHEMATICS ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS
Uses Software
Cites Work
- The genesis of ideal theory
- Constructivism in mathematics. An introduction. Volume I
- Mathematical ideas, ideals, and ideology
- Handbook of proof theory
- Labyrinth of thought. A history of set theory and its role in modern mathematics
- The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
- Isabelle/HOL. A proof assistant for higher-order logic
- Modern algebra and the rise of mathematical structures
- Note on the generalization of calculations
- On equivalents of well-foundedness. An experiment in MIZAR
- Interpreting classical theories in constructive ones
- A One-Sentence Proof That Every Prime p≡1(\mod 4) Is a Sum of Two Squares
- Some logical metatheorems with applications in functional analysis
- Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
- The Varieties of Mathematical Explanation
- Mathematical explanation: problems and prospects.
- 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