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

一個收斂的無窮數列，收斂值是圓周率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