The following pages link to Why Do We Prove Theorems? (Q4237642):
Displaying 45 items.
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- How to think about informal proofs (Q383052) (← links)
- Objects and processes in mathematical practice (Q429823) (← links)
- Informal proofs and mathematical rigour (Q603900) (← links)
- Proofs, pictures, and Euclid (Q707897) (← links)
- Pi on earth, or mathematics in the real world (Q948981) (← links)
- Despite physicists, proof is essential in mathematics (Q1297034) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Acceptable gaps in mathematical proofs (Q2053999) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Unificatory understanding and explanatory proofs (Q2152391) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- Towards a theory of mathematical argument (Q2271081) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Euler's Königsberg: the explanatory power of mathematics (Q2289705) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Who proved Haag's theorem? (Q2498966) (← links)
- Epistemic injustice in mathematics (Q2690220) (← links)
- Do mathematical explanations have instrumental value? (Q2693122) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Mathematical engineering and mathematical change<sup>1</sup> (Q2713289) (← links)
- Informal proof, formal proof, formalism (Q2804472) (← links)
- Cognitive Development of Proof (Q2915839) (← links)
- Conceptions of Proof – In Research and Teaching (Q2915851) (← links)
- The Need for Proof and Proving: Mathematical and Pedagogical Perspectives (Q2915858) (← links)
- Contemporary Proofs for Mathematics Education (Q2915859) (← links)
- Arguing Around Mathematical Proofs (Q2950031) (← links)
- Towards a Theory of Mathematical Argument (Q2950041) (← links)
- Mathematical Arguments and Distributed Knowledge (Q2950043) (← links)
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 (Q3389718) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- (Q4824966) (← links)
- The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) (← links)
- Paraconsistent Computation and Dialetheic Machines (Q5213766) (← links)
- Theory of Quantum Computation and Philosophy of Mathematics. Part II (Q5215501) (← links)
- MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM (Q5221288) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- The role of testimony in mathematics (Q6142439) (← links)
- Mathematicians writing for mathematicians (Q6182762) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)
- Rigour and intuition (Q6651277) (← links)
- Reconciling \textit{Rigor and intuition} (Q6651278) (← links)
