|

楼主 |
发表于 2022-3-31 18:09
|
显示全部楼层
9楼彻底否定了 jzkyllcjl 数学纲领的第一条:数学是关于现实数量大小的科学.
树立了与之相反,正确的数学观:数学是研究抽象结构的学科(参见4楼).
【jzkyllcjl 数学纲领】批判 (2)
实践不是检验数学真理的标准. 相反数学真理常常是检验实践的正确性的标准。
例1 假定长度为 \(d\) 的钢筋被分成三截,检验这个分割均匀的方法是它们与 \(0.\dot{3}d\) 的差几乎相等. 或者它们两两几乎相等.
例2 假定某大型天文台的球面穹顶底端的圆形轨道需要重建, 检验该轨道合格的方法是验证存在某个点,使得轨道上任意点到该点的仰角几乎相等.
反过来, 由于数学定理一般都是某无穷论域上的经过论证的全称判断,只要论证正确,就不会有反例。所以实践既不可能证伪定理,也不可能穷尽对定理的(不必要的)检验。另外,测不准的实例根本无法证实定理.
【jzkyllcjl 数学纲领2】至此被彻底否定. |
|