ハオ・ワン

ハオ・ワンの生涯と業績

ハオ・ワン（Hao Wang、王浩）は、1921年5月20日に中国・山東省済南で生まれました。彼は中国系アメリカ人の哲学者、数理論理学者、計算機科学者として知られ、特に「ワンのタイル」や「ワンのBマシン」といった概念に貢献した人物です。彼の業績は数理論理学の発展に大いに寄与し、また分析哲学や唯物弁証法論への批評でも知られています。

ハオ・ワンは1943年に西南聯合大学数学科で学士号を取得し、その後1945年に清華大学で哲学の修士号を取得しました。彼の指導者である馮友蘭や金岳霖から数理論理学の基盤を学び、その後アメリカに渡りました。1948年にはハーバード大学でクワインのもとで哲学の博士号（Ph.D.）を取得し、同年にアシスタント・プロフェッサーとして就任しました。

1950年代初頭にはスイスのチューリッヒでパウル・ベルナイスのもとで研究活動を行い、1956年にはオックスフォード大学の数学哲学コースの準教授に就任しました。彼はジョン・ロック講義も担当し、数理論理学の教育に力を注ぎました。1959年にはIBM 704で『プリンキピア・マテマティカ』の多数の定理をわずか9分間で証明するプログラムを作成し、この偉業が評価され、1983年には国際人工知能会議から「自動定理証明におけるマイルストーン賞」を受賞しました。

1961年にはハーバード大学で「数理論理学・応用数学ゴードン・マッケイ記念冠教授」に任命され、スティーブン・クックなど多くの学生を指導しました。ロックフェラー大学では1967年に論理学教授に就任し、同大学の論理学グループの中心的な役割を果たしました。さらに1972年にはニクソン訪中に際して中国系アメリカ人の学者として中国を訪れています。

ハオ・ワンのゲーデルとの関係についても触れなければなりません。1960年代後半に彼は自身の論文へのコメントを求めてゲーデルに接触し、以来10年にわたって親交を深めました。1975年から1976年には、ゲーデルからの招待を受けてプリンストン高等研究所でも活動しました。ゲーデルが1978年に亡くなった後、ハオ・ワンは彼との交流を基にした評伝『ゲーデル再考』を執筆し、1987年に出版しました。この著作はゲーデルの思想や哲学を広く理解するための重要な資料となっています。

彼が執筆した著書には、特に「Les Systèmes axiomatiques de la Théorie des Ensembles」や「A Survey of Mathematical Logic」、そして「Reflections on Kurt Gödel」などがあり、数理論理学や哲学に対する彼の視点が色濃く反映されています。また、1990年には「Computation, Logic, Philosophy」というエッセイ集も出版され、計算と論理、哲学の関係について探求されています。

ハオ・ワンはロックフェラー大学で長い間教鞭を執り、その後1991年に退職しました。1995年5月13日、彼は悪性リンパ腫により逝去し、数理論理学や哲学の分野で彼が果たした業績と影響は今も多くの人々に受け継がれています。彼の生涯は、学問の境界を超えて思考を深化させることの重要性を教えてくれます。

もう一度検索