Pages that link to "Item:Q603900"
From MaRDI portal
The following pages link to Informal proofs and mathematical rigour (Q603900):
Displaying 11 items.
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Informal and absolute proofs: some remarks from a Gödelian perspective (Q2288278) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics (Q5213764) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- Audience role in mathematical proof development (Q6182763) (← links)
