エミール・レオン・ポスト

エミール・レオン・ポストは1921年に命題論理の完全性に関する結論に達し、『プリンキピア・マテマティカ』の論理的基礎を効果的にマッピングしました。彼のキャリアは、コロンビア大学での初期の博士課程からニューヨーク市立大学での長年の教職に至るまで、米国における重要な数学的研究を通じて発展しました。

学術的基盤

1897年にアウグストゥフで生まれたポストは、子供の頃にニューヨーク市に移住しました。タウンゼント・ハリス高校に通い、ニューヨーク市立大学で理学士号を取得した後、1920年にカシアス・ジャクソン・カイザーの指導の下、コロンビア大学で博士号を取得しました。彼の初期の専門職としての歩みには、プリンストン大学でのポスドク研究員としての1年、コーネル大学での勤務、および中等学校での教職が含まれ、1932年にニューヨーク市立大学の教員に任命されました。

論理学と計算可能性

ポストは独自に真理値表を開発し、要素命題の理論を拡張しました。1936年には、チューリングマシンと同等の計算モデルを定式化し、現在ではポスト・チューリングマシンとして参照されています。1943年に発表された正規体系に関する彼の研究は、現代のプログラミング言語設計において依然として不可欠な文字列書き換えの手法を確立しました。1946年には、形式言語における決定不能性を証明するためにポストの対応問題を導入しました。

多項群とポストの問題

計算可能性への貢献に加え、ポストは多項群（n項群）に関する広範な研究を行いました。1940年の論文では、そのような構造が標準的な群演算を通じて表現できることを証明する基本的な定理を提供しました。その後、1944年のアメリカ数学会での講演で、停止問題よりも低いチューリング次数を持つ計算不可能な再帰的可算集合の存在に関する問いを提起しました。これは現在「ポストの問題」として知られています。

無料テスト

あなたはどのくらい？

20問、8分の制限時間、そして受験者全員と比べたパーセンタイル。登録不要。

IQテストを受ける →

健康管理

プリンストン時代から、ポストは躁病の発作に苦しみました。医師の助言に従い、毎日の研究時間を3時間以内に制限しました。1929年にガートルード・シンガーと結婚し、娘のフィリス・ポスト・グッドマンをもうけました。ポストはうつ病の電気ショック療法を受けた後、1954年にニューヨーク市で心臓発作により亡くなり、マウント・ヘブロン墓地に埋葬されました。