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 ]
フリードマンは有限プロミスゲームと貪欲クリークシーケンスに関する重要な定理を考案し証明し、フリードマンの大予想は彼の名にちなんで名付けられました。フリードマンは1974年の国際数学者会議に招待講演者として招かれ、「2階算術のいくつかのシステムとその使用法」 [ 8 ]というタイトルの講演を行い、弱い背景公理系の設定で解析学の多くの古典的な定理間のさまざまな等価性を確立することにより、逆数学の分野を確立しました。zbMATH Openによると、フリードマンは2025年初頭までの学術キャリアの中で、査読付き研究論文と会議論文を約100本発表しています。[ 9 ]
ジョーダナ・セペレヴィッチ（2017）はノーチラス誌でフリードマンの人物評を執筆し、彼を「隔離状態から不完全性と無限性を持ち出そうとしている」と評した。[ 10 ]
フリードマンは、後に『神性の存在論』[ 12 ]という本に収録された原稿『数学のための神の無矛盾性の証明』 [ 11 ]でイタリアの新聞『ラ・レプッブリカ』でも話題になった。この論文でフリードマンは、すべての集合の宇宙に特定の性質を持つ超フィルターが存在するという強い仮定を置けば、通常のZFC公理によって形式化された数学は無矛盾であることを示した。ゲーデルの存在論的証明の考え方に倣い、フリードマンの論文では、そのような超フィルターは神の存在の概念の数学的抽象化として考えられている。[ 13 ]ゲーデルの証明と同様に、議論は純粋に数学的であり、数学的仮定の神学的解釈はフリードマンの研究にとって本質的なものではない。