scientific article
From MaRDI portal
Publication:3101071
zbMath1261.03035MaRDI QIDQ3101071
Publication date: 22 November 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Closure of a priori knowability under a priori knowable material implication, Informal proofs and mathematical rigour, And so on \dots : reasoning with infinite diagrams, The paradox of the knower revisited, RIGOUR AND PROOF, The material reasoning of folding paper, Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society, Modal-epistemic arithmetic and the problem of quantifying in, Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950, Montague's paradox, informal provability, and explicit modal logic, The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs, Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics, From Euclidean geometry to knots and nets, Non-deterministic logic of informal provability has no finite characterization
