Loading article…
ハーヴェイ・フリードマン（1948年9月23日生まれ）[1]は、オハイオ州コロンバスにあるオハイオ州立大学のアメリカ人数理論理学者である。彼は逆数学、つまり数学の公理を必然的と考えられる定理から導き出すことを目的としたプロジェクトに取り組んできた。近年、これはブール関係理論の研究へと進み、特定の「具体的」と考えられる命題を導き出すために大基数公理が必要であることを証明することで、大基数公理を正当化しようとするものである。
フリードマンは1967年、19歳の時にマサチューセッツ工科大学で分析サブシステムに関する論文で博士号を取得した。指導教官はジェラルド・サックスであった。[2]フリードマンは1984年にアラン・T・ウォーターマン賞を受賞した。また、 IBMの客員科学者の肩書も獲得した。[3] 2007年にはタルスキ講演を行った。
1967年、フリードマンは18歳でスタンフォード大学で哲学の助教授として教鞭をとり、世界最年少の教授としてギネス世界記録に掲載された。[1] [4] [ 5]また、数学教授や音楽教授も務めた。 [6] 2012年7月に正式に退職。2013年9月、ゲント大学から名誉博士号を授与された。[7]
ジョーダナ・セペレヴィッツ（2017）は、ノーチラス号の中でフリードマンを「無限を救いたい男」と描写した。[8]
フリードマンはイタリアの新聞「ラ・レプブリカ」で、神の存在の仮説（ゲーデルの存在論的証明の意味で）から出発して、通常のZFC公理によって形式化された数学が一貫していることをどのように示すことができるかを詳細に説明した原稿「数学のための神の無矛盾性証明」で注目を集めた。[9]
彼は有限約束ゲームと貪欲クリーク列に関する重要な定理を発明し証明したため、「フリードマンの壮大な予想」は彼の名前を冠しています。
フリードマンは数学者サイ・フリードマンの兄弟です。
ResearchGateによると、フリードマンは学術研究の過程で200本以上の査読付き研究論文を発表した。 [10]
参照
参考文献
- ^ ab 哲学論理ハンドブック、ISBN 0-7923-7018-X、p. 38
- ^ 数学系譜プロジェクトのハーヴェイ・フリードマン
- ^ バーワイズ他「ハーヴェイ・フリードマンの数学基礎に関する研究」p.xiii。論理学と数学基礎研究、第117巻、アムステルダム北ホラント
- ^ ハーヴェイ・マーティン・フリードマン博士 - 区別
- ^ オハイオ州立大学 著名講師 (2007-2008)
- ^ ハーヴェイ・フリードマンの学位と職歴
- ^ ハーベイ・フリードマン (2013 年 9 月 4 日)。 「ハーヴェイ・フリードマンのエレドクター」。Uジェント。2020 年11 月 7 日に取得。
- ^ 『無限を救出したい男』、ジョーダナ・セペレヴィッツ著、2017年2月23日。
- ^ オディフレディ、ピエルジョルジョ (2013 年 1 月 5 日)。 「La matematica ci riprova: 「Ecco perché Dio esiste」」。ラ・レプッブリカ。2018 年12 月 21 日に取得。
- ^ https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091 [裸の URL ]
さらに読む
- LA ハリントン 他編『ハーヴェイ・フリードマンの数学基礎研究』『論理学と数学基礎研究 117』アムステルダム、ノースホランド出版 (1985)
外部リンク
- オハイオ州立大学のハーヴェイ・フリードマンのホームページ
- 数学系譜プロジェクトのハーヴェイ・フリードマン