対角線論法っておかしくね？

対角線論法っておかしくね？ (141ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

72(1): 01/23(木)00:15 ID:RQMzRIlW(1) AAS
数学が、異なるものを同じとみなす技術である限り、
自然数と実数を同じとみなすことも可能だろうと思う。
型システムによって同型と準同型をシームレスに扱う方法があるのではないかと。

73: 01/23(木)08:22 ID:gsIjQBrb(1) AAS
>>72
ならcondensed math.がおすすめかもしれない