Gödel's Program Revisited Part I: The Turn to Phenomenology

DOI10.2178/bsl/1164056807zbMath1126.03010OpenAlexW1990801639MaRDI QIDQ5754717

Kai Hauser

Publication date: 23 August 2007

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1164056807

zbMATH Keywords

axiomatizationphenomenologycontinuum problemGödel's program

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Gödel’s Cantorianism ⋮ Gödel and Set Theory ⋮ Gödel's philosophical program and Husserl's phenomenology

Cites Work

• Unnamed Item
• Descriptive set theory
• Finite functions and the necessary use of large cardinals
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Measurable cardinals and the continuum hypothesis
• Axiom schemata of strong infinity in axiomatic set theory
• Does Mathematics Need New Axioms?
• Elementary embeddings and infinitary combinatorics
• What did Gödel Believe and When did He believe It?
• Gödel's Conceptual Realism
• Indescribable cardinals and elementary embeddings
• Platonism and Mathematical Intuition in Kurt Gödel's Thought
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• What is Cantor's Continuum Problem?
• Does Mathematics Need New Axioms?
• Objectivity over objects: A case study in theory formation

This page was built for publication: Gödel's Program Revisited Part I: The Turn to Phenomenology