User contributions for Sligocki
Jump to navigation
Jump to search
5 February 2025
- 20:3020:30, 5 February 2025 diff hist +444 Shift overflow counter Add notable halting examples.
- 20:2420:24, 5 February 2025 diff hist −1,182 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA Redirect to halting version. current Tags: New redirect Visual edit: Switched
- 20:2420:24, 5 February 2025 diff hist +103 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF 1RZ1RA No edit summary
- 20:2020:20, 5 February 2025 diff hist +44 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA note halting shift overflow counter. Tag: Visual edit: Switched
- 20:1920:19, 5 February 2025 diff hist +1,193 N 1RB1RC 1LC1RE 1LD0LB 1RE1LC 1LE0RF ---1RA Created page with "{{machine|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_---1RA}} {{TM|1RB1RC_1LC1RE_1LD0LB_1RE1LC_1LE0RF_---1RA}} Current second longest running BB(6) TM discovered by @racheline on 25 Nov 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1310651468881334394 Discord Link]). It runs for over <math>10 \uparrow\uparrow 7</math> steps. == 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..."
4 February 2025
- 22:1722:17, 4 February 2025 diff hist +40 Backward Reasoning categories Tag: Visual edit
- 22:1522:15, 4 February 2025 diff hist −1 m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ →Pascal Michel Tag: Visual edit
- 22:1422:14, 4 February 2025 diff hist +133 BB(2,5) Add comment about lower bound Tag: Visual edit
- 22:1422:14, 4 February 2025 diff hist +32 m BB(2,4) No edit summary Tag: Visual edit: Switched
- 22:0722:07, 4 February 2025 diff hist −47 Skelet 1 Remove lower bound comment. Tag: Visual edit
- 22:0622:06, 4 February 2025 diff hist +58 Skelet 1 →Preperiod: Note this is an upper bound. Tag: Visual edit
2 February 2025
- 02:5602:56, 2 February 2025 diff hist +378 Skelet 1 Add new preperiod computation Tag: Visual edit
30 January 2025
- 16:0916:09, 30 January 2025 diff hist +51 Closed Tape Language Link to my article at least for now Tag: Visual edit
16 January 2025
- 18:0218:02, 16 January 2025 diff hist +1,390 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ →Analyses Tag: Visual edit
- 18:0018:00, 16 January 2025 diff hist +7,085 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ Add in analysis history Tag: Visual edit
- 17:4917:49, 16 January 2025 diff hist −2 m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ No edit summary Tag: Visual edit: Switched
- 17:4817:48, 16 January 2025 diff hist +515 N 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ Created page with "{{machine|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} {{TM|1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ}} This is the current BB(2,5) champion. It halts with sigma score (and runtime) over <math>10^{10^{10^{3\,314\,360}}}</math>. It was discovered by Daniel Yuan and shared [on Discord](https://discord.com/channels/960643023006490684/1084047886494470185/1254826217375273112) on 24 Jun 2024 and shared on the busy-beaver-discuss email list [the next day](https://groups.google.com/g/busy-beave..."
14 January 2025
- 17:1217:12, 14 January 2025 diff hist +7 m Wily Coyote No edit summary Tag: Visual edit: Switched
9 January 2025
- 18:5518:55, 9 January 2025 diff hist +478 Busy beaver lack of hope recurrence →Brady on level of intelligence required Tag: Visual edit
- 18:3718:37, 9 January 2025 diff hist +789 Busy beaver lack of hope recurrence Minor quote corrections and actually transcribe Brady's quote, plus restructure to have original quote sources first with 2nd-hand sources afterwards. Tag: Visual edit
- 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