https://wiki.bbchallenge.org/w/api.php?action=feedcontributions&feedformat=atom&user=Mkmkmk 2026-05-01T02:12:30Z User contributions MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=Talk:Cryptids&diff=479 2024-07-17T08:35:08Z

<p>Mkmkmk: Blanked the page</p> <hr /> <div></div>

Mkmkmk https://wiki.bbchallenge.org/w/index.php?title=Talk:Cryptids&diff=478 2024-07-17T07:37:58Z

<p>Mkmkmk: </p> <hr /> <div>[https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/ from] :<br /> &lt;/p&gt;<br /> &quot;O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent&quot;</div>

Mkmkmk https://wiki.bbchallenge.org/w/index.php?title=Talk:Cryptids&diff=477 2024-07-17T07:35:48Z

<p>Mkmkmk: </p> <hr /> <div>from: &lt;/p&gt;<br /> https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/:<br /> &lt;/p&gt;<br /> &quot;O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent&quot;</div>

Mkmkmk https://wiki.bbchallenge.org/w/index.php?title=Talk:Cryptids&diff=476 2024-07-17T07:34:59Z

<p>Mkmkmk: Created page with &quot;from https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: &quot;O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent&quot;&quot;</p> <hr /> <div>from https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/:<br /> &quot;O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent&quot;</div>

Mkmkmk