[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

260(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)11:52 ID:K/Lr81ky(8/12) AAS
>>255
Finite order arithmetic (Takeuti, 1987, Part II)
>>257
References
Takeuti, G. (1987). Proof Theory. Elsevier Science Ltd, 2nd edition.

竹内 外史先生だね
外部ﾘﾝｸ:ja.wikipedia.org
竹内 外史（たけうち がいし、1926年1月25日 - 2017年5月10日）
外部ﾘﾝｸ:en.wikipedia.org
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi; January 25, 1926 – May 10, 2017[1]) was a Japanese mathematician, known for his work in proof theory.[2]
省16

---

264: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)13:20 ID:K/Lr81ky(9/12) AAS
>>260 補足
>7. PAにおけるフェルマーの最終定理の証明？

素数定理の歴史(下記)と対比すると分かり易いだろう
１）素数定理は、ゼータ関数と複素関数論を用いる高等数学による証明だったが
　アトル・セルバーグ[5]とポール・エルデシュ[6]は初等的な証明が得られた（下記）
２）素数の話だから、初等整数論内の証明があっても おかしくは ない
　一方、高等数学による プロ数学者には 見通しのよい証明があってもいい（高等数学がしばしば先行する）
　高等数学による証明と 初等整数論内の証明とは 両立する

なお、”PAにおけるフェルマーの最終定理の証明？”は、まだ？つき・・

(参考)
省11

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.036s