【数学】解けたら１億円　数学者も恐れる「ハマると病む難問」コラッツ予想　日本のベンチャー企業が世界最高レベルの懸賞金 [すらいむ★]

**名無しのひみつ** · 2021/09/06(月) 06:10:56.69

>>88
「〇〇は有限でない(無限に存在する)」系の証明は、ある意味で計算できない事を言ってるので、そういうやつかな？
ゲーデルの不完全性定理を扱った啓蒙書とか図書館さがしてみては？