対角線論法っておかしくね? (144レス)
上
下
前
次
1-
新
72
(1)
: 01/23(木)00:15
ID:RQMzRIlW(1)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
72: [] 2025/01/23(木) 00:15:15.32 ID:RQMzRIlW 数学が、異なるものを同じとみなす技術である限り、 自然数と実数を同じとみなすことも可能だろうと思う。 型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。 http://rio2016.5ch.net/test/read.cgi/math/1734536295/72
数学が異なるものを同じとみなす技術である限り 自然数と実数を同じとみなすことも可能だろうと思う 型システムによって同型と準同型をシームレスに扱う方法があるのではないかと
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 72 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
ぬこの手
ぬこTOP
0.030s