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