[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
349(1): 11/06(木)11:16 ID:d2PBLapd(1) AAS
>>343
自己言及したから即、矛盾する、というわけではない
この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する
逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
ま、高卒が知らなくても無理ないけど
ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ
省1
354: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:53 ID:9MLt2+C6(8/17) AAS
>>349
>逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
>そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
おお、ありがとね
”Dana Scott domain theory”で下記がでる
「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・
まあ、デイナ・スコット Domain theory があるのを 知った （＾＾
外部ﾘﾝｸ:ja.wikipedia.org
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。
領域理論の意図と直観的意味
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s