User contributions for Polygon
Jump to navigation
Jump to search
19 October 2025
- 14:3114:31, 19 October 2025 diff hist +9 m 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD →Analysis by Polygon: formatting of an arrow I missed earlier
- 14:2514:25, 19 October 2025 diff hist −1 m BB(4,3) Grammar
- 14:2114:21, 19 October 2025 diff hist +103 BB(4,3) →Top Halters: Added 1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD to list of Pavel's TMs
- 14:1514:15, 19 October 2025 diff hist −4,085 User:Polygon/Page for testing Blanked the page Tags: Blanking Manual revert
- 14:1214:12, 19 October 2025 diff hist +4,159 N 1RB2LB0LB 2LC2LA0LA 2RD1LC1RZ 1RA2LD1RD 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..."
- 14:1014:10, 19 October 2025 diff hist +46 TMBR: October 2025 Added champions section (TODO for now)
- 14:0614:06, 19 October 2025 diff hist +4 m TMBR: October 2025 →Holdouts: consistency
- 13:5913:59, 19 October 2025 diff hist +145 TMBR: October 2025 →Holdouts: Added BB(2,6) holdout reduction which seems to have been missed
- 13:5513:55, 19 October 2025 diff hist 0 Holdouts lists Updated BB(2,6) holdout count
- 13:4213:42, 19 October 2025 diff hist +20 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF Added Category:BB(6)
- 13:4013:40, 19 October 2025 diff hist +21 1RB3RB5RA1LB5LA2LB 2LA2RA4RB1RZ3LB2LA Added category:BB(2,6) current
- 13:3913:39, 19 October 2025 diff hist +20 BB(2,6) Added category:BB(2,6)
- 13:3713:37, 19 October 2025 diff hist +66 N Category:BB(2,6) Created page with "Pages related to the study of BB(2,6). Category:BB Domains" current
- 13:2613:26, 19 October 2025 diff hist −19 m 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF Removed Category:Stubs as the template automatically categorises it as a stub
- 12:0612:06, 19 October 2025 diff hist +32 m User:Polygon/Page for testing →Analysis by Polygon: Formatting + typo fix
- 12:0412:04, 19 October 2025 diff hist +201 m 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 2RB2RA2RD →Analysis by Polygon: Some formatting changes to make the page look less chaotic current
- 11:5611:56, 19 October 2025 diff hist +229 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD →Analysis by Polygon: Some formatting changes to make the page look less chaotic
- 11:4211:42, 19 October 2025 diff hist +65 User:Polygon/Page for analyses →Trajectory: Some more optical improvements
- 11:4011:40, 19 October 2025 diff hist +48 User:Polygon/Page for analyses →Functions: Some optical improvements
- 11:3811:38, 19 October 2025 diff hist +19 m User:Polygon/Page for analyses →Approximate Score: Consistent formatting
- 11:3811:38, 19 October 2025 diff hist +64 m User:Polygon/Page for testing →Analysis by Polygon: Some formatting changes for visual improvement
- 11:3411:34, 19 October 2025 diff hist +17 m User:Polygon/Page for testing →Analysis by Polygon: Changed spacing of the L-function
- 11:3311:33, 19 October 2025 diff hist +1,062 User:Polygon/Page for testing →Analysis by Polygon: Copied in rest of behavior
- 11:2611:26, 19 October 2025 diff hist +2,271 User:Polygon/Page for testing Added rules
- 11:1711:17, 19 October 2025 diff hist +639 User:Polygon/Page for testing Added introduction for new TM
- 10:3610:36, 19 October 2025 diff hist +3 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Missing number
- 10:3510:35, 19 October 2025 diff hist +63 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added description
- 10:3210:32, 19 October 2025 diff hist +355 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #25
- 09:5909:59, 19 October 2025 diff hist +769 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rules 19*** and 24
- 09:4209:42, 19 October 2025 diff hist +274 User:Polygon/Page for analyses →Approximate Score: Completed section
- 09:3209:32, 19 October 2025 diff hist +117 User:Polygon/Page for analyses →Approximate Score: Lower bound for g_3^k(1)
- 09:2509:25, 19 October 2025 diff hist +58 User:Polygon/Page for analyses →Approximate Score: Added exact score
- 09:2409:24, 19 October 2025 diff hist +166 User:Polygon/Page for analyses →Trajectory: Completed trajectory
- 09:1609:16, 19 October 2025 diff hist +45 User:Polygon/Page for analyses →Functions: Added L(a,2)
- 09:0809:08, 19 October 2025 diff hist +623 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rules 19** and 23
- 08:3108:31, 19 October 2025 diff hist −1 m BB(4,3) →Phase 1: Fixed grammar
18 October 2025
- 22:4122:41, 18 October 2025 diff hist +260 User:Polygon/Page for analyses →Approximate Score: Added lower bound for repeated g_3
- 22:1922:19, 18 October 2025 diff hist +364 User:Polygon/Page for analyses →Approximate Score: Added bounds up to g_3
- 22:0122:01, 18 October 2025 diff hist +77 User:Polygon/Page for analyses →Trajectory: Opened approximate score section
- 21:5821:58, 18 October 2025 diff hist +74 User:Polygon/Page for analyses →Trajectory: Continued trajectory with rule 22
- 21:5421:54, 18 October 2025 diff hist +27 User:Polygon/Page for analyses →Functions: Added L(a,3) trajectory
- 21:4321:43, 18 October 2025 diff hist +1,249 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule #22
- 19:5919:59, 18 October 2025 diff hist −41 User:Polygon/Page for analyses →Trajectory: Denoted starting configuration in L-function
- 19:5719:57, 18 October 2025 diff hist +160 User:Polygon/Page for analyses →Functions: Added L-function
- 11:4311:43, 18 October 2025 diff hist −272 User:Polygon/Page for analyses Undo revision 4580 by Polygon (talk) Removed these for now Tag: Undo
- 11:2911:29, 18 October 2025 diff hist +92 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added rule 19*
- 11:1211:12, 18 October 2025 diff hist +982 User:Polygon/Page for analyses →Trajectory: Added initial trajectory
- 10:5610:56, 18 October 2025 diff hist +21 User:Polygon/Page for analyses →Functions: Opened trajectory section
- 10:5510:55, 18 October 2025 diff hist +272 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Added note about potential further rules
- 10:0810:08, 18 October 2025 diff hist +2 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Updated g_1 in rule 18