Search results
Jump to navigation
Jump to search
- .../channels/960643023006490684/1239205785913790465/1266428071817379862</ref> Racheline originally suggested that it "maybe pentational BB(6) cryptid".<ref>https:/ ==Analysis by Racheline== ...2 KB (264 words) - 10:06, 11 August 2025
- ...er]] or to halt. However, it does not run long enough to be a [[Cryptid]]. Racheline was able to simulate it long enough to prove that it halts in about <math>1 ...1 KB (185 words) - 18:17, 16 August 2025
- == Analysis by racheline == ...2 KB (215 words) - 18:22, 16 August 2025
- |Racheline in 2024 |Racheline in 2024 ...6 KB (886 words) - 20:31, 14 August 2025
- {{TM|1RB3LA1LA1RA3RA_2LB2RA---4RB1LB}} is a [[BB(2,5)]] TM analyzed by Racheline [https://discord.com/channels/960643023006490684/1349040227548663858/134944 Analysis by Racheline: ...982 bytes (195 words) - 11:52, 5 August 2025
- .../channels/960643023006490684/1026577255754903572/1243253180297646120</ref> Racheline analyzed the machine by hand in Feb 2025, validating the result and provide == Analysis by racheline == ...5 KB (711 words) - 13:58, 18 August 2025
- ...yptid which is neither [[probviously]] halting or probviously non-halting. Racheline estimates that it has a 3/5 chance of become a [[Translated Cycler]] and 2/ ...3 KB (243 words) - 01:28, 9 July 2025
- ...BB(5)]] = 47,176,870 and the upper bound from a specific 14-state TM found Racheline in August 2024 which runs for <math> > f_{\omega + 1}(65\,536) > g_{64} </m |[[User:Racheline|Racheline]] ...4 KB (532 words) - 17:51, 10 December 2024
- ...}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 23 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785 ...815 bytes (132 words) - 01:11, 9 July 2025
- ...LC_1LE0RF_1RZ1RA|halt}} is a long running halting [[BB(6)]] TM analyzed by Racheline on 25 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785 Analysis by Racheline: ...3 KB (398 words) - 18:33, 16 August 2025
- Analysis by mxdys and Racheline: ...600 bytes (121 words) - 11:01, 6 August 2025
- ..._1RE1RB}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @racheline and shared on Discord on 25 Nov 2024. ...842 bytes (151 words) - 20:16, 10 August 2025
- Analysis by @racheline on 29 July 2024 ([https://discord.com/channels/960643023006490684/123920578 ...992 bytes (181 words) - 18:11, 16 August 2025
- Analysis by racheline ([https://discord.com/channels/960643023006490684/1239205785913790465/12844 ...1 KB (204 words) - 20:58, 8 August 2025
- ...}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/123920578 ...1 KB (171 words) - 01:11, 9 July 2025
- ...}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 30 July 2024 ([https://discord.com/channels/960643023006490684/123920578 ...996 bytes (162 words) - 01:20, 9 July 2025
- ...tapes (not just blank tapes like the traditional BB problem) discovered by Racheline on 15 Feb 2025. Racheline proved by hand that <math>BB^-(2, 2) = 6</math><ref><math>BB^-(2, 2) = 6</m ...4 KB (655 words) - 19:22, 26 July 2025
- ...}} is a [[probviously]] halting tetrational [[BB(6)]] [[Cryptid]] found by Racheline on 29 July 2024 ([https://discord.com/channels/960643023006490684/123920578 ...1 KB (200 words) - 01:37, 9 July 2025
- ...ains, which would open a pathway for proving it non-halting."</blockquote>@Racheline wrote an accelerated simulator of this TM in Python:<syntaxhighlight lang=" ...3 KB (399 words) - 21:11, 10 August 2025
- ...D|halt}} which was discovered by Pavel Kropitz in May 2024 and analyzed by Racheline in Feb 2025 which demonstrates the lower bounds: ...3 KB (367 words) - 18:56, 16 August 2025