対角線論法っておかしくね？ (144ﾚｽ)
対角線論法っておかしくね？ http://rio2016.5ch.net/test/read.cgi/math/1734536295/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
16: １３２人目の素数さん [] 2024/12/21(土) 11:52:11.32 ID:jPPFprDd う、可算無限になったほうは、0.111...に対応する自然数を明かしてしまうと、 なにやっているか（トリック）がバレてしまう。 Eudoxus real numberの論文を調査中。これに従った構成法でできそうな雰囲気。 実数が可算無限であるといいはれるだけの証明をなんとか４月１日までに完成させたい。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/16
72: １３２人目の素数さん [] 2025/01/23(木) 00:15:15.32 ID:RQMzRIlW 数学が、異なるものを同じとみなす技術である限り、 自然数と実数を同じとみなすことも可能だろうと思う。 型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/72
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.663s*