対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
75: 01/24(金)07:11:22.91 ID:xN3QpiYZ(2/3) AAS
ふう、やっと書き込めた。
液体ベクトル空間は、クラスのネットワークと考えています。
波が伝播しないといけませんしね。
77: 01/25(土)23:10:59.91 ID:4E4w0gBm(1/2) AAS
ある種の型システムのクラスを組み込んだ集合論は、
内部集合論と整合性がとれるのかどうか。
内部集合は非標準な元を含む。
この場合、たとえば自然数という無限集合にはすべての元を含む有限部分集合が存在するらしい。
81: 01/26(日)22:27:08.91 ID:a5V7ZknE(2/2) AAS
ω進数で考えると、実数といえども桁の階層を２つ使っているだけでは（真の）連続ではない。
真の実数が存在するとすれば、アレフワンなんていう濃度では足りないだろう。
ルート２やπなど、現在考えられているアレフワンの実数上には無いのかもしれない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.015s