Pages that link to "Item:Q5426521"

The following pages link to A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices (Q5426521):

Displayed 21 items.

• And so on \dots : reasoning with infinite diagrams (Q375286) ‎ (← links)
• Objects and processes in mathematical practice (Q429823) ‎ (← 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)
• Non-deterministic logic of informal provability has no finite characterization (Q2071578) ‎ (← links)
• Why do informal proofs conform to formal norms? (Q2271071) ‎ (← links)
• Cognitive artifacts for geometric reasoning (Q2289702) ‎ (← links)
• Reliability of mathematical inference (Q2695405) ‎ (← links)
• INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) ‎ (← links)
• Checking Proofs (Q2950035) ‎ (← links)
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) ‎ (← links)
• Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) ‎ (← links)
• RIGOUR AND PROOF (Q6041347) ‎ (← links)
• Formal and Natural Proof: A Phenomenological Approach (Q6075432) ‎ (← links)
• Does Mathematics Need Foundations? (Q6075435) ‎ (← links)
• How to Frame a Mathematician (Q6075438) ‎ (← 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)