数学已跻身科学?

这个话题 , 已争论有年 。​​最近一个时期以来 , 随着李楼建模帖的增多 , 猫眼楼际叉格斗争出现了一个新动向:用杂文帖否定数学的科学身份 , 以达到反李目的 。 这也算一大发明 , 树欲静而风不止 。 有鉴于此 , 李楼今天尝试给出科学一词的谓词演算定义 , 并基于该定义证明数学究竟算不算一门科学 。​ 设n元命题集合T={x1,x2,…,xn|} , 且T中至少存在一个能够有效描述给定研究对象P的数学模型M , 且基于M可导出至少一个未知命题 , 则称T为一门关于对象P的科学 , 即 T={x1,x,…,xn|∃xi:xi=M,1≤i≤n}上式表征 , 所谓科学即含有至少一个数学模型的命题集合 。​基于上述定义 , 显然可以证明数学算是跻身科学了 。​证明:设函数f(x)与g(x)满足Cauchy定理的所有条件 , 且假定迄今为止全体数学命题所构成的集合不算一门能够满足上述定义的科学 , 则有​C⇏[f(b)-f(a)=f""""(ξ)(b-a)]式中 , C为Cauchy定理 , 箭头⇏​右边为Lagrange定理 , 证毕 。​ 叉格斗争 , 一抓就灵 。 数学究竟算不算科学 , 这个问题是泡猫眼的首要问题 。 回答这个问题的唯一途径 , 既非杂文也非散文 。 只有用数学定义什么是科学 , 并且用数学推导出结论 , 才能给出一个负责任的答案 。


    推荐阅读