未深入學習過計算機，我有個問題好像是跟停機問題是有關的:

一個收敛的無穷數列，收斂值是圆周率pi 。(an infinite sequence converging to pi)

 人工智能能够確認(確認，不是近似)其收斂值是 pi 嗎？Pi 是無理數。

數列的每一項及每個 partial sum 都是有理數，而數列有無穷多項，故計算速度非决定因素。

計算機怎麽知道算到哪儿該停下来確認 Pi?

 

所有跟帖： 

• 计算机有这么证明过吗？ -老键- ♂ (0 bytes) () 12/19/2020 postreply 20:33:26

• 不知道，這衹是個我自己聯想到的簡單化的問題。。 -中间小谢- ♂ (406 bytes) () 12/19/2020 postreply 21:27:34

• 正是这样 -老键- ♂ (0 bytes) () 12/19/2020 postreply 21:33:37