第一百三十四节 自然兵魂
第一百三十四节 自然兵魂 (第2/3页)
的链条!寻求事实在时间这个维度里不断延继下去,很多所谓的“丑恶”,随着时间和空间的发展变化,转变得面目全非,要么罪恶也不再被认为是“丑恶”化的。
因此,如果没到盖棺定论那一天的到来,当下的丑恶撒旦天使未根除,也不能证到此事为神的授意。这种困境论据彻底让理论发展去绝望!
“哥德尔不完备定理”,则是说任何完整或完备的公理系统是不存在的。这些理论想法成为现代的顶尖巅峰,却浅如皮毛。
“我们永远不能发现万能的公理系统能够证明一切中任意一个数学真理,也不能证明任何谬误”,于其在说明,不存在决定任何一条语句是否公理的有效算法。例如数学家因此联想沮丧地说:“现代数学界的概念因为数学无疑是相容的,然而我们不能证明这种相容性现象。”。
这就是说数学发展的再精端,敏锐看到也要寻求被“被证明”。例子也有,莱布尼茨有太超前的想法,让“符号与数理方法研究逻辑”,至终他没能完成他的夙愿。
这似乎“哥德尔不完备定理”实现了!数理出现概念:任何无矛盾的公理体系,演算过程中只要包含初等算术的陈述,则也必定存在携带一个不可判定命题,判定运算出所得结果是真与假不理想。
“真”与“可证”这两个概念在数学问题上寻求取舍,不能同时完美结合完成。数学是为了求证,然而求证问题上的大概念方面出现了疑问。
罗素悖论,“一个元素或者属于某个集合,或者不属于某个集合。”的问题,在数学基础的研究未能找到解释。集合论提供了要如何描述数学物件的语言,但是足够严谨吗?值得怀疑!数学什么也不能表示。
怪哉!数能够陈述证明物的存在吗?若选择回答不能呢,则推出结论数学就不能证明真理。然而这样的推理有意义吗?我们依然要运用数学这个复杂精巧的程式为科学服务。
心若在梦分析现时代的科学研究,他们论述方向上也就像李聃五千言那么样:推崇圣还是弃绝圣,如坠五里烟雾!
计算编程概念中形式语言、图灵机、元数定义等概念,预示着让数学为真理更灵活运用的更高要求。
“数理研究”、“集合距阵”,这样的高难度问题要回望七千年前的初级研究了(说明:这个时间也许是不应该采用的烦恼约数的时间,也许没有任何意义!无得他有,穿越更久远的时间我们谁也不会看到,暂且用之。)。
元数研究,“无穷大”与“超限数”是研究的一个“癸”数。转变为象比数能够证明它的存在,如数学大厦最近出现“分类公理”、“类的定义”想法的过渡似这新思维萌芽。
当现代前沿沉迷于在逻辑或数学的范畴中证明任何能够肯定的真理也是不可能的推论。为什么呢?七千年前《易》学中数理
(本章未完,请点击下一页继续阅读)