Related changes

Jump to navigation Jump to search

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 16:00, 21 October 2025
 
Page name:
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

20 October 2025

     18:31  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist +60 Polygon talk contribs (Analysis by Polygon: Added halting tape)
     18:23  User:Polygon/Page for analyses 3 changes history +703 [Polygon (3×)]
     
18:23 (cur | prev) +271 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Expanded description)
     
18:17 (cur | prev) +276 Polygon talk contribs ({{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD|halt}}: Expanded description)
     
18:11 (cur | prev) +156 Polygon talk contribs ({{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Expanded description)

19 October 2025

     14:31  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD 2 changes history +238 [Polygon (2×)]
 m   
14:31 (cur | prev) +9 Polygon talk contribs (Analysis by Polygon: formatting of an arrow I missed earlier)
     
11:56 (cur | prev) +229 Polygon talk contribs (Analysis by Polygon: Some formatting changes to make the page look less chaotic)
N    14:12  1RB2LB0LB 2LC2LA0LA 2RD1LC1RZ 1RA2LD1RD diffhist +4,159 Polygon talk contribs (Created page with "{{machine|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD}} {{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}} is a pentational halting BB(4,3) TM. It was discovered in May 2024 by Pavel Kropitz as one of seven long running TMs and achieves a score of over <math>3 \uparrow\uparrow\uparrow 88574</math>. Polygon analysed the TM by hand in October 2025, providing its score. Pavel listed the halting tape as: <pre> 1 Z> 1^(162*3^((3*<(243*3^(6) - 5)/2; (<(54*3^((3b + 11)/2) - 2...")
 m   12:04  1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 2RB2RA2RD diffhist +201 Polygon talk contribs (Analysis by Polygon: Some formatting changes to make the page look less chaotic)
     11:42  User:Polygon/Page for analyses 13 changes history +2,605 [Polygon (13×)]
     
11:42 (cur | prev) +65 Polygon talk contribs (Trajectory: Some more optical improvements)
     
11:40 (cur | prev) +48 Polygon talk contribs (Functions: Some optical improvements)
 m   
11:38 (cur | prev) +19 Polygon talk contribs (Approximate Score: Consistent formatting)
     
10:36 (cur | prev) +3 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Missing number)
     
10:35 (cur | prev) +63 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added description)
     
10:32 (cur | prev) +355 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #25)
     
09:59 (cur | prev) +769 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rules 19*** and 24)
     
09:42 (cur | prev) +274 Polygon talk contribs (Approximate Score: Completed section)
     
09:32 (cur | prev) +117 Polygon talk contribs (Approximate Score: Lower bound for g_3^k(1))
     
09:25 (cur | prev) +58 Polygon talk contribs (Approximate Score: Added exact score)
     
09:24 (cur | prev) +166 Polygon talk contribs (Trajectory: Completed trajectory)
     
09:16 (cur | prev) +45 Polygon talk contribs (Functions: Added L(a,2))
     
09:08 (cur | prev) +623 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rules 19** and 23)

18 October 2025

     22:41  User:Polygon/Page for analyses 18 changes history +3,207 [Polygon (18×)]
     
22:41 (cur | prev) +260 Polygon talk contribs (Approximate Score: Added lower bound for repeated g_3)
     
22:19 (cur | prev) +364 Polygon talk contribs (Approximate Score: Added bounds up to g_3)
     
22:01 (cur | prev) +77 Polygon talk contribs (Trajectory: Opened approximate score section)
     
21:58 (cur | prev) +74 Polygon talk contribs (Trajectory: Continued trajectory with rule 22)
     
21:54 (cur | prev) +27 Polygon talk contribs (Functions: Added L(a,3) trajectory)
     
21:43 (cur | prev) +1,249 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #22)
     
19:59 (cur | prev) −41 Polygon talk contribs (Trajectory: Denoted starting configuration in L-function)
     
19:57 (cur | prev) +160 Polygon talk contribs (Functions: Added L-function)
     
11:43 (cur | prev) −272 Polygon talk contribs (Undo revision 4580 by Polygon (talk) Removed these for now) Tag: Undo
     
11:29 (cur | prev) +92 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule 19*)
     
11:12 (cur | prev) +982 Polygon talk contribs (Trajectory: Added initial trajectory)
     
10:56 (cur | prev) +21 Polygon talk contribs (Functions: Opened trajectory section)
     
10:55 (cur | prev) +272 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added note about potential further rules)
     
10:08 (cur | prev) +2 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Updated g_1 in rule 18)
     
09:44 (cur | prev) −25 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Updated rule 13)
 m   
09:36 (cur | prev) +1 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Spacing)
     
09:17 (cur | prev) +10 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Adjusted g_1 in rule 10)
     
09:11 (cur | prev) −46 Polygon talk contribs (Functions: Simplified g_1)

17 October 2025

     18:00  User:Polygon/Page for analyses 11 changes history +5,121 [Polygon (11×)]
     
18:00 (cur | prev) +399 Polygon talk contribs (Functions: Added section for Modulus of g_2)
     
17:50 (cur | prev) +114 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #21)
     
17:47 (cur | prev) +462 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #20)
     
17:33 (cur | prev) +52 Polygon talk contribs (Functions: Added g_3)
     
17:29 (cur | prev) +105 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added alternative shape of rule 19)
     
17:27 (cur | prev) +1,557 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #19)
     
17:00 (cur | prev) +274 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #18)
     
15:32 (cur | prev) +19 Polygon talk contribs (Functions: Added a convention for g1)
     
15:25 (cur | prev) +676 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #17)
     
15:08 (cur | prev) +1,461 Polygon talk contribs ({{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #16)
     
13:17 (cur | prev) +2 Polygon talk contribs (Approximate Score: Added missing three)