Hao Wang

E321035

Hao Wang was a Chinese-American logician and philosopher known for his influential work on the foundations of mathematics, computability theory, and his close intellectual association with Kurt Gödel.

All labels observed (1)

Label Occurrences
Hao Wang canonical 2

How this entity was disambiguated

Statements (52)

Predicate Object
instanceOf Chinese-American
computer scientist
human
logician
mathematician
philosopher
academicDegree PhD in logic
birthDate 1921-05-20
birthPlace China
Jinan
Shandong
countryOfCitizenship China
United States of America
deathDate 1995-05-13
educatedAt Harvard University
National Southwestern Associated University
Princeton University
employer Harvard University
Oxford University NERFINISHED
Rockefeller University
familyName Wang
fieldOfWork computability theory
foundations of mathematics
mathematical logic
philosophy
philosophy of mathematics
givenName Hao
influencedBy Bertrand Russell
Kurt Gödel
Ludwig Wittgenstein
knownFor close intellectual association with Kurt Gödel
contributions to philosophy of mathematics
work on computability theory
work on the foundations of mathematics
languageSpoken Chinese
English
mainInterest Gödel's incompleteness theorems
philosophy of logic
recursion theory
set theory
name Hao Wang self-link
notableStudent Hilary Putnam
notableWork A Logical Journey: From Gödel to Philosophy
Beyond Analytic Philosophy: Doing Justice to What We Know
From Mathematics to Philosophy
Logic, Computers, and Sets
Reflections on Kurt Gödel
occupation logician
mathematician
philosopher
university professor
wroteAbout Kurt Gödel

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Stephen Cook doctoralAdvisor Hao Wang
Hao Wang name Hao Wang self-link