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 difference)
|
Revision as of 07:34, 17 July 2024
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"