☔️ 21:49:30
研究的对象是自然吧
☔️ 21:49:52
不以人的意志为转移
☔️ 21:57:56
[不支持的元素类型]@小马皮皮 数学是人定义的吗
小马皮皮 22:14:10
数学可以说是发明,也可以说是发现
☔️ 22:17:39
[不支持的元素类型]@小马皮皮 为什么
☔️ 22:17:41
说说
小马皮皮 22:40:27
逻辑上是发现
小马皮皮 22:40:32
形式上是发明
☔️ 23:02:55
[不支持的元素类型]@小马皮皮 数学是逻辑吗?
徘徊 11:22:33
数学有四大流派
徘徊 11:25:49
1.数学柏拉图主义认为存在一个数学理念世界
2.数学逻辑主义,认为数学可以用逻辑语言表达,代表人物罗素
3.数学形式主义,数学都是可证明希尔伯特
4.数学直觉主义,认为数学是人创造,代表人物布劳威尔
徘徊 11:26:37
数学形式主义者认为数学是形式科学,数学柏拉图主义者认为数学根本就不是科学