User contributions for Polygon

24 October 2025

• 21:1721:17, 24 October 2025 diff hist −111 BB(3,4) Fixed syntax highlighting errors
• 21:0621:06, 24 October 2025 diff hist +81 1RB3LB1RZ2RA 2LC3RB1LC2RA 3RB1LB3LC2RC Added categories current
• 21:0421:04, 24 October 2025 diff hist +20 BB(3,4) Added Category:BB(3,4)
• 21:0221:02, 24 October 2025 diff hist +66 N Category:BB(3,4) Created page with "Pages related to the study of BB(3,4). Category:BB Domains" current
• 19:1519:15, 24 October 2025 diff hist +6 m TMBR: October 2025 →Holdouts: Some grammar changes current
• 19:1319:13, 24 October 2025 diff hist +2 TMBR: October 2025 →Holdouts: added "a"
• 19:0619:06, 24 October 2025 diff hist 0 TMBR: October 2025 →Holdouts: Updated BB(3,4) holdout count
• 19:0319:03, 24 October 2025 diff hist −20 BB(3,4) →Top Halters: Removed Template:incomplete list
• 19:0119:01, 24 October 2025 diff hist +26 Busy Beaver Challenge Added BB(3,4) and BB(4,3) current
• 18:5918:59, 24 October 2025 diff hist 0 Holdouts lists Updated BB(3,4) holdout count current
• 12:4112:41, 24 October 2025 diff hist +4 m BB(4,3) Some grammar changes in the introduction current
• 12:3712:37, 24 October 2025 diff hist +79 1RB1RF 1LC1LF 0RE1LD 0LB1LD ---1RC 1RA0RD Added categories and a link to BB(6) current
• 12:3412:34, 24 October 2025 diff hist −1 BB(4,3) →Stage 2: Updated text with new holdout reductions

23 October 2025

• 18:3718:37, 23 October 2025 diff hist 0 m BB(4,3) →Potential Champions: Fixed equivalence
• 17:3717:37, 23 October 2025 diff hist +99 BB(4,3) →Top Halters: Made this a complete list of Pavel's potential champions
• 17:3117:31, 23 October 2025 diff hist 0 m 0RB1RZ0RB 1RC1LB2LB 1LB2RD1LC 1RA2RC0LD as --> in current
• 17:2917:29, 23 October 2025 diff hist +23 BB(4,3) Re-added the functions
• 17:2417:24, 23 October 2025 diff hist +122 User:Polygon/Collection of BB Champions →Original Busy Beaver Functions: Updated BB(4,3) champion current

22 October 2025

• 19:1519:15, 22 October 2025 diff hist 0 m TMBR: October 2025 →Holdouts: Consistent point placenment
• 19:1219:12, 22 October 2025 diff hist 0 TMBR: October 2025 →Holdouts: Updated BB(4,3)
• 19:0319:03, 22 October 2025 diff hist 0 Holdouts lists Updated BB(4,3) holdout count
• 18:5918:59, 22 October 2025 diff hist +38 1RB1RF 0LC1RC 1RD1LC 1RZ0RE 1RA1LF 1RA0LE Added short description and Category:BB(6)

21 October 2025

• 16:4216:42, 21 October 2025 diff hist +209 TMBR: October 2025 →Champions: Removed TODO

20 October 2025

• 18:3118:31, 20 October 2025 diff hist +60 1RB1RD1LC 2LB1RB1LC 1RZ1LA1LD 0RB2RA2RD →Analysis by Polygon: Added halting tape
• 18:2318:23, 20 October 2025 diff hist +271 User:Polygon/Page for analyses →{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}}: Expanded description current
• 18:1718:17, 20 October 2025 diff hist +276 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD|halt}}: Expanded description
• 18:1118:11, 20 October 2025 diff hist +156 User:Polygon/Page for analyses →{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}: Expanded description
• 18:0718:07, 20 October 2025 diff hist +3 BB(4,3) →Top Halters: These also seem to be score approximations
• 17:3417:34, 20 October 2025 diff hist 0 TMBR: October 2025 →Holdouts: BB(4,3) new holdout reduction
• 17:2317:23, 20 October 2025 diff hist −1 Holdouts lists Updated BB(4,3) holdout count
• 17:2217:22, 20 October 2025 diff hist +31 BB(4,3) →Potential Champions: Reworded opening sentence
• 17:1717:17, 20 October 2025 diff hist 0 m BB(4,3) →Top Halters: de-capitalized halters
• 17:1617:16, 20 October 2025 diff hist +31 BB(4,3) →Top Halters: Changed sentence

19 October 2025

• 15:4415:44, 19 October 2025 diff hist +26 BB(4,3) →Potential Champions: Reorganized the list
• 15:2515:25, 19 October 2025 diff hist +31 TMBR: October 2025 →Champions: Added description of TODO
• 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 current 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..." current
• 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) current
• 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) current
• 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