小哥的"G "不是这样吗?
所有跟帖:
•
但是正整数有标准模型。如果Peano arithmetic theory判断不了,用标准模型即可。
-露重烟微-
♀
(0 bytes)
()
10/31/2024 postreply
14:59:00
•
不懂你在说什么:)听你意思小case一个,只是好奇为什么小哥这么声名远扬?
-JSL2023-
♂
(0 bytes)
()
10/31/2024 postreply
15:12:48
•
因为证明的方法很天才。但确实对数学家影响不大。arithmetic(算术)只是数学里的一个分支,且有标准模型可用。
-露重烟微-
♀
(0 bytes)
()
10/31/2024 postreply
15:40:00