対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
68: 01/18(土)09:48 ID:Ey8R3aB1(1/2) AAS
ある種の型システムを使えば、ラッセルやらカントールやらのパラドックスは構成可能なままに無矛盾に回避される。
集合の集合も集合として構成できるので、大きいとか小さいとかも圏論から除去できる。
異なるクラスを双変にするタイヒミュラー空間のようなものを作れればなんとかなるだろう。
そこにはタイヒミュラーあるいは望月あるいはプリゴジンの魔物が棲んでいる。ワグネルの反乱になってしまうかもしれないが。
数学の証明にエントロピーが入ることになるだろう（予想）。
69: 01/18(土)16:37 ID:Ey8R3aB1(2/2) AAS
単なる型ではないタイプのクラスは強力だ。数学を破壊しかねない。
問題は、量子宇宙にも同様のメカニズムがあるかどうかだ。
これを発見しなければならない。
おそらく、クオークもクラスだ。
なにものかが３つあれば、すべてを構築できるのではないか。なんらかの３つ組。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s