1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA: Revision history

27 September 2025

• curprev 04:4404:44, 27 September 2025‎ Int-y1 talk contribs‎ m 2,062 bytes +20‎ add category BB(6)

22 September 2025

• curprev 08:5008:50, 22 September 2025‎ Int-y1 talk contribs‎ 2,042 bytes +262‎ rocq proof
• curprev 03:3503:35, 22 September 2025‎ Int-y1 talk contribs‎ 1,780 bytes +12‎ non-halting

21 September 2025

• curprev 22:4722:47, 21 September 2025‎ Int-y1 talk contribs‎ m 1,768 bytes +10‎ headings

10 August 2025

• curprev 20:3120:31, 10 August 2025‎ Polygon talk contribs‎ 1,758 bytes +19‎ Mentioned domain

1 September 2024

• curprev 20:4120:41, 1 September 2024‎ Sligocki talk contribs‎ m 1,739 bytes +9‎ No edit summary Tag: Visual edit: Switched
• curprev 20:4020:40, 1 September 2024‎ Sligocki talk contribs‎ 1,730 bytes +1,005‎ Write out proof a bit. Tag: Visual edit: Switched

31 August 2024

• curprev 23:0723:07, 31 August 2024‎ Sligocki talk contribs‎ 725 bytes +725‎ Created page with "{{machine|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} {{TM|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} Analysis by Shawn Ligocki: A(a, b, c) = 0^inf 10^a <A 10^b 11^c 0^inf A(a+1, b, c+1) -> A(a, b+2, c) A(0, b, c+1) -> A(0, b+3, c) A(0, b, 0) -> A(b+1, 1, 1) A(a+2, b, 0) -> A(a, 1, b+2) A(1, b, 0) -> Halt(b+3) Start: A(0, 0, 0) Analysis by @rae: (a,b,0) -> (a-b-4,2b+5,0) if a>b+4 (a,b,0) -> (3b-a+9,3,0) if 2<=a<=b+4 (1,b,0) -> halt * 3 -> 32-2-3..."