[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
459(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:08 ID:qg6YAvVW(1/6) AAS
”Θ-link”関連情報、ご参考まで
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
yahoo
blacknoteさん2014/3/1521:27:05
京大の望月さんの論文をかみ砕いて教えてください。
(抜粋)
ベストアンサーに選ばれた回答
省8
460(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:08 ID:qg6YAvVW(2/6) AAS
>>459
つづき
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論への誘（いざな）い
望月新一（京大数理研）
(抜粋)
Ｐ7
省33
461(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:09 ID:qg6YAvVW(3/6) AAS
AA省
462(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:10 ID:qg6YAvVW(4/6) AAS
>>461
つづき
元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性（＝「無矛盾性」）をもって定義することができました。これは先ほどの「Xの誕生日...」∧「Yの誕生日...」と全く同じ現象です。元々のΘリンクの定義が「∧」によるものであるこそ、その肝心な「∧」性を壊さないような操作によって行なわれる「マルチラディアル表示」の構成は「∧」性を引き継ぐことになります。また「マルチラディアル表示」において「∧」性が成立しているからこそ、議論の最終的な結論となる「A<3」という不等式が簡単に、形式的に従ってしまうのです。
一方で、（ここから先が、先ほどの喩えの「2+2=9」に対応する「大元誤解」の内容になりますが）例えば、元々のΘリンクが、何かの理由によって
(N=-2B) ∨ (N=-A)
として認識（＝誤認！）されたとします。すると、まず、整数 A と B が、一致するとは限らないものであることを仮定することには全く意味がない、つまり、最初から「A=B」ということにしても、整合性（＝「無矛盾性」）の問題は全く発生しないのではないかと考えてしまいます。これは先ほどの「Xの誕生日...」∨「Xの誕生日...」と全く同じ現象です。
しかし、最初から「A=B」ということにして、Θリンクの定義も
省5
463(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:10 ID:qg6YAvVW(5/6) AAS
AA省
464: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:11 ID:qg6YAvVW(6/6) AAS
>>463
つづき
ここでは、高級な数学的対象を用いる代わりに高校数学レベルの整数を扱う式を使って解説しましたが、上述の議論のように、本来のIUTeichの
??論理構造の根幹を成している
「∧」、「∧」、「∧」が、
「∨」、「∨」、「∨」と
誤認されてしまったことが、
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s