User contributions for Sligocki

18 July 2024

• 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 (FAR) ‎ Stub Tag: Visual edit
• 01:4701:47, 18 July 2024 diff hist +18‎ Closed Tape Language (CTL) ‎ Stub Tag: Visual edit
• 01:4701:47, 18 July 2024 diff hist +18‎ Closed Position Set (CPS) ‎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
• 03:3403:34, 12 July 2024 diff hist +39‎ BB(3) ‎ partial recurrence Tag: Visual edit
• 03:3103:31, 12 July 2024 diff hist 0‎ m Template:TM ‎No edit summary
• 03:2703:27, 12 July 2024 diff hist +1,340‎ N BB(3) ‎ Created page with "The 3-state 2-symbol Busy Beaver problem '''BB(3)''' was proven by Shen Lin in his 1963 doctoral dissertation<ref>Shen Lin. 1963. Computer studies of Turing machine problems. PhD dissertation. Ohio State University. https://etd.ohiolink.edu/acprod/odb_etd/etd/r/1501/10?clear=10&p10_accession_num=osu1486554418657614</ref> and republished in 1965.<ref>Lin, Shen; Radó, Tibor (April 1965). "Computer Studies of Turing Machine Problems". ''Journal of the ACM''. '''12''' (2):..." Tag: Visual edit: Switched
• 02:5902:59, 12 July 2024 diff hist +151‎ N Template:Documentation ‎ Created page with "{{#invoke:documentation|main|_content={{ {{#invoke:documentation|contentTitle}}}}}}<noinclude> <!-- Add categories to the /doc subpage --> </noinclude>" current
• 02:5902:59, 12 July 2024 diff hist +42‎ Template:TM ‎ Start trying to add documentation for the template
• 02:5302:53, 12 July 2024 diff hist +30‎ 1RB2LC1RC 2LC---2RB 2LA0LB0RA ‎ Add TM Template Tag: Visual edit: Switched
• 02:4602:46, 12 July 2024 diff hist −6‎ m Turing machine ‎ →‎Standard text format: Add TM Template
• 02:4502:45, 12 July 2024 diff hist −3‎ m Permutation ‎ Add TM Template Tag: Visual edit: Switched
• 02:4402:44, 12 July 2024 diff hist −30‎ Adjacent ‎ Add TM Template Tag: Visual edit: Switched