[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
617(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/13(水)14:01 ID:uMe8boWM(13/22) AAS
>>614 補足
普通の数学では
自己言及のような、再帰（定義、算法、論法など）は、普通は使わない
対角線論法などは、例外としてね
IUTの「同義反復的解決」（>>603）というのが
果たして、何者かだよね（＾＾；
619: 2020/05/13(水)14:12 ID:YxiDM0Si(14/24) AAS
>>617
＞普通の数学では
＞自己言及のような、再帰（定義、算法、論法など）は、普通は使わない
＞対角線論法などは、例外としてね
これまた酷い・・・
自然数の定義は再帰の典型ですけどね
・ｎが自然数なら、ｓ（ｎ）も自然数である
省6
620: 2020/05/13(水)14:16 ID:YxiDM0Si(15/24) AAS
>>617
＞IUTの「同義反復的解決」というのが果たして、何者かだよね
気になるんなら、望月氏本人に直接聞いてみたら？
素人が勝手に憶測するよりいいと思うけど
どこから「高階」が出てきたのか知らんけど
今の段階では見当違いの可能性が非常に高い
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s