数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
楼主: elim

认识无穷

[复制链接]
 楼主| 发表于 2019-7-28 22:43 | 显示全部楼层
否认自然数集的实无穷性, 极限没有意义了. 所以 jzkyllcjl 的"数学"本质上就是满嘴喷粪. 这是不可否定的事实. jzkyllcjl 牛头不对马嘴的讨论作了 58年了, 成效全无.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-29 03:47 | 显示全部楼层
无穷数列是以自然数全体N, 或 M=N-{0,...,k}为定义域的函数a(n).
如果N或M还缺失成员,那么这个函数就没有确切的定义.就算有通项公式,这个公式的自变量也不能超出序列的定义域.所以否认N的既存性即认定N的有限性,就是否定无穷序列的既存性.也就是只承认有限数列.

直觉主义者可以辩解说,由“后继公理”,我们可以得到包括任意事先给定项数的序列.这话听着似乎有点道理,但事先给定的数已经在“当下”那个发育不全的的N中了.所以序列自然也还是发育不全的有限列.

如果这个序列”收敛”,它的极限是什么?假定连续统已建立,那么我们就说,存在定数 A, 使得对任给 t >0, 存在m, 不等式 |a(n)-A|<t 对一切大于m的自然数 n 均成立.极限的这个定义,对【自然数集的无以扩充性】的依赖是绝对的.说白了,没有实无穷意义上的自然数集,极限就没有严格的意义, 否定实无穷就否定极限. 这点从谢芝灵和青山那里可得很清楚. 他们至少在这件事上是保持逻辑的一贯性的.

第二次数学危机的本质, 就是无穷小量, 极限这些数学观念缺乏严格的释义和坚实的逻辑基础. 实无穷,的实数理论是这个逻辑基础的核心.
回复 支持 反对

使用道具 举报

发表于 2019-7-29 09:38 | 显示全部楼层
elim 发表于 2019-7-28 19:47
无穷数列是以自然数全体N, 或 M=N-{0,...,k}为定义域的函数a(n).
如果N或M还缺失成员,那么这个函数就没有 ...

我已经给你多次回复: 笔者的回复是:“我没有说只有有限数列,我说了自然数数列0,1,2,3,……就是无穷数列。对于这个数列,我说了两点:第一,根据自然数记数法则,这个数列是无穷数列,它的元素个数是符号+∞表示的无穷多;第二,这个数列具有永远写不到底的性质。这两个性质不是违反形式逻辑法则的坏矛盾,因为前者是在时间、空间可以无限延续下去条件下讲的,后者是对有限时间、空间讲的,是不矛盾的。如果一定要说有矛盾,那么这个矛盾是这个数列具有对立统一法则的两个方面的“没有矛盾就没有世界”的矛盾,是“一切事物中包含着的矛盾方面的相互依赖和相互斗争,决定一切事物的生命,推动一切事物的发展”的、必要的好矛盾。事实上,使用前一个性质,这个数列的中的元素,可以用来表示一切现实集合的元素个数,不需要提出无穷大自然数;使用后一个性质,可以消除现行数学理论中的三次数学危机与其它悖论、大难题、(怪)定理”。从瞬时速度的讨论,可以看出 第二次数学微机也需要使用 对立统一法则 解决。“一切事物中包含着的矛盾方面的相互依赖和相互斗争,决定一切事物的生命,推动一切事物的发展,没有矛盾就没有世界。”,
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-29 10:12 | 显示全部楼层
你多次重复发谬论的事情没有人否认. 但你否认实无穷使无穷序列无意义,极限无定义是狡辩不了的.

对一切大于 m 的 n 成立的命题, 对潜无穷者来说永远不成立.

我只是要说明, 你被数学社会抛弃是咎由自取. 活该.
回复 支持 反对

使用道具 举报

发表于 2019-7-29 14:25 | 显示全部楼层
自然数集合的意义需要在实践中不断完善,我没有提出有写不出的 有限自然数,没有反对提出对一切大于 m 的 n 成立的命题。我提出的自然数集合的元素永远写不到底的性质,不仅保证了自然数集合的元素是无穷多的,保证了无穷数列的存在,需要研究其趋向性质的极限问题,而且这个性质具有不能把N看作完成了的整体,把记作ω 后,称ω 是大于所有自然数的无穷序数[5],又把ω 写作阿里夫0 ,并称它为无穷基数[5]的,这就消除了 连续统假设的大难题,,也否定了大于N中所有自然数的无穷大自然数存在的 非阿基米德性质数域 ,否定了《分标准分析》与标准分析的争论。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-29 21:13 | 显示全部楼层
本帖最后由 elim 于 2019-7-29 16:26 编辑

你jzkyllcjl 是因为对无穷序列的存在性的肯定和对实无穷自然数集的否定的矛盾主张以及颠覆经典数学而出局的.我可帮不了你的忙.让我说说你怎么样,我只能照实告诉大家,jzkyllcjl 不仅程度低下,还时常作弊.这表现在他不仅自己不会论证计算,连给出的论证计算都读不懂.不懂装懂还频发谬论.对不对?
回复 支持 反对

使用道具 举报

发表于 2019-7-30 08:51 | 显示全部楼层
elim 发表于 2019-7-29 13:13
你jzkyllcjl 是因为对无穷序列的存在性的肯定和对实无穷自然数集的否定的矛盾主张以及颠覆经典数学而出局的 ...

笔者根据恩格斯的“笛卡尔的变数是数学中的转折点,因此运动的辩证法便进入了数学”的叙述,将无尽小数、无穷集合、几何基础、无穷级数、微积分都使用了变数的趋向性极限叙述方法,但他不同意:笔者说过实践是数学的基础,他说“实践建立不了数学”;笔者使用了对立统一法则,他说“数学不是哲学”。他用吃狗屎、畜牲不如的话骂我一万次,我很少回答他,最近我说了“我从来不吃狗屎”。 根本的区别就在于如何对待唯物辩证法与形而上学的问题,恩格斯在《反杜林论》中文1970年12月版19页讲过:“形而上学的思维方式,虽然在相当广泛的、各依对象的性质而大小不同的领域中是正当的,甚至是必要的,可是它每一次迟早要达到一个界限,一超过这个界限,它就要变成片面的、狭隘的、抽象的,并且陷入不可解决的矛盾”;在《自然辩证法》中文59年版228页讲道:“数学家……。他们忘记了,全部所谓纯粹数学都是研究抽象的,它的一切数量严格说来都是想像的数量,一切抽象在推到极端时就变成谬妄或自己的反面。”恩格斯虽然没有研究过康托儿与ZFC公理集合论,但恩格斯的这些论述,对这些问题的研究有指导意义。事实上,无穷集合都是使用趋向性极限方法提出的想象性事物,无穷数列的趋向性极限值具有数列不可达到的性质,无穷集合都具有不可构造完毕的性质,康托儿的“无穷集合是完成了的实无穷集合”的说法,就是推到极端的做法,最后导致了连续统假设的大难题与三分律反例、分球奇论、海涅定理的反例,从而走向使数学理论不能成立的反面。至于无穷集合是不是存在的问题,还需要指出,从建立数学理论来讲,需要提出这些想象性质的无穷集合,但从实际应用来讲,根据无穷集合无法构造完毕的性质,必须使用有限集合进行替换,但也需要知道有限集合的元素个数可以增大,即使对撒哈拉沙漠的沙子个数,也可以使用自然数表示。事实上,人们可以在近似方法下,算出沙漠的体积与重量,可以查出一克重沙子的个数,从而得到沙漠的粗略的自然数个数。具体问题需要具体研究,深入研究、辩证研究的唯物辩证法是解决问题的根本方法,形而上学的方法的使用是有界限的,超过了界限就不可用。Elim使用吃狗屎的骂人做法,是他无理的表现。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-30 09:42 | 显示全部楼层
jzkyllcjl 把恩格斯的辩证法庸俗化成吃狗屎,污蔑了恩格斯,被数学社会广大党员所不齿,活该被抛弃。
回复 支持 反对

使用道具 举报

发表于 2019-7-30 15:58 | 显示全部楼层
elim 发表于 2019-7-30 01:42
jzkyllcjl 把恩格斯的辩证法庸俗化成吃狗屎,污蔑了恩格斯,被数学社会广大党员所不齿,活该被抛弃。

我使用恩格斯的辩证法解决了数学理论研究中连续统假设的大难题与三分律反例、分球奇论、海涅定理的反例,并根据具体问题需要具体研究;深入研究、辩证研究的唯物辩证法使数学理论成为解决生产实际问题的活生生的工具。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-30 21:07 | 显示全部楼层
在你矛盾百出的理论中啥都没有,全解决了.就是解决不了这个理论被活生生抛弃的的尴尬.
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-24 06:52 , Processed in 0.108562 second(s), 13 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: