3 ms·
Regehr himself "disproved" Fermat's Last Theorem by abusing a non-terminating loop and over-aggressive compilers. http://blog.regehr.org/archives/140 http://bl
by tamana 11y ago
Regehr himself "disproved" Fermat's Last Theorem by abusing a non-terminating loop and over-aggressive compilers.
http://blog.regehr.org/archives/140 http://blog.regehr.org/archives/140
- webkike 11y agoYes, this I a great example of the consequences of undecidability. Was taught to me in my algorithms and proofs class