Pages that link to "Item:Q2804472"
From MaRDI portal
The following pages link to Informal proof, formal proof, formalism (Q2804472):
Displaying 12 items.
- Informal versus formal mathematics (Q885512) (← links)
- Proof versus formalization (Q1343048) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- A Problem with the Dependence of Informal Proofs on Formal Proofs (Q2965627) (← links)
- Why Do We Believe Theorems? (Q3182719) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Types for Proofs and Programs (Q5712318) (← links)
- RIGOUR AND PROOF (Q6041347) (← links)
- Rigour and intuition (Q6651277) (← links)