20/11/02 11:26:09.03 o7WhIP+j.net
>>720
つづき
（参考）
URLﾘﾝｸ(wired.jp)
WIRED
「異世界からきた」論文を巡って： 望月新一による「ABC予想」の証明と、数学界の戦い
［15年12月21日のQuanta Magazine掲載の記事を翻訳・転載］
2016.07.06 WED 18:30
アンドリュー・ワイルズが1994年に「フェルマーの最終定理」を証明したとき、彼はまさにこの戦略を取った。「2より大きい整数（n）に関して等式『 a^n+b^n = c^n 』を成立させる正の整数の解はない」という問題をただシンプルな等式のまま扱うのではなく、二度の変換を通してより抽象的な定式化を行ったのだ。一度目は楕円曲線で、二度目が楕円曲線の「ガロア表現」と呼ばれる別の数学的手法である。こうして、彼はフェルマーの定理の証明に成功した。
望月教授も同様の戦略を採っている。ABC予想を直接証明するのではなく、スピロ予想の証明にまず着手した。その証明を行うためにまず、スピロ予想の関連のあるすべての情報を「フロベニオイド」と呼ばれる自らが生み出した新たなレヴェルの数学的概念へ変換した。
URLﾘﾝｸ(ja.wikipedia.org)
順序数
URLﾘﾝｸ(ja.wikipedia.org)
基数（きすう、cardinal number又はcardinal）とは、集合の濃度 (cardinality) （大きさ、サイズ）を測るために定義された自然数の一般化である。
有限集合の濃度つまり有限集合の要素の個数は自然数で表される。
無限集合の濃度が一つではないことはゲオルグ・カントールによって示された。
(引用終り)
以上