User contributions for Sligocki

19:3819:38, 16 May 2025 diff hist +7‎ m Main Page ‎No edit summary Tag: Visual edit
19:3719:37, 16 May 2025 diff hist +194‎ Main Page ‎ Add BB(7) Tag: Visual edit: Switched
19:3519:35, 16 May 2025 diff hist +23‎ m BB(7) ‎No edit summary Tag: Visual edit
19:3419:34, 16 May 2025 diff hist +35‎ N Sigma score ‎ Redirected page to Busy Beaver Functions current Tags: New redirect Visual edit
19:3219:32, 16 May 2025 diff hist +1,564‎ N BB(7) ‎ Created page with "The 7-state, 2-symbol Busy Beaver problem '''BB(7)''' is a mostly unexplored domain with only preliminary information. The current BB(7) champion is {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} discovered by Pavel Kropitz in 2025 proving the lower bound:<math display="block">S(7) > \Sigma(7) > 2 \uparrow^{11} 2 \uparrow^{11} 3</math> == History == Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed..." Tag: Visual edit
18:5218:52, 16 May 2025 diff hist +208‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Note attribution Tag: Visual edit

03:1303:13, 14 May 2025 diff hist +2‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Change function name to avoid conflict with the fast growing hierarchy. Tag: Visual edit
02:5602:56, 14 May 2025 diff hist +36‎ N Fast-growing hierarchy ‎ Redirected page to Fast-Growing Hierarchy current Tag: New redirect
02:5502:55, 14 May 2025 diff hist 0‎ m Champions ‎No edit summary
02:5502:55, 14 May 2025 diff hist −33‎ m Champions ‎No edit summary

22:1522:15, 13 May 2025 diff hist +16‎ m Champions ‎No edit summary Tag: Visual edit
22:1422:14, 13 May 2025 diff hist +155‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Undo revision 1900 by Sligocki (talk)
22:0722:07, 13 May 2025 diff hist −16‎ m Champions ‎ →‎2-Symbol TMs Tag: Visual edit
22:0722:07, 13 May 2025 diff hist −131‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Fix sigma bound Tag: Visual edit
20:3020:30, 13 May 2025 diff hist +39‎ Champions ‎ →‎2-Symbol TMs: Add verification Tag: Visual edit
20:2320:23, 13 May 2025 diff hist −22‎ m Champions ‎ →‎2-Symbol TMs: Link to wikipedia instead of googolology since that site almost causes my browser to crash Tag: Visual edit
20:1820:18, 13 May 2025 diff hist −99‎ Champions ‎ →‎2-Symbol TMs: Pavel's Ackermann champion Tag: Visual edit
20:1420:14, 13 May 2025 diff hist +186‎ 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Fix broken math Tag: Visual edit
20:0920:09, 13 May 2025 diff hist +2,236‎ N 1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF ‎ Created page with "{{machine|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} {{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is a halting BB(7) TM which runs for over <math>2 \uparrow^{12} 2 \uparrow^{12} 3</math> steps. == Analysis by Shawn Ligocki == Consider general configurations matching the regex: <math>0^\infty \; 11 \; (1 \; (01)^*)^* \; 0011100 \; \text{A>} \; 0^\infty</math> === Low level rules === <pre> 01 1 01^n 0011100 A> 00 -->..."

02:4002:40, 9 May 2025 diff hist +1,058‎ N 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC ‎ Created page with "{{machine|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} is a halting tetrational BB(7) TM that runs for over 10↑↑35 steps found by Shawn Ligocki on 8 May 2025 based on @mxdys's enumeration system https://github.com/ccz181078/TM Analysis by Shawn Ligocki: <pre> 1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC B(a,b,c,d) = 0^inf 1^a B> 1^b 01^c 011^d 0^inf D(a) = B(a,0,0,0) = 0^inf 1^a B> 0^inf D(3k) -..."

16:3816:38, 2 May 2025 diff hist +22‎ m 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Add to Cryptid category Tag: Visual edit
16:3716:37, 2 May 2025 diff hist +1,789‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Add History section from Legion's Discord message Tag: Visual edit

02:2702:27, 29 April 2025 diff hist 0‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ Fix date (from Discord message) Tag: Visual edit
01:5601:56, 29 April 2025 diff hist +230‎ BB(3) ‎ →‎Techniques: Note how TC + CPS is all you need for BB(3). Tag: Visual edit

22:5022:50, 28 April 2025 diff hist +55‎ N 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA1LD ---0LC ‎ Redirected page to 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC current Tags: New redirect Visual edit
22:3722:37, 28 April 2025 diff hist +138‎ Lucy's Moonlight ‎ Link blog post Tag: Visual edit
19:4519:45, 28 April 2025 diff hist +26‎ m Cryptids ‎ →‎Larger Cryptids: Link to new Stub on ZFC bound Tag: Visual edit

16:4616:46, 24 April 2025 diff hist +132‎ Busy Beaver for lambda calculus ‎ →‎Champions: BBl(37) = BBl(35) + 2 Tag: Visual edit
16:1316:13, 24 April 2025 diff hist +1,285‎ Busy Beaver for lambda calculus ‎ Add Proof of Uncomputability Tag: Visual edit

20:1620:16, 21 April 2025 diff hist +36‎ Lucy's Moonlight ‎ Add adjectives back in

15:1015:10, 17 April 2025 diff hist 0‎ m Busy Beaver for lambda calculus ‎ →‎Champions

21:1421:14, 16 April 2025 diff hist +9‎ Busy Beaver for lambda calculus ‎ →‎Champions: Merge rows for same bit count and add a few more co-champtions. Tag: Visual edit

20:2620:26, 15 April 2025 diff hist −4‎ Busy Beaver for lambda calculus ‎ →‎Champions: Size 35,36 confirmed solved. Tag: Visual edit

15:1415:14, 14 April 2025 diff hist −24‎ BB(6) ‎ Undo revision 1806 by Sligocki (talk): Oops, redo change, I see that the TC was broken out from the list. Tag: Undo
15:1315:13, 14 April 2025 diff hist +24‎ BB(6) ‎ Undo revision 1805 by MrSolis (talk): One is a possible TC Tags: Undo Reverted