scientific article; zbMATH DE number 1093813
From MaRDI portal
Publication:4367940
zbMATH Open0978.03500MaRDI QIDQ4367940FDOQ4367940
Authors: Hao Wang 
Publication date: 3 December 1997
Title of this publication is not available (Why is that?)
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
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)
Cited In (40)
- 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
- Proving Theorems from Reflection
- Hintikka and the functions of logic
- Gödel on deduction
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- Variants of Gödel's ontological proof in a natural deduction calculus
- Kurt Gödel and the logic of concepts
- Hao Wang: logician and philosopher
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Proving Things About the Informal
- Parikh and Wittgenstein
- Title not available (Why is that?)
- Set-theoretic reflection is equivalent to induction over well-founded classes
- Title not available (Why is that?)
- Gödel's philosophical program and Husserl's phenomenology
- Husserlian Pure Logic from the Standpoint of Intentionality
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- 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
- Title not available (Why is that?)
- Gödel on Tarski
- Explaining maximality through the hyperuniverse programme
- Title not available (Why is that?)
- 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
- Logical Foundations and Kant's Principles of Formal Logic
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)
