Search results
Jump to navigation
Jump to search
- == Analysis by @dyuan01 == ...1 KB (186 words) - 19:56, 31 March 2026
- ...1259770421046411285/1267650177389432913 A proof was given by Daniel Yuan (@dyuan01) of the machine's nonhalting on July 30th 2024.] {{TM|1RB3RA2LB1LB1RB_2LA2R === Analysis shared by Daniel Yuan (@dyuan01) on Discord, [https://discord.com/channels/960643023006490684/1084047886494 ...5 KB (674 words) - 07:24, 19 April 2026
- == Analysis by @dyuan01 == ...3 KB (548 words) - 15:01, 3 September 2026
- === dyuan01 === dyuan01 [https://discord.com/channels/960643023006490684/1084047886494470185/125482 ...11 KB (1,380 words) - 16:12, 27 September 2025
- ..._0RB---}} is a [[probviously]] non-halting [[BB(6)]] [[Cryptid]] found by @dyuan01 and shared on Discord on 04 Sep 2024. ...910 bytes (166 words) - 04:43, 28 September 2025
- ...d.com/channels/960643023006490684/1084047886494470185/1211902511829749810 @dyuan01]. [https://discord.com/channels/960643023006490684/1403766358755377202/1403 ...3 KB (470 words) - 01:38, 29 September 2026
- ...([https://cosearch.bbchallenge.org/contribution/3wxkcx6f cosearch]), and @dyuan01 independently discovered non-halting arguments for [https://discord.com/cha ...d.com/channels/960643023006490684/1084047886494470185/1224879612165881888 @dyuan01 and @Justin Blanchard,] infinitely enumerate the series <math>p_n = a 2^n - ...12 KB (1,559 words) - 03:24, 17 September 2026
- |@dyuan01 |@dyuan01 ...39 KB (3,846 words) - 13:24, 19 October 2026
- == dyuan01's Rules == ...de>0^∞ 1 2^a <C (20)^c 0^∞</code>, where A<sub>1</sub>(a, b, c) comes from dyuan01's rules. Then the TM satisfies the following rules once it reaches A(0, 1) ...24 KB (3,459 words) - 00:11, 20 July 2026
- ...e such that A_n <B B_n are all visited, but A_m <B B_n halt for m < n.<ref>dyuan01. 2 Aug 2024. Discord: https://discord.com/channels/960643023006490684/10820 ...13 KB (1,501 words) - 19:16, 1 October 2026
- |Daniel Yuan (@dyuan01) [https://discord.com/channels/960643023006490684/1362008236118511758/14347 |Decider: Daniel Yuan (@dyuan01) [https://discord.com/channels/960643023006490684/1438019511155691521/14385 ...38 KB (4,342 words) - 15:28, 9 October 2026
- The analysis by {{mono|@dyuan01}} is available [[:File:BB_2x5_Dekaheptoid_Non_Halt_Proof_Version_2_.pdf|her ...14 KB (2,440 words) - 14:01, 20 February 2026
- ...//discord.com/channels/960643023006490684/1348878717870673981 Analysis by @dyuan01 and @Legion] ...29 KB (3,624 words) - 20:35, 17 October 2026
- </pre>dyuan01 — 26 Jun 2024 at 2:32 PM ...20 KB (3,077 words) - 19:22, 20 July 2026