Pages that link to "Item:Q4662815"

The following pages link to The Derivation-Indicator View of Mathematical Practice (Q4662815):

Displaying 26 items.

• And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
• Confronting ideals of proof with the ways of proving of the research mathematician (Q603906) (← links)
• Proofs, pictures, and Euclid (Q707897) (← links)
• From Euclidean geometry to knots and nets (Q2053353) (← links)
• Acceptable gaps in mathematical proofs (Q2053999) (← links)
• Why do informal proofs conform to formal norms? (Q2271071) (← links)
• Towards a theory of mathematical argument (Q2271081) (← links)
• Mathematics and argumentation (Q2271083) (← links)
• Is there a ``Hilbert thesis''? (Q2631647) (← links)
• Reliability of mathematical inference (Q2695405) (← links)
• INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)
• The Need for Proof and Proving: Mathematical and Pedagogical Perspectives (Q2915858) (← links)
• Checking Proofs (Q2950035) (← links)
• Towards a Theory of Mathematical Argument (Q2950041) (← links)
• The Parallel Structure of Mathematical Reasoning (Q2950044) (← links)
• ANTI-NOMINALISM RECONSIDERED (Q3499797) (← links)
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← 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)
• Introduction (Q5892213) (← links)
• RIGOUR AND PROOF (Q6041347) (← links)
• Audience role in mathematical proof development (Q6182763) (← links)
• The role of syntactic representations in set theory (Q6182768) (← links)
• Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society (Q6182827) (← links)
• Reconciling \textit{Rigor and intuition} (Q6651278) (← links)