Loading article…
王浩（中国語:王浩、ピンイン: Wáng Hào、1921年5月20日- 1995年5月13日）は、中国系アメリカ人の論理学者、哲学者、数学者であり、クルト・ゲーデルの評論家であった。
王氏は中華民国（現在の中国人民共和国）の山東省済南市に生まれ、中国で初等教育を受けた。1943年に西南聯合大学で数学の学士号を、1945年に清華大学で哲学の修士号を取得した。清華大学では馮友蘭や金月林らに師事し、その後、大学院での研究のため米国に渡った。ハーバード大学でWVO・クワインのもとで論理学を学び、1948年に博士号を取得した。同年、ハーバード大学の助教授に任命された。
1950年代初頭、王はチューリッヒでポール・ベルネイスに師事した。1956年、オックスフォード大学で数学哲学の講師に任命された。1959年、王はIBM 704コンピュータで、ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』にある数百の数理論理定理をわずか9分で機械的に証明するプログラムを作成した。[ 1 ] 1961年、ハーバード大学でゴードン・マッケイ数理論理学および応用数学教授に任命された。[ 2 ] 1967年から1991年まで、ニューヨーク市のロックフェラー大学で論理学教授を務め、同大学の論理学研究グループを率いた。1972年、王は、米国から中華人民共和国への最初の代表団として、ジェン・チークン率いる中国系アメリカ人科学者グループに加わった。
1950年代、郝はマルクス主義と西洋分析哲学を用いて、当時主流であった認知過程を機械的計算とみなす見方を批判した。[ 3 ]： 13郝は、人間の理性は普遍的な規則に影響されるのではなく、むしろ個人的なものであり、歴史的・物質的な条件に影響されると主張した。[ 3 ]： 13
王の最も重要な貢献の 1 つは、王タイルです。[ 4 ]彼は、任意のチューリング マシンを王タイルの集合に変換できることを示しました。ドミノ問題は、王タイルの集合を使用して平面をタイル張りするアルゴリズムを見つけることです。非周期的なタイル張りの最初の注目すべき例は、王がかつて存在しないと予想していた王タイルの集合であり、1966 年に彼の学生であるロバート バーガーによって発見されました。王はまた、計算複雑性理論にも大きな影響を与えました。[ 5 ]
王氏は哲学者としても活躍し、[ 6 ]ルートヴィヒ・ヴィトゲンシュタインの後期の数学哲学を鋭く解釈し、それを「人間主義」と呼んだ。後に、数学の基礎においてこの解釈を広げた。クルト・ゲーデルの哲学的思想を記録し、この主題に関する数冊の本を執筆し、[ 7 ]現代の学者にゲーデルの後期の哲学的思想を解明する多くの洞察を提供した。王氏は自身の「実質的事実主義」の哲学を、抽象的な理論的定式化と日常会話の通常の言語の両方を含む中間的な立場と捉えた。
1983年、彼は人工知能に関する国際合同会議が主催する自動定理証明に関する第1回マイルストーン賞を授与された。[ 8 ]
1995年5月13日、王氏は74歳の誕生日の1週間前にニューヨーク病院で亡くなった。妻のハンネ・ティアニーによると、王氏の死因はリンパ腫だった。[ 9 ] [ 10 ]ティアニーの他に、王氏には娘1人と息子2人が残された。[ 9 ]
詳細な参考文献