Mathematical method and proof
From MaRDI portal
Publication:857692
DOI10.1007/S11229-005-4064-5zbMATH Open1116.03012OpenAlexW2044402378MaRDI QIDQ857692FDOQ857692
Authors: 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
Recommendations
Methodology of mathematics (00A35) Philosophy of mathematics (00A30) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Handbook of proof theory
- Isabelle/HOL. A proof assistant for higher-order logic
- Title not available (Why is that?)
- Some logical metatheorems with applications in functional analysis
- A One-Sentence Proof That Every Prime p≡1(\mod 4) Is a Sum of Two Squares
- Interpreting classical theories in constructive ones
- On equivalents of well-foundedness. An experiment in MIZAR
- Title not available (Why is that?)
- Labyrinth of thought. A history of set theory and its role in modern mathematics
- 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?)
- Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
- Modern algebra and the rise of mathematical structures
- Title not available (Why is that?)
- The genesis of ideal theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical ideas, ideals, and ideology
- The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
- Note on the generalization of calculations
- The nineteenth-century revolution in mathematical ontology
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Varieties of Mathematical Explanation
- Mathematical explanation: problems and prospects.
Cited In (20)
- Discussing Hilbert's 24th problem
- Challenging epistemology: Interactive proofs and zero knowledge
- Explanation in mathematical conversations: an empirical investigation
- Title not available (Why is that?)
- The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression
- MATHEMATICAL RIGOR AND PROOF
- Using values and norms to explain the rationality of rejecting probabilistic proofs
- Mathematical inference and logical inference
- Informal proofs and mathematical rigour
- Plans and planning in mathematical proofs
- Unificatory understanding and explanatory proofs
- Title not available (Why is that?)
- Settings and misunderstandings in mathematics
- Proof and the virtues of shared enquiry
- Modularity in mathematics
- Audience role in mathematical proof development
- Checking proofs
- A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving
- Reliability of mathematical inference
- Implementation of proof schemes in the method of invariant transformations
Uses Software
This page was built for publication: Mathematical method and proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857692)
