News for hackers. Stuff that matters.

A comment on Is Mathematics Over, or Just Graduating?. Parent comment

Re:Is Mathematics Over, or Just Graduating? by gobdovan on Monday October 05, 2026 @08:47PM (#49972771)
That's now how it works. You generally can't know if a statement is provable/unprovable under A. In most cases, there's nothing to identify a new corpus.
[ Parent | on HN ]
Re:Is Mathematics Over, or Just Graduating? by strbean on Tuesday October 06, 2026 @03:20AM (#49975289)
I'm not saying we can know for a particular statement. Just that, per the incompleteness theorems, we know A is incomplete. Hence there is always room for our knowledge of mathematics to grow.
[ Parent | on HN ]