Pages that link to "Item:Q603900"
From MaRDI portal
The following pages link to Informal proofs and mathematical rigour (Q603900):
Displaying 20 items.
- How to think about informal proofs (Q383052) (← links)
- Open texture and mathematics (Q1982002) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← 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)
- A Problem with the Dependence of Informal Proofs on Formal Proofs (Q2965627) (← links)
- Formalizability and Knowledge Ascriptions in Mathematical Practice (Q3081768) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- (Q4364503) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- Proving Things About the Informal (Q4637225) (← 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)
- Rigour and intuition (Q6651277) (← links)