|

楼主 |
发表于 2019-7-17 12:37
|
显示全部楼层
本帖最后由 elim 于 2019-7-16 21:44 编辑
春风晚霞先生, 数学世界是使得形式逻辑得以全面贯彻的观念的世界. 这个世界脱离了实践的局限性, 测不准性, 主观性和盲目性. 与马克思主义哲学以及毛的实践论这些被神化了的思想方法所对应的现实世界本质上没有也不应当有交集.
数学与实践的关系可以这么概括: 一个实践(实际)问题, 是通过模型(忽略次要因素, 用数学语言给出主要参数,变量间的关系(主要矛盾)), 成为数学问题, 然后利用数学定理或数学方法给出解答, 再对这种数学解答作出实践性的解读. 从实践的角度看, 数学的全部力量恰恰在于对实践的否定之否定. 所以从纯数学的观点看, 辩证, 实践这些没有精确性, 定性而定不了量的东西必须从推演,构造和论证中彻底扬弃. 没有精确就没有定理或者就没有论证. 既然精确不是物质世界的呈现, 那么数学就需要扬弃,无视这些障碍, 专注于数学结构本身的规律.
上述观点虽然未必被谁明确提出, 但毫无疑问是纯数学发展的终极依归. 一切离她而去夸夸其谈, 花言巧语到头来都站不住脚, 成为过眼云烟.
所以ZF集论是必要的, 它处理数学的一般论域. 具体说来, 集合论就是概念外延的理论和算术. 这样看集合论, 无穷集合都是确定恒常的无穷, 俗称实无穷 (例如区间 [0,1]), 无穷集合的既存性是算术的必要条件. 根本没有商量的余地. 直觉主义, 有限构造论等等夸夸其谈都建立不了数学基础. 在他们勉强建立起来的自然数中, 归纳法不可证.
所以你对 jzkyllcjl 的那些苦口婆心, 对他无用, 对他人也益处不大. 需要用元数学(Meta Mathematics) 来彻底批判 jzkyllcjl.
实无穷根本就是不可避免的, 完全必要的, 彻底合理的. 至于洪水猛兽, 那都是蛮荒时代的东西. jzkyllcjl 就是想成为这些兽的祭物, 劝不住的.
|
|