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.
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
25 October 2025
| 08:55 | BB(4,3) diffhist +3 Polygon talk contribs (Used a closer lower bound) | ||||
| 08:48 | 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist +2 Polygon talk contribs (Used a closer lower bound) | ||||
24 October 2025
|
|
12:41 | BB(4,3) 2 changes history +3 [Polygon (2×)] | |||
| m |
|
12:41 (cur | prev) +4 Polygon talk contribs (Some grammar changes in the introduction) | |||
|
|
12:34 (cur | prev) −1 Polygon talk contribs (→Stage 2: Updated text with new holdout reductions) | ||||
23 October 2025
|
|
18:37 | BB(4,3) 6 changes history −2,051 [ADucharme; RobinCodes (2×); Polygon (3×)] | |||
| m |
|
18:37 (cur | prev) 0 Polygon talk contribs (→Potential Champions: Fixed equivalence) | |||
| m |
|
18:29 (cur | prev) −99 ADucharme talk contribs (→Top Halters: remove 10^^10 halter from Top Halter list) Tag: Visual edit | |||
|
|
18:23 (cur | prev) −2,088 RobinCodes talk contribs (→Potential Champions: Removed halting tapes, instead included table with sigma scores. Kept paragraph.) Tag: Visual edit | ||||
|
|
17:37 (cur | prev) +99 Polygon talk contribs (→Top Halters: Made this a complete list of Pavel's potential champions) | ||||
|
|
17:29 (cur | prev) +23 Polygon talk contribs (Re-added the functions) | ||||
|
|
17:18 (cur | prev) +14 RobinCodes talk contribs (Updated page with the new champion.) Tag: Visual edit | ||||
|
|
17:31 | 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD 2 changes history 0 [RobinCodes; Polygon] | |||
| m |
|
17:31 (cur | prev) 0 Polygon talk contribs (as --> in) | |||
|
|
15:12 (cur | prev) 0 RobinCodes talk contribs (Corrected the number of TMs found by Pavel) Tag: Visual edit | ||||
| 17:04 | 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist −9 RobinCodes talk contribs (Removed "possibly") | ||||
22 October 2025
20 October 2025
| 18:31 | 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD diffhist +60 Polygon talk contribs (→Analysis by Polygon: Added halting tape) | ||||
|
|
18:07 | BB(4,3) 4 changes history +65 [Polygon (4×)] | |||
|
|
18:07 (cur | prev) +3 Polygon talk contribs (→Top Halters: These also seem to be score approximations) | ||||
|
|
17:22 (cur | prev) +31 Polygon talk contribs (→Potential Champions: Reworded opening sentence) | ||||
| m |
|
17:17 (cur | prev) 0 Polygon talk contribs (→Top Halters: de-capitalized halters) | |||
|
|
17:16 (cur | prev) +31 Polygon talk contribs (→Top Halters: Changed sentence) | ||||
19 October 2025
|
|
19:33 | BB(4,3) 8 changes history +1,364 [Tjligocki (2×); RobinCodes (2×); Polygon (4×)] | |||
|
|
19:33 (cur | prev) +90 RobinCodes talk contribs Tag: Visual edit | ||||
|
|
19:29 (cur | prev) +149 RobinCodes talk contribs (→Potential Champions) Tag: Visual edit | ||||
| m |
|
17:47 (cur | prev) −194 Tjligocki talk contribs (Removed duplicate entry) | |||
|
|
17:44 (cur | prev) +1,192 Tjligocki talk contribs (Added some new results to Phase 2 Stage 2) | ||||
|
|
15:44 (cur | prev) +26 Polygon talk contribs (→Potential Champions: Reorganized the list) | ||||
| m |
|
14:25 (cur | prev) −1 Polygon talk contribs (Grammar) | |||
|
|
14:21 (cur | prev) +103 Polygon talk contribs (→Top Halters: Added 1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD to list of Pavel's TMs) | ||||
| m |
|
08:31 (cur | prev) −1 Polygon talk contribs (→Phase 1: Fixed grammar) | |||
|
|
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) | ||||