怡心湖

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

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