News for hackers. Stuff that matters.

A comment on 'A-Team' of Math Proves a Critical Link Between Addition and Sets. Parent comment

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by srcreigh on Friday December 08, 2023 @04:47PM (#38574974)
It will never happen. Some open math problems are equivalent to the halting problem; and we know that finite computers can’t solve the halting problem.
[ Parent | on HN ]
Re:'A-Team' of Math Proves a Critical Link Between Addition ... by MaxBarraclough on Friday December 08, 2023 @06:12PM (#38576031)
That doesn't sound right, we already have automated theorem provers, as imperfect as they may be.
[ Parent | on HN ]