User contributions for Sligocki

6 August 2024

• 19:5219:52, 6 August 2024 diff hist +17‎ Consistent Collatz ‎ link collatz-like current Tag: Visual edit
• 19:5119:51, 6 August 2024 diff hist +4‎ m Antihydra ‎ link collatz-like Tag: Visual edit
• 19:5019:50, 6 August 2024 diff hist +4‎ m Hydra ‎ link collatz-like Tag: Visual edit

30 July 2024

• 19:0219:02, 30 July 2024 diff hist +1,311‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ Add mxdys analysis, list of all TMs
• 18:0118:01, 30 July 2024 diff hist +1,227‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎No edit summary Tag: Visual edit: Switched
• 06:1606:16, 30 July 2024 diff hist +338‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎No edit summary Tag: Visual edit
• 05:5905:59, 30 July 2024 diff hist +98‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ Validated Tag: Visual edit
• 05:4505:45, 30 July 2024 diff hist 0‎ 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ fix a rule Tag: Visual edit: Switched
• 04:4104:41, 30 July 2024 diff hist +1,575‎ N 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC ‎ Created page with "{{machine|1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC}} A probviously halting BB(6) Cryptid found by @mxdys on 30 Jun 2024. Analysis by Shawn Ligocki: <pre> 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC C(a, b, c) = $ 1^2a+1 C> 0^2b 1^c 01 $ Level 1: C(a, b+2, c) -> C(a+3, b, c) C(a, 1, c+2) -> C(1, a+3, c) C(a, 0, c+1) -> C(1, a+1, c) C(a, 0, 0) -> C(1, 2, 2a+3) C(a, 1, 1) -> C(1, 2, 2a+7) C(a, 1, 0) -> Halt(2a+5) Level 2: C(..."

29 July 2024

• 16:2216:22, 29 July 2024 diff hist +2,319‎ Translated cycler ‎ Add more general lede description, a little history and infinite shift rule interpretation. Tag: Visual edit

28 July 2024

• 19:1219:12, 28 July 2024 diff hist +3‎ m Beaver Math Olympiad ‎No edit summary Tag: Visual edit: Switched

18 July 2024

• 03:5903:59, 18 July 2024 diff hist +14‎ m 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC ‎No edit summary Tag: Visual edit: Switched
• 02:0402:04, 18 July 2024 diff hist −151‎ Main Page ‎ Delete 7-state, there isn't much to say here. Tag: Visual edit
• 02:0202:02, 18 July 2024 diff hist +22‎ Closed Set ‎ Add to decider category Tag: Visual edit
• 01:5601:56, 18 July 2024 diff hist −75‎ Skelet 1 ‎ Stub
• 01:5401:54, 18 July 2024 diff hist −18‎ 1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD ‎ Add TM Template Tag: Visual edit: Switched
• 01:5301:53, 18 July 2024 diff hist +18‎ Skelet 17 ‎ Stub Tag: Visual edit: Switched
• 01:5201:52, 18 July 2024 diff hist +51‎ Mother of Giants ‎ Stub Tag: Visual edit
• 01:5201:52, 18 July 2024 diff hist +332‎ 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE ‎ Add Collatz-like rule Tag: Visual edit
• 01:5001:50, 18 July 2024 diff hist +18‎ Accelerated simulator ‎ Stub Tag: Visual edit
• 01:4901:49, 18 July 2024 diff hist +18‎ 1RB2LA0LA 2LC---2RA 0RA2RC1LC ‎ Stub Tag: Visual edit
• 01:4901:49, 18 July 2024 diff hist −142‎ Busy Beaver Champions ‎ Redirect current Tags: New redirect Visual edit
• 01:4801:48, 18 July 2024 diff hist +18‎ Skelet's 43 holdouts ‎ Stub Tag: Visual edit
• 01:4701:47, 18 July 2024 diff hist +18‎ Finite Automata Reduction ‎ Stub Tag: Visual edit
• 01:4701:47, 18 July 2024 diff hist +18‎ Closed Tape Language ‎ Stub Tag: Visual edit
• 01:4701:47, 18 July 2024 diff hist +18‎ Closed Position Set ‎No edit summary Tag: Visual edit
• 01:4601:46, 18 July 2024 diff hist +65‎ N Category:Stubs ‎ Created page with "Category for articles that are mostly empty and need improvement." Tag: Visual edit
• 01:4501:45, 18 July 2024 diff hist +58‎ Hydra ‎No edit summary Tag: Visual edit
• 01:4401:44, 18 July 2024 diff hist +19‎ N 1RB3RB---3LA1RA 2LA3RA4LB0LB0LA ‎ Redirected page to Hydra current Tags: New redirect Visual edit
• 01:4201:42, 18 July 2024 diff hist +54‎ Antihydra ‎ add machine template Tag: Visual edit: Switched

17 July 2024

• 04:2504:25, 17 July 2024 diff hist +3,091‎ Inductive Proof System ‎ Add example Tag: Visual edit
• 02:4802:48, 17 July 2024 diff hist +120‎ BB(3,3) ‎ Not solved, but maybe a halting cryptid. Tag: Visual edit
• 02:4602:46, 17 July 2024 diff hist +251‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Still probviously halts. Tag: Visual edit

15 July 2024

• 20:2620:26, 15 July 2024 diff hist +87‎ Antihydra ‎ Add fanart Tag: Visual edit: Switched
• 18:5018:50, 15 July 2024 diff hist +25‎ Tree Normal Form ‎ →‎Number of TNF TMs: Add TNF counts from Lazy Beaver enumeration. Tag: Visual edit
• 03:5403:54, 15 July 2024 diff hist −11‎ Main Page ‎ I don't think we need to talk about BB(5, 3) yet. BB(4, 3) is hard enough! Tags: Manual revert Visual edit
• 03:4903:49, 15 July 2024 diff hist +28‎ N Holdouts list ‎ Redirected page to Holdouts lists current Tags: New redirect Visual edit
• 03:4903:49, 15 July 2024 diff hist +3,736‎ N BB(3,3) ‎ Created page with "The 3-state, 3-symbol Busy Beaver problem '''BB(3,3)''' is unsolved. With the discovery of Bigfoot in 2023, we now know that we must solve a Collatz-like problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. The current BB(3,3) champion {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC}} was discovered by Terry and Shawn Ligocki in 2007, proving the lower bounds: <math display="block">\begin{arr..."
• 03:0503:05, 15 July 2024 diff hist +247‎ N 1RB2LA0LA 2LC---2RA 0RA2RC1LC ‎ Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045"

13 July 2024

• 03:5103:51, 13 July 2024 diff hist −85‎ Antihydra ‎ Add TM Template Tag: Visual edit: Switched
• 03:0603:06, 13 July 2024 diff hist −4‎ Champions ‎ Put BB(2) on one line Tag: Visual edit
• 02:5902:59, 13 July 2024 diff hist −15‎ m Champions ‎No edit summary Tag: Visual edit
• 02:5802:58, 13 July 2024 diff hist +3,079‎ N Champions ‎ Created page with "Busy Beaver '''Champions''' are the current record holding Turing machines who maximize a Busy Beaver function. In this article we focus specifically on the longest running TMs. Some have been proven to be the longest running of all (and so are the ultimate champion) while others are only current champions and may be usurped in the future. For smaller domains, Pascal Michel's website is the canonical source for [https://bbchallenge.org/~pascal.mich..." Tag: Visual edit
• 02:0002:00, 13 July 2024 diff hist +34‎ Main Page ‎ searching for champion Tag: Visual edit

12 July 2024

• 19:1719:17, 12 July 2024 diff hist +167‎ Holdouts lists ‎ Newest BB6 Holdouts. Tag: Visual edit
• 19:1619:16, 12 July 2024 diff hist 0‎ N File:BB6 holdouts 7296.txt ‎No edit summary current
• 19:1419:14, 12 July 2024 diff hist +233‎ BB(6) ‎ Cryptids and Holdouts Tag: Visual edit
• 19:0919:09, 12 July 2024 diff hist −18‎ 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE ‎ Add TM Template
• 19:0019:00, 12 July 2024 diff hist −18‎ 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE ‎ Add TM Template Tag: Visual edit: Switched
• 18:5918:59, 12 July 2024 diff hist +2,532‎ N BB(6) ‎ Created page with "The 6-state, 2-symbol Busy Beaver problem '''BB(6)''' is unsolved. With the discovery of Antihydra in 2024, we now know that we must solve a Collatz-like problem in order to solve BB(6). The current BB(6) champion {{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} was discovered by Pavel Kropitz in 2022 proving the lower bound:<ref>Shawn Ligocki. 2022. "BB(6, 2) > 10↑↑15". https://www.sligocki.com/2022/06/21/bb-6-2-t15.html</ref> <math display="block">S(6) >..." Tag: Visual edit