対角線論法っておかしくね？ (144ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
16(1): 2024/12/21(土)11:52:11.32 ID:jPPFprDd(1) AAS
う、可算無限になったほうは、0.111...に対応する自然数を明かしてしまうと、
なにやっているか（トリック）がバレてしまう。
Eudoxus real numberの論文を調査中。これに従った構成法でできそうな雰囲気。
実数が可算無限であるといいはれるだけの証明をなんとか４月１日までに完成させたい。
72(1): 01/23(木)00:15:15.32 ID:RQMzRIlW(1) AAS
数学が、異なるものを同じとみなす技術である限り、
自然数と実数を同じとみなすことも可能だろうと思う。
型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s