科学及其定义

究竟何为科学？‌依据对这个问题的回答，可将ID分为文理两类。凡是认为能证伪方为科学者，谓之哲学型ID；凡是认为至少含有一个数学模型的理论方为科学者，谓之理工型ID 。两相比较，前者是虚空的形而上产物，后者是具可操作性的形而下产物。何去何从，诸咖尽可自己选边站队，反正我凯我猫七成名媛都在李楼:‌1)一择不慎，光棍终生；2)不仅光棍，还将面临李楼火力断供；3)断供之后，仍有叉格制裁。说数学因不可证伪而不算科学，那何不把数学研究所搬到社科院去呢？其实，数学也有可证伪性，只是人云亦云者读书不求甚解而体会不到位：从具体数学命题的证伪到某一数学理论的整体证伪，都数不胜数。比如，证伪负数在实数集内有平方根就是单个命题的证伪。再比如，证伪集合论在公理化之前自洽，则属于某一理论的整体证伪。任何时候，都不要跟着哲学家人云亦云。