scientific article; zbMATH DE number 1093813
From MaRDI portal
Publication:4367940
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)
Recommendations
- scientific article; zbMATH DE number 3291106
- Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
- scientific article; zbMATH DE number 1748963
- Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem
- scientific article; zbMATH DE number 1865682
- scientific article; zbMATH DE number 1532738
- From arithmetic to metaphysics. A path through philosophical logic. In honor of Sergio Galvan
- scientific article; zbMATH DE number 5859771
- The Gödel Editorial Project: A Synopsis
- Toward the philosophy of mathematics. Logicism, intuitionism, finitism, and Gödel's incompleteness theorems. Translated from the English by Deborah Kant and Thomas Bedürftig
Cited in
(40)- Logical Foundations and Kant's Principles of Formal Logic
- What is the Church-Turing Thesis?
- The search for new axioms in the hyperuniverse programme
- The search for new axioms in the hyperuniverse programme
- All Quantifiers Versus the Quantifier All
- Hintikka and the functions of logic
- Proving Theorems from Reflection
- Gödel on deduction
- Variants of Gödel's ontological proof in a natural deduction calculus
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- Hao Wang: logician and philosopher
- Kurt Gödel and the logic of concepts
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Proving Things About the Informal
- Parikh and Wittgenstein
- scientific article; zbMATH DE number 3882395 (Why is no real title available?)
- Set-theoretic reflection is equivalent to induction over well-founded classes
- scientific article; zbMATH DE number 4021069 (Why is no real title available?)
- Gödel's philosophical program and Husserl's phenomenology
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- Husserlian Pure Logic from the Standpoint of Intentionality
- After Gödel. Platonism and rationalism in mathematics and logic
- Gödel and intuitionism
- Informal and absolute proofs: some remarks from a Gödelian perspective
- On causality as the fundamental concept of Gödel's philosophy
- Is human mind fully algorithmic? Remarks on Kurt Gödel's incompleteness theorems
- Multiverse conceptions in set theory
- Gödel on Tarski
- scientific article; zbMATH DE number 1943800 (Why is no real title available?)
- Explaining maximality through the hyperuniverse programme
- scientific article; zbMATH DE number 7228881 (Why is no real title available?)
- Introduction: Inferences and proofs
- John von Neumann’s Discovery of the 2ndIncompleteness Theorem
- Absolute Infinity in Class Theory and in Theology
- Is complexity a source of incompleteness?
- Chateaubriand's realist conception of logic
- Multiverse conceptions in set theory
- Kurt Gödel on logical, theological, and physical antinomies
- On reflection principles
- Obtaining Woodin's cardinals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4367940)
