Talk:Cryptids: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/ from] : | |||
https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: | |||
</p> | </p> | ||
"O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent" | "O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent" | ||
Revision as of 07:37, 17 July 2024
from :
"O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent"