碧蓝右耳 发表于 2013-3-31 22:01 【链接登录后可见】

数学自从用集合论重建之后，就可以认为是一种思维游戏了。先定义对象，然后是规则，之后就可以用对象和规 ...

关于形式系统的可应用性问题是数学哲学里面最大的问题，最常见的解释就是，可应用的原因是自然恰好在这方面符合了你的假设。但是

【查看更多内容请登录哈】