数理逻辑没有给 jzkyllcjl 留偷换,篡改概念, 反逻辑的空间, 他很不爽

elim

数理逻辑没有给 jzkyllcjl 留偷换,篡改概念, 反逻辑的空间, 他很不爽

这恰恰是我开始使用形式语言来批判 jzkyllcjl 的原因.

elim

数理逻辑无非是形式逻辑的代数化. 彼此是完全相容的. 反对这样的东西其实就是反逻辑, 逻辑是思维实践的总结, 反逻辑必然反实践. 难怪 jzkyllcjl 除了不反对吃狗屎这个实践, 其它什么都反.

jzkyllcjl

所有无穷集合都具有对立统一的两个方面。这两个方面是：①一方面，无穷集合的元素个数都依赖于它们的通项构造法则，它们的元素个数都是无限增长着的趋向性极限性质的、想象性质的非正常实数+∞，它们也因此，才可以叫做无穷集合。②另一方面，无穷集合都具有“在任何有限时间内，都延续不到底的性质”。所以，任何无穷集合都不是“已经构造完成了的实无穷”意义的无穷集合。无穷集合的上述两个性质，是相互依赖的，事实上，它的无穷性依赖于不可完成的性质，如果完成了就不会是无穷的；反过来，不可完成性也依赖于无穷性，如果是有穷的，那么就可以完成了。两个性质之间是相互斗争的，各有各的用处；分工合作才构成有用而正确的无穷集合理论。事实上，根据不可完成性，无穷集合的元素个数就不是定数，就不能提出康托儿的无穷序数与无穷基数理论；这样一来，康托儿提出的“连续统假设的大难题”就不存在了。

elim

吃狗屎的 jzkyllcjl 的无穷集合有狗屎的一面, 也有食物的一面, 这些都与数学的无穷集合没有太大关系. 当你 jzkyllcjl 与人类数学对话, 你就要拿出你的论断的根据来. 在没有公理的情况下, 你要例如无限增长是什么意思, 是你的感觉还是集合像庄稼施了肥料成长,? 如果是后者, 告诉大家集合元素的分子式, 质量, 生长期等等? 如果你交代不了这些, 你吃狗屎弄数学只能继续被人类数学抛弃.

elim

数理逻辑无非是形式逻辑的代数化. 因此形式逻辑与数理逻辑是完全相容的. 反对这样的东西其实就是反逻辑, 逻辑是思维实践的总结, 反逻辑必然反实践. 难怪 jzkyllcjl 除了不反对吃狗屎这个实践, 其它什么都反.

jzkyllcjl

当代的数理逻辑无法解决三分律反例，所以希尔伯特提出了有穷方法可靠的意见，而且提出了无穷是理想数学元素的意见，他的不够之处，也在于没有使用对立统一的唯物辩证法法则。

elim

数列逻辑不能解决的问题, 其它逻辑也一样不能解决. 但吃狗屎的 jzkyllcjl 的"反例", 对人类数学不存在, 没有什么要解决的.

jzkyllcjl

形式逻辑  无法建立无矛盾的数学体系，需要使用唯物辩证法。

elim

jzkyllcjl 尊重狗吃屎的事实吃上了狗屎，并称这个逻辑为唯物辩证法．

狗屎连狗都不吃而你jzkyllcjl 却不知好歹誓死吃屎，还要以此来黑唯物辩证法．这样不好吧？