- 主题:极小的小数是打印不出来的吧？
看看IEEE浮点数格式
【 在 sqsl 的大作中提到: 】
: 双精度浮点数，打印时用的"%.5e"
: 打出来效果是：
: 3.00000e+0000.00000e+0000.00000e+0000.00000e+000
: ...................
--
FROM 114.246.205.*
你确定这是个极小的数吗？？
在浮点数里面，本身就有 +0.0 和 -0.0 这两个精确的值
用1除以它们，得到的结果也不同，分别是 inf 和 -inf
建议看看IEEE-754，里面说的很清楚
【 在 sqsl 的大作中提到: 】
: %.16e也打不出这个极小数-0.0000000.....
: 这是为什么呢
:
--
FROM 111.198.158.*
不确定，应该是计算出来的，所以我就以为是极小数。我去看看吧
【 在 imzhdb 的大作中提到: 】
: 你确定这是个极小的数吗？？
: 在浮点数里面，本身就有 +0.0 和 -0.0 这两个精确的值
: 用1除以它们，得到的结果也不同，分别是 inf 和 -inf
: ...................
--
FROM 111.193.233.*
所以在计算机上怎么用编程证明
1/2+1/3+1/4+.... +1/n => 无穷大
【 在 sqsl 的大作中提到: 】
双精度浮点数，打印时用的"%.5e"
打出来效果是：
3.00000e+0000.00000e+0000.00000e+0000.00000e+000
0.00000e+0002.66667e+0000.00000e+0000.00000e+000
0.00000e+0000.00000e+0003.12500e+000-0.00000e+000
0.00000e+0000.00000e+0000.00000e+000-1.95600e+001
0.00000e+0000.00000e+0000.00000e+0000.00000e+000
这个-0看着真的恶心，想打印出来实际值有什么办法？
还是判定小于多少就等于0了算了？
--
FROM 218.66.91.*
证明是逻辑推理不是简单计算。辅助推理证明的计算机语言也有，比如coq，lean，证明这个序列发散都没问题。
【 在 b0207191 的大作中提到: 】
: 所以在计算机上怎么用编程证明
:
:
: ...................
--
FROM 117.172.56.*
没看懂这是个啥
【 在 sqsl 的大作中提到: 】
: 双精度浮点数，打印时用的"%.5e"
: 打出来效果是：
: 3.00000e+0000.00000e+0000.00000e+0000.00000e+000
: ...................
--
FROM 39.144.158.*