scientific article; zbMATH DE number 1093813

zbMath0978.03500MaRDI QIDQ4367940

Hao Wang

Publication date: 3 December 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

Related Items

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ Variants of Gödel's ontological proof in a natural deduction calculus ⋮ Gödel on deduction ⋮ What is the Church-Turing Thesis? ⋮ Unnamed Item ⋮ Is complexity a source of incompleteness? ⋮ Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel’s Incompleteness Theorems ⋮ Gödel on Tarski ⋮ Husserlian Pure Logic from the Standpoint of Intentionality ⋮ Proving Theorems from Reflection ⋮ Obtaining Woodin’s cardinals ⋮ Set-theoretic reflection is equivalent to induction over well-founded classes ⋮ All Quantifiers Versus the Quantifier All ⋮ Chateaubriand's realist conception of logic ⋮ Absolute Infinity in Class Theory and in Theology ⋮ Parikh and Wittgenstein ⋮ Proving Things About the Informal ⋮ Multiverse Conceptions in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ On reflection principles ⋮ Multiverse conceptions in set theory ⋮ Gödel's philosophical program and Husserl's phenomenology ⋮ Introduction: Inferences and proofs ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ On causality as the fundamental concept of Gödel's philosophy ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ Gödel and Intuitionism ⋮ Hintikka and the functions of logic ⋮ KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES ⋮ Logical Foundations and Kant's Principles of Formal Logic ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF