The following pages link to (Q5200692):
Displaying 12 items.
- Informal proofs and mathematical rigour (Q603900) (← links)
- The emergence of reasons conjecture. (Q1427348) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- Towards a theory of mathematical argument (Q2271081) (← links)
- Inconsistency in natural languages (Q2443339) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Informal proof, formal proof, formalism (Q2804472) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- Towards a Theory of Mathematical Argument (Q2950041) (← links)
- Degrees of Validity and the Logical Paradoxes (Q3295790) (← links)
- Tracking reasons with extensions of relevant logics (Q5014055) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)