volume 42, issue 5, P540-561 2015
DOI: 10.1163/15406253-04205007
View full text
Gary R. Mar

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…

expand abstract