ハオ・ワン
1960年代後半、自分の論文へのコメントを求めて晩年のゲーデルに接触、以降10年間親交する。1975年から1976年には、ゲーデルの招きでプリンストン高等研究所を兼任している。1978年にゲーデルが死去した後は、本人との思い出や収集した一次資料をもとに、ゲーデル研究の草分け的な評伝『ゲーデル再考』(Reflections on Kurt Gödel) を執筆し、1987年に刊行した。
ISBN 0-262-23124-7.
Reflections on Kurt Gödel. Cambridge, Massachusetts: MIT Press, 1987. ISBN 0-262-73087-1. ハオ・ワン 著、土屋俊;戸田山和久 訳『ゲーデル再考 人と哲学』産業図書、1995年。ISBN 9784782800966。 (土屋俊あとがき497頁-501頁)
Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press; Dordrecht: Kluwer Academic, 1990. ISBN 7-03000211-3.
A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: MIT Press, 1996. ISBN 0-262-23189-1.