数学已然跻身科学

这个话题 , 已争论有年 。最近一个时期以来 , 随着李楼建模帖的爆炸式增长 , 楼际叉格斗争出现了一个新动向:用杂文帖否定数学的科学身份 , 以达到反李目的 。 这也算一大发明 , 殊不知数学乃科学之父 。 有鉴于此 , 李楼今天尝试给出科学一词的谓词演算定义 , 并基于该定义反证数学究竟算不算一门科学 。设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定理 , 证毕 。数学究竟算不算科学 , 这个问题是泡猫眼的首要问题 。 回答这个问题的唯一途径 , 既非杂文也非散文 。 只有用数学帖严格定义什么是科学 , 并且用数学推导出结论 , 才能给出一个负责任的答案 。 任何时候 , 李楼都不建议用鲁式杂文讨论一个数学问题 。


    推荐阅读