scientific article; zbMATH DE number 1093813
From MaRDI portal
Publication:4367940
Philosophy of mathematics (00A30) 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) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)
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
(52)- Gödel I. Based on a symposium on Gödel's general philosophical significance, Boston, MA, USA, February 6--7, 1995
- On causality as the fundamental concept of Gödel's philosophy
- Introduction: Inferences and proofs
- Informal and absolute proofs: some remarks from a Gödelian perspective
- Hintikka and the functions of logic
- Variants of Gödel's ontological proof in a natural deduction calculus
- Is complexity a source of incompleteness?
- Gödel on deduction
- After Gödel. Platonism and rationalism in mathematics and logic
- Is human mind fully algorithmic? Remarks on Kurt Gödel's incompleteness theorems
- scientific article; zbMATH DE number 3882395 (Why is no real title available?)
- Absolute Infinity in Class Theory and in Theology
- Parikh and Wittgenstein
- scientific article; zbMATH DE number 7228881 (Why is no real title available?)
- Multiverse conceptions in set theory
- Explaining maximality through the hyperuniverse programme
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- scientific article; zbMATH DE number 4021069 (Why is no real title available?)
- Meanings in Ordinary Language and in Mathematics
- scientific article; zbMATH DE number 1943800 (Why is no real title available?)
- All Quantifiers Versus the Quantifier All
- Proving Things About the Informal
- Hao Wang: logician and philosopher
- Kurt Gödel on logical, theological, and physical antinomies
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- What is the Church-Turing Thesis?
- Multiverse conceptions in set theory
- Set-theoretic reflection is equivalent to induction over well-founded classes
- Gödel and intuitionism
- Obtaining Woodin's cardinals
- Logical Foundations and Kant's Principles of Formal Logic
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- The search for new axioms in the hyperuniverse programme
- The search for new axioms in the hyperuniverse programme
- On reflection principles
- Gödel on Tarski
- Husserlian Pure Logic from the Standpoint of Intentionality
- Proving Theorems from Reflection
- Kurt Gödel and the logic of concepts
- Chateaubriand's realist conception of logic
- John von Neumann’s Discovery of the 2ndIncompleteness Theorem
- Wittgenstein and the liar
- Does reason have limits? Review Essay: Stephen Budiansky, Journey to the edge of reason: the life of Kurt Gödel
- An epistemological view of the Peano school axiomatics
- Deduction at the crossroads
- Gödel's absolute proofs and Girard's ludics: mutual insights
- Gödel, Carnap and the Fregean heritage
- Truth in Russell, early Wittgenstein and Gödel
- Maximality principles in the hyperuniverse programme
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- What is intuitionistic arithmetic?
- Gödel's philosophical program and Husserl's phenomenology
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)
