现代微积分对导数的矛盾定义（3）：曲线的切线斜率无意义

jzkyllcjl

elim 发表于 2019-4-26 12:33
jzkyllcjl 以为不需要自然数全体的既存性就可以定义序列或极限. 难怪他没法给出极限的严格定义,也没法给出 ...

我已经讲了：极限以及序列的定义都要求自然数的既存性”也是对的。但不需要自然数集合是完成了的实无穷性质；无穷序列 也具有写不到底的性质，求极限 也不需要自然数集合是完成了的实无穷性质； 只要有一个 无穷序列的通项表达式就可以了。

elim

无穷集合的既存性就是实无穷性. jzkyllcjl 的"完成"不是人类数学的概念.

jzkyllcjl

elim 发表于 2019-4-27 06:45
无穷集合的既存性就是实无穷性. jzkyllcjl 的"完成"不是人类数学的概念.

你的“无穷集合的既存性就是实无穷性”是假命题。 事实上，无穷集合都是写不完其所有元素的，其元素个数为非正常数+∞的 非正常集合；无穷集合不是既存的，而是无穷集合序列 趋向性质无法完成了的理想性集合。例如自然数集合是以正常集合为元素的无穷序列
   {0}，{0，1}，{0，1，2}，…，{0，1，2，3，4，5，6，7，8。9。10。11}…… 的广义趋向性极限性质的达不到集合。

elim

平面是实无穷点集，与jzkyllcjl 的秃笔点不完毫无关系．

jzkyllcjl

elim 发表于 2019-4-28 18:24
平面是实无穷点集，与jzkyllcjl 的秃笔点不完毫无关系．

文献[2]82-87页介绍了分球奇论，仔细分析一下这个奇论的来源是《几何基础》理论造成的。从 《几何基础》中巴士公理之后，他证明的“直线上任意A、C两点之间至少有一个内点B”与“直线上任意两点之间存在着无穷多点”[8]的定理来看，这个定理带来的“线段是无穷多点的集合”、“位于直线上任何两点之间，有无穷多个另外的点，这些点的集合，叫做线段”（这句话来自于马忠林译《初等几何学教程》第4页）。因此这个定理也带来了球面、球体是点的集合的概念，分球奇论的依据就是这个定理。现在根据这个定理的证明来看，它的证明需要使用无穷次操作，由于无穷次操作是无法进行的，所以这个定理的证明是违背实践的证明。在这个定理不能成立的意义下，分球奇论就不存在了。
对于elim说的“平面是实无穷点集|”的话，也需要按照上述方法批判。 至于“实无穷”这个术语， 根据数学百科全书第一卷26-28页，在“实无穷抽象”词条中讲到：“(例如从零开始逐步产生正整数的过程）、实无穷抽象在于不管这个过程在原则上并不终结这个事实而在假定它们已经终结的情况下考虑这个过程的结果，即假定其客观集合已经生成”。这个术语是违背“无穷次操作无有终结”事实的术语，是不能使用的术语。elim说的“平面是实无穷点集|”的话是不讲事实 的话。

elim

jzkyllcjl 数都不识，自然不懂分球奇论，连续统这些东西了．啼啼搞不定0.333...的猿声，已经达到是畜生不如了．呵呵

jzkyllcjl

elim 发表于 2019-5-2 22:45
jzkyllcjl 数都不识，自然不懂分球奇论，连续统这些东西了．啼啼搞不定0.333...的猿声，已经达到是畜生不如 ...

第一，分球奇论，连续统假设的大难题必须解决，但你解决不了。只会骂人。
第二， 0.333...的问题，我早就搞清楚了，它是分数1/3的 不足近似值数列0.3，0.33，0.333，……的简写 。
可你不懂，只会骂人。

elim

分球奇论就是一个定理，连续统假设独立于ZFC也被证明． jzkyllcjl  不只会啼搞不定 0.333...的猿声，还会诬陷数学界．畜生不如称号非他莫属也．

jzkyllcjl

elim 发表于 2019-5-3 13:40
分球奇论就是一个定理，连续统假设独立于ZFC也被证明． jzkyllcjl  不只会啼搞不定 0.333...的猿声，还会诬 ...

你的集合无穷集合存在，或ZFC形式公理体系中的无穷集合存在公理都是实无穷抽象方法下的存在。关于无穷集合实无穷抽象方法，数学百科全书第一卷27页说到：“实无穷抽象”词条中讲到：“(例如从零开始逐步产生正整数的过程）、实无穷抽象在于不管这个过程在原则上并不终结这个事实而在假定它们已经终结的情况下考虑这个过程的结果，即假定其客观集合已经生成”[6]，这说明：把自然数无穷集合看作完成了的实无穷集合的数学理论是违背事实的。
定义3：元素个数为有限自然数，且集合本身不能作为集合元素的集合，叫做正常集合，否则，叫非正常集合。由于无穷集合的元素个数都是非正常实数+∞，所以无穷集合都是非正常集合。 这就消除了罗素悖论。

elim

你的“过程”与集合论毫无关系．没有数学意义．你啼的那些猿声跟数学也毫不相干．