[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
462(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/22(土) 14:10:28.12 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」ということにして、Θリンクの定義も
(N=-2A) ∨ (N=-A)
ということにすると、「マルチラディアル表示」に移行する際、（「∧」ではなく！！）「∨」を引き継ぐことになり、つまり、
(N=-2A+ε) ∨ (N=-A)
という恰好の「∨版マルチラディアル表示」しか従わないことになってしまいます。
つづく
463(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/22(土) 14:10:50.61 ID:qg6YAvVW(5/6) AAS
>>462
つづき
このように考えると、実際の「マルチラディアル表示」に登場する、肝心な「∧」性を壊さないための数々の丁寧な細かい操作は全く無意味なもののように見えてしまいます。
その上、最初から「A=B」ということにしてもよい状況の下で議論しているからこそ、そもそも「∨版マルチラディアル表示」（＝「ε」という誤差を認めることによって本来一致するかどうか分からない整数 A と B をまるで一致するものかのように扱うことを可能にする表示）は全く無意味なものであるようにしか見えません。一方で、このように、「∨」、「∨」、「∨」で議論していると、議論の最終的な結論となる「A<3」という不等式を発生する式
-2A+ε=-A
は、まるでΘリンクや「マルチラディアル表示」の「∨版」に登場する
「∨」が、とんでもない「詐欺的な
論法」によって「∧」に勝手にすり
替えられたことによって導かれた
ようにしか見えません。
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s