ハオ・ワン

ハオ・ワン (、王浩、、1921年5月20日 - 1995年5月13日) は、中国系アメリカ人の哲学者・数理論理学者・計算機科学者。「ワンのタイル」や「」（レジスタマシン）、ゲーデルの評伝執筆で知られる。その他、数理論理学の入門書執筆や、分析哲学への批判や唯物弁証法論など多方面で活動した。

 生涯 
1921年、中華民国山東省済南に生まれる。1943年、西南聯合大学数学科で学士号取得。1945年、清華大学哲学科で馮友蘭やの指導のもと修士号取得。その後渡米し、1948年、ハーバード大学でクワインの指導のもとPh.D.取得。同年、ハーバード大学のアシスタント・プロフェッサーに就任。

1950年代初頭、チューリッヒに渡りパウル・ベルナイスのもとで研究に従事。1956年、オックスフォード大学の数学哲学コース準教授に就任、ジョン・ロック講義も務めている。1959年、IBM 704で『プリンキピア・マテマティカ』の膨大な定理をわずか9分間で証明するプログラムを書き上げる [Wang 1960a].。この業績により、1983年に国際人工知能会議から「自動定理証明におけるマイルストーン賞」 (Milestone Prize for Automated Theorem-Proving) を授与される。

1961年、母校ハーバード大学の「数理論理学・応用数学記念冠教授」に就任、スティーブン・クックらを指導する。1967年、ロックフェラー大学論理学教授に就任、同大学の論理学グループの中心を担う。1972年、ニクソン訪中に際し、中国系アメリカ人学者からなる代表団に参加し訪中する。

1991年、長年勤めたロックフェラー大学を退職。1995年、悪性リンパ腫により逝去。

 ゲーデルとの関わり 
1960年代後半、自分の論文へのコメントを求めて晩年のゲーデルに接触、以降10年間親交する。1975年から1976年には、ゲーデルの招きでプリンストン高等研究所を兼任している。1978年にゲーデルが死去した後は、本人との思い出や収集した一次資料をもとに、ゲーデル研究の草分け的な評伝『ゲーデル再考』(Reflections on Kurt Gödel) を執筆し、1987年に刊行した。

 著書 

 Les Systèmes axiomatiques de la Théorie des Ensembles, Gauthier-Villars; Paris, 1953. [with Robert McNaughton].
 A Survey of Mathematical Logic.  Peking:  Science Press; Amsterdam:  North-Holland, 1962.
 From Mathematics to Philosophy.  London:  Routledge & Kegan Paul, 1974.
 Popular Lectures on Mathematical Logic.  New York:  Van Nostrand, 1981. .
 Beyond Analytic Philosophy: Doing Justice to What We Know.  Cambridge, Massachusetts:  MIT Press, 1985. .
 Reflections on Kurt Gödel.  Cambridge, Massachusetts:  MIT Press, 1987.  .
 （土屋俊あとがき497頁-501頁）
 Computation, Logic, Philosophy. A Collection of Essays.  Beijing:  Science Press; Dordrecht:  Kluwer Academic, 1990.  .
 A Logical Journey: From Gödel to Philosophy.  Cambridge, Massachusetts:  MIT Press, 1996. .

 関連項目 

 セル・オートマトン
 DNAナノテクノロジー
 中国における論理学
 中国の数学

 脚注 

 外部リンク 


  - ニューヨーク・タイムズ掲載の訃報
 Interview with Hao Wang and Robin Gandy - Richard Zach、Robin Gandyとの鼎談映像。

Category:中国の計算機科学者
Category:中国の数学者
Category:中国の論理学者
Category:20世紀中国の哲学者
Category:20世紀アメリカ合衆国の哲学者
Category:20世紀の論理学者
Category:アメリカ合衆国の論理学者
Category:アメリカ合衆国の数学者
Category:アメリカ合衆国の計算機科学者
Category:20世紀の数学者
Category:数学の哲学者
Category:論理学の哲学者
Category:ジョン・ロック講義 講演者
Category:イギリス学士院客員フェロー
Category:ハーバード大学出身の人物
Category:清華大学出身の人物
Category:済南出身の人物
Category:セル・オートマトン関連の人物
Category:中国系アメリカ人
Category:1921年生
Category:1995年没