怡心湖

会·生活

数学到底是“人造游戏”还是“宇宙真理”?

数学是“人造游戏”还是“宇宙真理”?柏拉图主义者坚信数学是客观存在的抽象实体,如勾股定理般被不同文明“撞见”;形式主义者则视其为符号游戏,如同象棋规则般人为约定...

数学对象:模型论与实在论的本质之争

数学究竟是“发现”还是“发明”?实在论者认为数字和几何是独立存在的抽象实体,如同哥伦布发现新大陆;模型论者则视数学为公理框架下的角色扮演,像改编不同版本的《哈姆...