[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
92(1): 2023/08/11(金)09:27 ID:rxtETGWs(20/47) AAS
今後、素人さんがいいそうな発言
「任意の２つの無限列は尻尾同値」
証明
任意の２つの無限列は、「無限回」の推移律適用で、同値となる
ー
上記の「証明」の誤りは、もちろん「無限回」の推移律適用
数学科出身の人なら誰でもわかることだが、
推論規則の適用は任意有限回に限る
だから「同値だけど決定番号は無い（あるいは∞）」なんてことは絶対ない
省3
95(1): 2023/08/11(金)09:44 ID:wUP+QyaL(3/6) AAS
>>92
専門家ぶっているのでお尋ねするが
上江洲忠弘
無限に長い命題を持つ論理について
という論文を知っていますか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s