[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
615(1): 10/19(日)19:48 ID:4oiu/XMI(13/13) AAS
まあ、そんなことだろうとおもったよ
「p∈Pが真の問題ではない。
真の問題は、IUTがp≠Pであるにもかかわらずp=Pと仮定している点にある。
「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。」
「p=P と仮定することで生じる矛盾を保留するために導入された
ラベル付けの仕組みを取り除くと、その矛盾が即座に明らかになる」
「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
省10
617: 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/19(日)20:13 ID:HyW/YoLR(12/12) AAS
>>615
(引用開始)
「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
別のコンピュータで右辺を
処理するようなものです。
(引用終り)
・それ ストローマン
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s