Recommendations
Cites work
- scientific article; zbMATH DE number 3871271 (Why is no real title available?)
- scientific article; zbMATH DE number 3877256 (Why is no real title available?)
- scientific article; zbMATH DE number 4072439 (Why is no real title available?)
- scientific article; zbMATH DE number 3657869 (Why is no real title available?)
- scientific article; zbMATH DE number 47698 (Why is no real title available?)
- scientific article; zbMATH DE number 1194925 (Why is no real title available?)
- scientific article; zbMATH DE number 1322562 (Why is no real title available?)
- scientific article; zbMATH DE number 1092357 (Why is no real title available?)
- scientific article; zbMATH DE number 2003161 (Why is no real title available?)
- scientific article; zbMATH DE number 742869 (Why is no real title available?)
- scientific article; zbMATH DE number 1452559 (Why is no real title available?)
- scientific article; zbMATH DE number 6745042 (Why is no real title available?)
- A One-Sentence Proof That Every Prime p≡1(\mod 4) Is a Sum of Two Squares
- Constructivism in mathematics. An introduction. Volume I
- Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
- Handbook of proof theory
- Interpreting classical theories in constructive ones
- Isabelle/HOL. A proof assistant for higher-order logic
- Labyrinth of thought. A history of set theory and its role in modern mathematics
- Mathematical explanation: problems and prospects.
- Mathematical ideas, ideals, and ideology
- Modern algebra and the rise of mathematical structures
- Note on the generalization of calculations
- On equivalents of well-foundedness. An experiment in MIZAR
- Some logical metatheorems with applications in functional analysis
- The Varieties of Mathematical Explanation
- The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
- The genesis of ideal theory
- The nineteenth-century revolution in mathematical ontology
Cited in
(20)- Discussing Hilbert's 24th problem
- Challenging epistemology: Interactive proofs and zero knowledge
- Explanation in mathematical conversations: an empirical investigation
- The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression
- scientific article; zbMATH DE number 2113551 (Why is no real title available?)
- MATHEMATICAL RIGOR AND PROOF
- Using values and norms to explain the rationality of rejecting probabilistic proofs
- Informal proofs and mathematical rigour
- Mathematical inference and logical inference
- Unificatory understanding and explanatory proofs
- Plans and planning in mathematical proofs
- scientific article; zbMATH DE number 1795747 (Why is no real title available?)
- 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
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)
