The following pages link to (Q3101071):
Displayed 14 items.
- Closure of a priori knowability under a priori knowable material implication (Q320484) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- Informal proofs and mathematical rigour (Q603900) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) (← links)
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 (Q5378563) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- The material reasoning of folding paper (Q6182766) (← links)
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society (Q6182827) (← links)