Mathematical method and proof

DOI10.1007/s11229-005-4064-5zbMath1116.03012OpenAlexW2044402378MaRDI QIDQ857692

Jeremy Avigad

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

zbMATH Keywords

ProofMethodTactics

Mathematics Subject Classification ID

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

• Isabelle/HOL
• Isabelle/Isar
• Isar

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