3 ms·
If it is impractical now, that simply means the software needs improvement. If mathematicians stop being so accepting of informal proofs then there is a very st
by mrob 8y ago
If it is impractical now, that simply means the software needs improvement. If mathematicians stop being so accepting of informal proofs then there is a very strong incentive to improve the software.
- danharaj 8y ago> that simply means The point is that it's not simple. It will require significant advances in computer science.