scientific article; zbMATH DE number 1273299
From MaRDI portal
Publication:4237309
zbMath0918.01044MaRDI QIDQ4237309
Publication date: 6 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)
Related Items
Proof Theory in Philosophy of Mathematics, Representations and the foundations of mathematics, Why Predicative Sets?, Math-Selfie, From realizability to induction via dependent intersection, The challenge of computer mathematics, And so on \dots : reasoning with infinite diagrams, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, IN MEMORIAM: SOLOMON FEFERMAN (1928–2016), POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, Classical predicative logic-enriched type theories, Hilbert's objectivity, The Operational Perspective: Three Routes, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, The mathematical universe, Is mathematics problem solving or theorem proving?, Continuum, name and paradox, The Operational Penumbra: Some Ontological Aspects, Predicativity and Feferman, Feferman on Set Theory: Infinity up on Trial, Feferman’s Skepticism About Set Theory, WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER, On the mathematical and foundational significance of the uncountable, Truth and the philosophy of mathematics, On Takeuti's early view of the concept of set, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
