2015
DOI: 10.1163/15406253-04205007 View full text |Buy / Rent full text
|
|

Abstract: Hao Wang, a prolific philosopher and researcher, was known for his close intellectual friendship with Kurt Gödel, his advocacy for the study of logic at Oxford, and for his path-breaking contributions to logic and automated theorem proving. Yet in a memorial volume published sixteen years after Wang’s passing, the editors Charles Parsons and Montgomery Link noted “rather little has been published on Wang’s considerable body of work or on the man’s personality and unusual personal history.” The goal of this art… Show more

Help me understand this report

Search citation statements

Order By: Relevance
Select...
0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals