scientific article
From MaRDI portal
Publication:3216621
zbMath0554.03002MaRDI QIDQ3216621
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Frege's double correlation thesis and Quine's set theories NF and ML ⋮ Identical particles and the simplicial category ⋮ Gödel on deduction ⋮ What is the Church-Turing Thesis? ⋮ Where do sets come from? ⋮ Second-order languages and mathematical practice ⋮ Gödel on Tarski ⋮ Platonism and Mathematical Intuition in Kurt Gödel's Thought ⋮ The iterative conception of set. A (bi-)modal axiomatisation ⋮ The objectivity of mathematics ⋮ On mind \& Turing's machines ⋮ Maddy On The Multiverse ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ An approach to the constructivization of Cantor's set theory ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann. ⋮ Foundational implications of the inner model hypothesis ⋮ Broadening the iterative conception of set ⋮ Zermelo and Set Theory ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ In Memoriam: Hao Wang 1921–1995 ⋮ On a complexity-based way of constructivizing the recursive functions ⋮ In Praise of Replacement ⋮ The modal argument for hypercomputing minds ⋮ Set theoretic naturalism ⋮ Parikh and Wittgenstein ⋮ Proving Things About the Informal ⋮ Multiverse Conceptions in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Gödel’s Cantorianism ⋮ Consistency, mechanicalness, and the logic of the mind ⋮ Book review of: K. Gödel, Collected works. Vol. IV: Correspondence, A--G; Collected works. Vol. V: Correspondence, H--Z ⋮ Multiverse conceptions in set theory ⋮ On the Philosophical Development of Kurt Gödel ⋮ Cut as Consequence ⋮ Logic, ontology, mathematical practice ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ Penrose's new argument ⋮ A new Gödelian argument for hypercomputing minds based on the busy beaver problem ⋮ Zermelo and Set Theory ⋮ Gödel's Program Revisited Part I: The Turn to Phenomenology ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ Naturalness in Mathematics ⋮ Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Gödelian Inferences ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ An axiom schema of comprehension of zermelo–fraenkel–skolem set theory ⋮ Time in philosophy and in physics: from Kant and Einstein to Gödel. ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961) ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s ⋮ Gödel and Intuitionism ⋮ Hintikka and the functions of logic ⋮ Logic of paradox revisited ⋮ Incompleteness, Mechanism, and Optimism ⋮ The compactness of first-order logic:from gödel to lindström
