User contributions for Sligocki

13 August 2024

• 06:0106:01, 13 August 2024 diff hist +22 Antihydra Cryptid Category Tag: Visual edit
• 06:0006:00, 13 August 2024 diff hist +22 Hydra Cryptid Category Tag: Visual edit
• 06:0006:00, 13 August 2024 diff hist +22 Bigfoot Cryptid Category Tag: Visual edit
• 05:5905:59, 13 August 2024 diff hist +22 Mother of Giants Cryptid Category Tag: Visual edit
• 05:5805:58, 13 August 2024 diff hist +22 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA Cryptid Category Tag: Visual edit
• 05:5805:58, 13 August 2024 diff hist +74 N Category:Cryptids Created page with "Turing machines shown to be Cryptids. Category:Individual machines" Tag: Visual edit
• 05:5705:57, 13 August 2024 diff hist +22 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC Add Cryptids category Tag: Visual edit
• 05:5605:56, 13 August 2024 diff hist −69 m 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC No edit summary Tag: Visual edit: Switched

6 August 2024

• 19:5219:52, 6 August 2024 diff hist +17 Consistent Collatz link collatz-like 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