Pages that link to "Item:Q5426521"
From MaRDI portal
The following pages link to A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices (Q5426521):
Displaying 18 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)
- The role of testimony in mathematics (Q6142439) (← links)
- Mathematicians writing for mathematicians (Q6182762) (← links)
- The role of syntactic representations in set theory (Q6182768) (← links)
