User contributions for Sligocki

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
• 04:2104:21, 12 July 2024 diff hist +75 BB(5) →Champions Tag: Visual edit
• 04:2004:20, 12 July 2024 diff hist +83 BB(4) →Champions Tag: Visual edit
• 04:1904:19, 12 July 2024 diff hist +126 BB(2) →Champions: Note ones/steps Tag: Visual edit
• 04:1704:17, 12 July 2024 diff hist +210 BB(3) →Champions: Note no shared champions Tag: Visual edit
• 04:1304:13, 12 July 2024 diff hist +26 m BB(2) Add TM Template Tag: Visual edit: Switched
• 04:0904:09, 12 July 2024 diff hist +1,578 BB(5) Add Champions and Top halters. Tag: Visual edit: Switched
• 03:5703:57, 12 July 2024 diff hist −18 m 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF Add TM Template
• 03:5403:54, 12 July 2024 diff hist −2 BB(4) →Enumeration Tag: Visual edit
• 03:5403:54, 12 July 2024 diff hist −17 m BB(4) →Enumeration Tag: Visual edit
• 03:5303:53, 12 July 2024 diff hist +1,275 BB(4) Add champions and enumeration info Tag: Visual edit
• 03:4303:43, 12 July 2024 diff hist +1,021 BB(3) Add some longest running halters Tag: Visual edit