scientific article; zbMATH DE number 4021069
From MaRDI portal
Publication:3764099
zbMATH Open0628.01022MaRDI QIDQ3764099FDOQ3764099
Authors: Hao Wang
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)
Cited In (39)
- What is the Church-Turing Thesis?
- Title not available (Why is that?)
- Stanley Tennenbaum's Socrates
- Title not available (Why is that?)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Title not available (Why is that?)
- Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
- Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
- Gödel's mathematics of philosophy
- The logic of instance ontology
- Gödel’s Cantorianism
- Gödel's philosophical program and Husserl's phenomenology
- Gödel, Leibniz and ``Russell's mathematical logic
- Gödel and intuitionism
- Second thoughts around some of Gödel's writings: A non-academic option
- In search of relativistic time
- RUSSELL AND GÖDEL
- On causality as the fundamental concept of Gödel's philosophy
- The objectivity of mathematics
- Strong axioms of infinity in NFU
- Carnap and Gödel, again
- Who's afraid of mathematical Platonism? -- An historical perspective
- Title not available (Why is that?)
- Gödel on Tarski
- HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS
- In Memoriam: Hao Wang 1921–1995
- Turing oracle machines, online computing, and three displacements in computability theory
- Title not available (Why is that?)
- On the Philosophical Development of Kurt Gödel
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective
- To and from philosophy-discussions with Gödel and Wittgenstein
- ‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945
- Kurt Gödel and mathematical logic
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
- Book review of: K. Gödel, Collected works. Vol. IV: Correspondence, A--G; Collected works. Vol. V: Correspondence, H--Z
- The demons of Gödel. Logic and madness
- Title not available (Why is that?)
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 Q3764099)