対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
84: 01/30(木)08:53 ID:QuLZIzWr(1/2) AAS
ω進数を考えていたが、
先行する考えとしてp進数というものが存在していた。
p進数の議論の中にはωに言及しているものもあるようなので、
論文を探して調べてみたいものだ。
（pは基本的に素数だが、ωは非標準な最大量や無限遠方という違いがある）
85: 01/30(木)23:39 ID:QuLZIzWr(2/2) AAS
ZFC(Cは必須)で、置換公理をクラスの公理とみなすなら、
数はクラスとω変数と四則演算から構成することができる。
そんな気がしてきた。
とりあえず実装してみて問題点を探ってみようと思う。
圏論を数学的対象とすれば、それも構成可能かもしれない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s