User contributions for Sligocki
Jump to navigation
Jump to search
9 January 2025
- 18:2418:24, 9 January 2025 diff hist +162 Busy beaver lack of hope recurrence Add more description to lede Tag: Visual edit
- 17:0917:09, 9 January 2025 diff hist +51 BB(6) →Cryptids: Add new Cryptid Tag: Visual edit
- 17:0817:08, 9 January 2025 diff hist +51 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD Note it being nonhalting crypti Tag: Visual edit
- 16:1916:19, 9 January 2025 diff hist +412 N 1RB1LA 1LC0RE 1LF1LD 0RB0LA 1RC1RE ---0LD Created page with "{{machine|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} {{TM|1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD}} Analysis by @mxdys [https://discord.com/channels/960643023006490684/1239205785913790465/1326911501357023296 9 Jan 2025]: <pre> 1RB1LA_1LC0RE_1LF1LD_0RB0LA_1RC1RE_---0LD start: (3,1) (0,2+c) --> (4+c,1) (1,c) --> halt (2+2b,c) --> (7+5b+c,1) (3+2b,c) --> (b,4+b+c) (b,c) := 0^inf <A 1^b 00 1^c 0^inf </pre>"
10 December 2024
- 17:5117:51, 10 December 2024 diff hist +4 m Graham's number Fix math error. current
- 17:5017:50, 10 December 2024 diff hist +1,826 Graham's number Add table of history of TMs beating Graham Tag: Visual edit
- 17:2917:29, 10 December 2024 diff hist +2,118 N Graham's number Created page with "'''Graham's number''' (<math>g_{64}</math> or <math>G</math>) is a famously huge number which Martin Gardner claimed was the "largest number ever used in a serious mathematical proof" in 1977. Since it is one of the most famous large numbers, it has become a bit of a yardstick for measuring "hugeness". In the specific context of the Busy Beaver game, we can ask, what is the smallest <math>n</math> such that <math>BB(n) > g_{64}</math>. There is an active search for the s..."
- 16:1916:19, 10 December 2024 diff hist +1,055 Talk:Champions No edit summary
- 16:0716:07, 10 December 2024 diff hist +50 Champions Add "Verification" column to champions table and comment about self-reporting. Also streamline "Discovered By" column a bit and add Discord link to Racheline's discovery of BB(14) Graham number champion. Tag: Visual edit: Switched
6 December 2024
- 16:3216:32, 6 December 2024 diff hist +45 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE Add attribution Tag: Visual edit
- 16:2516:25, 6 December 2024 diff hist +748 N 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA Created page with "{{machine|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} {{TM|1RB0RC_1RC0LC_0RD1LE_1LE1RF_0LB---_0RA1LA}} is a holdout BB(6) TM proven infinite by hand by @mxdys on 6 Dec 2024 Analysis by @mxdys: <pre> f(n0, ()) := n0 f(n0, (n,ls)) := 2*(f(n0, ls) - n) start: (2, (), 1) (k, ls, n) --> (k+1, (n,ls), 2*(f(2^k, ls)-(n+2))), f(2^k, ls)-(n+2) >= 0 </pre> Follow up by User:sligocki: <pre> Let (k, ls, n) --> (k+1, [n, ls], n') Then: n'+2 = 2 (f(2^k, ls) - n) - 2..."
26 November 2024
- 15:1515:15, 26 November 2024 diff hist +102 BB(6) Move champions to table and use {{TM}} template so that it links to the individual machine pages (or BBC link) Tag: Visual edit
25 November 2024
- 20:2120:21, 25 November 2024 diff hist +1,121 N 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF 1RZ1RA Created page with "{{machine|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}} {{TM|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_1RZ1RA}} is a long running Halting BB(6) TM analyzed by Racheline on 25 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310651468881334394 Discord Link]): Analysis by Racheline: <pre> a_1 = (2^179+1)/3+179 a_2 = (2^a_1+1)/3+a_1 a_3 = (2^a_2+1)/3+a_2 a_4 = (2^a_3+1)/3+a_3-1 a_5 = (2^a_4+1)/3+a_4 the counters after overflow: (10)^17 11 (10)^5..."
16 November 2024
- 05:0805:08, 16 November 2024 diff hist +4 m Bell link transcript Tag: Visual edit
- 03:2403:24, 16 November 2024 diff hist −1,631 Brady's algorithm Redirect to TNF current Tags: New redirect Visual edit
- 03:2303:23, 16 November 2024 diff hist +166 m Tree Normal Form No edit summary Tag: Visual edit
15 November 2024
- 15:4115:41, 15 November 2024 diff hist +1 BB(2) Continue to use consistent distinction between cyclers and TC. Fix preperiod of one TM.
- 15:3415:34, 15 November 2024 diff hist +406 N Talk:Brady's algorithm Created page with "Hey C7X, what do you think about merging this into the main Tree Normal Form article? My thought is that we could migrate any new content over from here and then turn this into a redirect. IIUC, "Brady's algorithm" is just an alternative name coined by Nick Drozd to describe TNF enumeration. Does that sound right? ~~~~"
- 15:3215:32, 15 November 2024 diff hist +37 Brady's algorithm Link to main TNF article Tag: Visual edit
- 15:3015:30, 15 November 2024 diff hist +1,016 Tree Normal Form Bring in some data from (mostly redundant) new "Brady's algorithm" article. Also added "# Simple Halt TMs" column to table and various small edits. Tag: Visual edit
13 November 2024
- 17:3717:37, 13 November 2024 diff hist −18 m Longitudinal Analysis rm stub Tag: Visual edit
- 17:3217:32, 13 November 2024 diff hist 0 m Transcript Capitalization Tag: Visual edit: Switched
- 17:3117:31, 13 November 2024 diff hist +33 m Transcript ref section Tag: Visual edit: Switched
- 17:3117:31, 13 November 2024 diff hist +834 N Transcript Created page with "A Turing machine '''transcript''' or '''transition history''' is the sequence of transitions that the TM executes when started on a blank tape. Halting TMs have finite transcripts, infinite TMs have infinite transcripts. A finite description of an infinite TM transcript is one way to specify the forward behavior of that TM precisely. Shift rules lead to repeated segments of a TM transcript and vice-versa every repeated segment in a transcript corresponds to a sh..."
- 17:1517:15, 13 November 2024 diff hist +4 m Bouncer link to transcript (doesn't exist yet) since it's a jargony term Tag: Visual edit: Switched
11 November 2024
- 20:3220:32, 11 November 2024 diff hist +22 m Translated cycler No edit summary Tag: Visual edit
- 20:3220:32, 11 November 2024 diff hist +40 m Halting Segment No edit summary Tag: Visual edit
7 November 2024
- 23:0723:07, 7 November 2024 diff hist +18 m Block Analysis Stub Tag: Visual edit
- 23:0723:07, 7 November 2024 diff hist +18 m Analysis Techniques Stub Tag: Visual edit
- 23:0623:06, 7 November 2024 diff hist +18 m Longitudinal Analysis Stub Tag: Visual edit
29 October 2024
- 16:4916:49, 29 October 2024 diff hist −17 Permutation Make URL a link current 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