ドナルド・A・マーティンは1962年にマサチューセッツ工科大学で理学学士号を取得し、決定性に関する研究を通じて集合論の分野を発展させた。彼の数学者、哲学者、大学教師としてのキャリアは、ロックフェラー大学とカリフォルニア大学ロサンゼルス校を含む複数の機関で数十年にわたって続いており、現在はカリフォルニア大学ロサンゼルス校で名誉教授を務めている。
論理と集合論への貢献
マーティンの数学的研究には、ZFC公理を使用したボレル決定性の証明と、測可能基数の存在を必要とする解析的決定性の証明が含まれる。ジョン・R・スティールと共同で、彼は適切な大基数公理に基づいた射影的決定性の証明を提供した。彼の集合論への関与は、マーティンの公理の開発も含まれる。
チューリング不変関数と予想
再帰理論という特定の分野において、マーティンは1970年代後半に、自明でない定義可能なチューリング不変関数に関する予想を提示した。この仮説は、そのような関数がチューリングジャンプとその超限反復に限定されるというものであり、カリフォルニア工科大学-カリフォルニア大学ロサンゼルス校論理セミナーの議事録内の付録であるビクトリア・デルフィノ問題として掲載された。彼の研究全体には、チューリング次数に関するマーティン測度とマーティンの予想が含まれる。
学術的任命と受賞
彼の専門的なキャリアは、主にロックフェラー大学での期間後にカリフォルニア大学ロサンゼルス校と関連付けられている。彼の数学界への貢献は、1988年のキャロル・カープ賞、1989年のグッゲンハイムフェローシップ、1992年のタルスキ講演者、1994年のゲーデル講演者など、いくつかの栄誉を通じて認められている。彼はアメリカ数学会とアメリカ芸術科学アカデミーの会員であり、2014年にアメリカ数学会のフェローとなった。
クイックファクト
- 生年: 1940年 - 国籍: アメリカ合衆国 - 学歴: マサチューセッツ工科大学 - 主要な分野: 集合論、数学的論理学 - 主な栄誉: キャロル・カープ賞 (1988年) - 職業状態: 名誉教授
読者からの質問
### マーティンの予想の焦点は何ですか？
それは再帰理論に関し、自明でない定義可能なチューリング不変関数はチューリングジャンプとその反復だけであるという主張を提示している。
### ドナルド・A・マーティンはどの主要な証明で知られていますか？
彼はボレル決定性、解析的決定性、そしてジョン・R・スティールと共同で射影的決定性の証明で認められている。
