User contributions for Sligocki

29 October 2024

• 16:4916:49, 29 October 2024 diff hist −17‎ Permutation ‎ Make URL a link Tag: Visual edit

10 October 2024

• 16:3216:32, 10 October 2024 diff hist +416‎ Beeping Busy Beaver ‎ Rewrite opening including adding missing details to the definition. Tag: Visual edit

25 September 2024

• 17:1517:15, 25 September 2024 diff hist +83‎ Hydra function ‎ Mention Mahler's problem Tag: Visual edit
• 17:0117:01, 25 September 2024 diff hist +557‎ N Hydra function ‎ Created page with "The '''Hydra function''' is Collatz-like function whose behavior is connected to the the unsolved halting problems for the Cryptids Hydra and Antihydra: <math display="block">\begin{array}{l} H(2n) & = & 3n \\ H(2n+1) & = & 3n+1 \\ \end{array}</math> which can alternatively be written as<math display="block">H(n) = \begin{cases} \frac{3n}{2} & \text{if } n \text{ even} \\ \frac{3n-1}{2} & \text{if } n \text{ odd} \\ \end{cases}</math>or..." Tag: Visual edit
• 16:5216:52, 25 September 2024 diff hist −1,356‎ Antihydra ‎ Refactor page completely. Tag: Visual edit
• 15:1915:19, 25 September 2024 diff hist +582‎ N Lazy Beaver ‎ Created page with "The '''Lazy Beaver''' function is a computable variation of the Busy Beaver function defined by Scott Aaronson in his 2020 review. LB(n, m) is the smallest k such that no n-state, m-symbol Turing machine halts in exactly k steps. == Computed Values == Values found by Terry and Shawn Ligocki in 2021: {| class="wikitable" |+ ! ! ! colspan="5" |States |- ! ! !2 !3 !4 !5 !6 |- | rowspan="5" |Symbols |2 |7 |22 |72 |427 |8,407 |- |3 |23 |351 | | | |- |4..." Tag: Visual edit
• 15:1215:12, 25 September 2024 diff hist +4‎ m Sequences ‎No edit summary Tag: Visual edit

10 September 2024

• 15:3815:38, 10 September 2024 diff hist 0‎ m Collatz-like ‎ →‎BB(5,2) Champion: Fix naming mistake. Tag: Visual edit
• 15:3615:36, 10 September 2024 diff hist +17‎ m 5-state busy beaver winner ‎No edit summary Tag: Visual edit

9 September 2024

• 04:2304:23, 9 September 2024 diff hist +77‎ m Busy Beaver Functions ‎ Add links Tag: Visual edit

4 September 2024

• 21:3321:33, 4 September 2024 diff hist +90‎ 1RB1LD 1RC1RB 1LC1LA 0RC0RD ‎ Link my old analysis Tag: Visual edit
• 18:5318:53, 4 September 2024 diff hist +12‎ m 5-state busy beaver winner ‎ Add link to BB(5) Tag: Visual edit
• 17:2517:25, 4 September 2024 diff hist +6‎ m 1RB1LD 1RC1RB 1LC1LA 0RC0RD ‎ Add links Tag: Visual edit
• 17:2117:21, 4 September 2024 diff hist +1,467‎ N 1RB1LD 1RC1RB 1LC1LA 0RC0RD ‎ Created page with "{{machine|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} {{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref> == Analysis by Shawn Ligocki == Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^..." Tag: Visual edit
• 04:1204:12, 4 September 2024 diff hist +812‎ N 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB ‎ Created page with "{{machine|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB}} {{TM|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB|halt}} Halting TM with long-running Collatz-like analysis. Analysis by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280618026844033086: <pre> C(a, b, c) = 1^a 0 1^b C> 0 1^c C(a, b+3, c) -> C(a+1, b, c+2) C(a, 0, c) -> C(a+1, c, 0) C(a+1, 1, c) -> C(0, a, c+3) C(0, 1, c) -> Halt C(a, 2, c) -> C(0, a+c+4, 0) Start: C(0, 2, 0) </pre> Hal..."

3 September 2024

• 14:2714:27, 3 September 2024 diff hist +2,159‎ Talk:Champions ‎No edit summary

2 September 2024

• 15:1115:11, 2 September 2024 diff hist +10‎ m Champions ‎ Fix Tex , to be \, so it's not interpreted as a list.
• 12:5212:52, 2 September 2024 diff hist +318‎ User talk:Jacobzheng ‎ →‎Vandalism: new section
• 12:4712:47, 2 September 2024 diff hist −33‎ m Champions ‎ Reverted edits by Jacobzheng (talk) to last revision by Elexunix Tag: Rollback

1 September 2024

• 20:4120:41, 1 September 2024 diff hist +9‎ m 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA ‎No edit summary Tag: Visual edit: Switched
• 20:4020:40, 1 September 2024 diff hist +1,005‎ 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA ‎ Write out proof a bit. Tag: Visual edit: Switched

31 August 2024

• 23:0723:07, 31 August 2024 diff hist +725‎ N 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA ‎ Created page with "{{machine|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} {{TM|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} Analysis by Shawn Ligocki: A(a, b, c) = 0^inf 10^a <A 10^b 11^c 0^inf A(a+1, b, c+1) -> A(a, b+2, c) A(0, b, c+1) -> A(0, b+3, c) A(0, b, 0) -> A(b+1, 1, 1) A(a+2, b, 0) -> A(a, 1, b+2) A(1, b, 0) -> Halt(b+3) Start: A(0, 0, 0) Analysis by @rae: (a,b,0) -> (a-b-4,2b+5,0) if a>b+4 (a,b,0) -> (3b-a+9,3,0) if 2<=a<=b+4 (1,b,0) -> halt * 3 -> 32-2-3..."

29 August 2024

• 14:4914:49, 29 August 2024 diff hist +23‎ m Skelet's 43 holdouts ‎ Format Tag: Visual edit

27 August 2024

• 04:3504:35, 27 August 2024 diff hist +274‎ Talk:1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE ‎ →‎Name current
• 04:3304:33, 27 August 2024 diff hist −140‎ BB(2) ‎ Switch this section to focus on the deciders needed with code as an example. Tag: Visual edit
• 04:2904:29, 27 August 2024 diff hist +19‎ m Accelerated simulator ‎No edit summary Tag: Visual edit: Switched

19 August 2024

• 18:4118:41, 19 August 2024 diff hist +994‎ BB(2,3) ‎ Add top TMs and a little more info Tag: Visual edit: Switched
• 18:3318:33, 19 August 2024 diff hist +8‎ m BB(2,4) ‎ →‎Enumeration: Format numbers Tag: Visual edit: Switched
• 18:3118:31, 19 August 2024 diff hist +689‎ BB(2,4) ‎ Extend list of longest running TMs Tag: Visual edit: Switched

18 August 2024

• 20:1120:11, 18 August 2024 diff hist +57‎ BB(6) ‎ →‎Cryptids: Add @mxdys's new find Tag: Visual edit: Switched
• 20:1020:10, 18 August 2024 diff hist +10‎ 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC ‎No edit summary Tag: Visual edit
• 20:1020:10, 18 August 2024 diff hist +561‎ N 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC ‎ Created page with "{{machine|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} {{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} Potential Cryptid found by @mxdys on 18 Aug 2024: https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 <pre> start: P(2) P(2a) -> P(3a+4) P(2a+1) -> Q(a+2,1) Q(2a+3,b) -> P(b+5a+6) Q(2a+2,b) -> Q(a,b+2a+5) Q(1,2b+1) -> P(3b+8) Q(1,2b) -> Q(b+2,1) Q(0,b) -> halt P(a) := 0^inf 1^a 011 <D 0^inf Q(a,b) := 0^inf 1^(2a+1) <..."
• 02:5702:57, 18 August 2024 diff hist 0‎ m Talk:Champions ‎ →‎Larger champions
• 02:5702:57, 18 August 2024 diff hist +481‎ Talk:Champions ‎ →‎Larger champions
• 02:5202:52, 18 August 2024 diff hist +18‎ Bbfind ‎No edit summary Tag: Visual edit

15 August 2024

• 17:3117:31, 15 August 2024 diff hist +51‎ Champions ‎ →‎3-Symbol TMs: Define last 2x3 transition and add 4x3 champ (for now, I'm sure Pavel has beaten this). Tag: Visual edit
• 14:5914:59, 15 August 2024 diff hist −15‎ BB(2,3) ‎ I don't think we should refer to BB(2,3) as the 2nd value. At least that's not how I think of it. Tag: Visual edit
• 01:5401:54, 15 August 2024 diff hist −30‎ m Champions ‎ →‎2-Symbol TMs: Too many arrows, hard to keep track past 4. Tag: Visual edit

14 August 2024

• 17:4017:40, 14 August 2024 diff hist −10‎ Champions ‎ →‎2-Symbol TMs: Get rid of Ack() which is ambiguous. Tag: Visual edit

13 August 2024

• 06:0806:08, 13 August 2024 diff hist +25‎ BB(6) ‎ →‎Cryptids: Clarify that it is this one +15 others. Tag: Visual edit
• 06:0606:06, 13 August 2024 diff hist +254‎ N Bonus Cryptid ‎ Created page with "{{TM|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} BB(2,5) Cryptid found by Daniel Yuan. See https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html#a-bonus-cryptid<nowiki/>{{Machine|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} Category:Cryptids Category:Stub" Tag: Visual edit
• 06:0306:03, 13 August 2024 diff hist −7‎ Main Page ‎ Simplify BB(3,4) bound (based on note that exact value was only for sigma score, not step count. Tag: Visual edit
• 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