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

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

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

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

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