We don't know whether every true statement about whole numbers can eventually be verified by a computer given unlimited time.
open
Global / Unspecified, Global
WS01256
Some mathematical truths may be true but fundamentally unprovable within any given formal system, a possibility raised by Gödel's work but not fully mapped out for all classes of statements. This unresolved boundary shapes the philosophy of computation.