- 主题:0.循环9=1的严格证明zz
这个比较特殊,0可以舍去,如果不舍去0,那也是没有最后一位的
【 在 ztysys () 的大作中提到: 】
: 如果 1.0.... 没有最后一位的概念,那就是绝对等于1了吧,而不是极限等于1
:
: 【 在 ericzeng 的大作中提到: 】
: : 当然不是,它没有最后一位
--
FROM 111.197.245.*
你都扯到哥德尔了?这个问题和选择公理那样的问题不一样,是可以证明的
【 在 johnfader (ALOHA_Aplomb) 的大作中提到: 】
: 哥德尔不完备定理,为啥要证明,这种就属于哥德尔不完备定理。
: 不能自证。
: 【 在 Zinux 的大作中提到: 】
: : 所有分数、无限小数的所谓证明都是不严密的,就不要来摆了。
--
FROM 111.197.245.*
【 在 gulunmu (小月长亭) 的大作中提到: 】
: 你都读偏了,我哪里没有承认实无穷?恰恰已经承认肯定是坐标轴上固定的一个位置有他。
:
: 两个实数要么相等要么之间隔着无数个实数,实数不存在最接近的实数而坐标轴又是连续的,我确实有点理解不了。
你理解不了的这个部分正好涉及到实无穷l q
:
--
FROM 111.197.245.*
是的,前面很多人都认为这俩数之间差一个无穷小量,这就是典型的牛顿时代的理解,而不是严格化的极限理论的理解
【 在 milksea (肥了,又肥了 >>>_<<<) 的大作中提到: 】
: 友提,大部分受过高等教育的人,使用非数学专业的微积分(高等数学)教材对严格性的要求比较低,很多确实还是简单使用十八世纪前的无穷小之类直观思路理解和计算的,也没有理论证明。所以确实会大量出现类似的场景:
: n→∞时1/n→0,
: x→0时x/sin(x)→1,
: 其中箭头读作“趋于”。名称上叫它极限但辅助理解时实际使用无穷小量、微元法和几何直观而不是现代证明。我觉得既然没系统学过,理解混淆了也无可厚非……
--
FROM 111.197.245.*
是的,精确定义还得用映射
【 在 milksea (肥了,又肥了 >>>_<<<) 的大作中提到: 】
: 大部分人对省略号的理解是直观的,下意识是有限的。
: 其实省略号应该理解为从自然数到每一位的一个映射的简写形式。直观上就是精确定义任意一位。这样就严格了,而且一下子就能看到无穷集N的作用。
: 【 在 nikezhang 的大作中提到: 】
: : 你的0.999.......1的1后面没有数字了,那就是有限小数,前面位数是有限的,不能是无限的
--
FROM 111.197.245.*