4 ms·
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.
by srcreigh 3y ago
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.
- MaxBarraclough 3y agoThat doesn't sound right, we already have automated theorem provers, as imperfect as they may be.