エルンスト・ツェルメロ
- العربية
- مصرى
- تۆرکجه
- Беларуская
- Català
- Čeština
- Dansk
- Deutsch
- English
- Esperanto
- Español
- Eesti
- فارسی
- Suomi
- Français
- עברית
- Kreyòl ayisyen
- Magyar
- Interlingua
- Bahasa Indonesia
- Italiano
- 한국어
- Latina
- Latviešu
- Nederlands
- Norsk nynorsk
- Polski
- Piemontèis
- Português
- Română
- Русский
- Slovenčina
- Slovenščina
- Türkçe
- Українська
- 中文
エルンスト・ツェルメロ(Ernst Friedrich Ferdinand Zermelo [t͡sɛrˈmeːlo] 、1871年 7月27日 ベルリン – 1953年 5月21日 フライブルク)はドイツの数学者・論理学者。特に集合論に業績を残した。
人物
[編集 ]ベルリン・ハレ・フライブルクの各大学で数学と哲学を学び、ベルリン大学でプランクの指導の下に物理学を研究した。1896年にはボルツマンのH定理に反論した(熱力学系は長時間の後には元と同じ状態に復帰し、エントロピーは減少するはずだという批判:再帰性パラドックス)。1897年 ゲッティンゲン大学に移った。
1900年にヒルベルトが未解決の23の重要問題を提示し、ツェルメロはその最初の問題である連続体仮説に取り組んだ。これに関しては1902年、最初の論文を発表した。1904年には整列可能定理を証明し、連続体仮説への第一段階とした。これにより翌年ゲッティンゲン大学教授となったが、この証明は(当時はまだ公理とされていなかった)選択公理に基づいていたため、完全には受け入れられなかった。1908年にはより一般的な証明を与えた。また1905年には集合論の公理化に取り掛かり、1908年にこれを公刊したが、その無矛盾性を証明することはできなかった。1910年にはチューリヒ大学に移り1916年まで過ごした。1922年にはアドルフ・フレンケルとスコーレムがそれぞれ独立にツェルメロの公理系を改良した。この10公理からなる系は、現在ツェルメロ・フレンケルの公理系(ZF)と呼ばれ、公理的集合論で最も普通に用いられている公理系である。
1926年、フライブルク大学から名誉教授職を授与されたが、1935年にはヒトラーに反発してこれを返上した。第二次世界大戦後に再度授与されている。
この項目は、数学者 に関連した書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:人物伝/Portal:自然科学)。