[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
3
(2): 2022/02/12(土)11:22 ID:/qkcTHB7(3/14) AAS
つづき

<IUT国際会議 2つのシリーズ>
1.
外部リンク[html]:www.kurims.kyoto-u.ac.jp
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
省2
555
(2): 2022/04/24(日)09:07 ID:/7dcPctj(6/16) AAS
>>554
つづき

2005年、ヘイルズは100ページの論文で、証明の中でコンピュータを用いない部分を詳述した[11]。ファーガソンとの共著による2006年の論文および数篇の続報ではコンピュータによる部分を報告した[12]。2009年にヘイルズとファーガソンは離散数学の分野の優れた論文に対して贈られるファルカーソン賞を受賞した。
(引用終り)

つまり、1953年にラースロー・フェイェシュ=トートが、しらみつぶし法による証明が原理的に可能だということを示した
1990年のウ=イ・シアン(項武義)のケプラー予想を証明した(ここにはギャップあり)との発表を受けて
ヘイルズ氏が、1992年から始めて 2009年に、ファルカーソン賞を受賞した
省15
629
(2): 2022/04/26(火)16:26 ID:Vj3hNRqz(4/6) AAS
>>626
ふーん >>626
  >>623>>621など
下記で IDをコロコロ変える方法あるみたいだね
文体と主張は、ほぼ同一なのに、IDが変わっているなw
ご苦労様ですw

(参考)
省15
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s