Talk:Cryptids: Difference between revisions
Jump to navigation
Jump to search
Created page with "from https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: "O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent"" |
No edit summary |
||
| Line 1: | Line 1: | ||
from https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: | from: </p> | ||
https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: | |||
</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:35, 17 July 2024
from:
"O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent"