User contributions for Polygon
Jump to navigation
Jump to search
2 September 2025
- 10:4610:46, 2 September 2025 diff hist +324 Introduction to the Busy Beaver Function Added introduction to "transition"
- 10:3710:37, 2 September 2025 diff hist +132 TMBR: September 2025 →Holdouts: Added BB(2,6) holdout reduction
- 10:3110:31, 2 September 2025 diff hist +13 Decider →List of Deciders: Added cyclers current
- 10:2810:28, 2 September 2025 diff hist +19 BB(7) →History: Added link to holdouts
- 10:2710:27, 2 September 2025 diff hist +19 BB(2,5) →Certified progress: Added link to holdouts
- 10:2410:24, 2 September 2025 diff hist +27 TMBR: September 2025 Added first two sections
- 10:2210:22, 2 September 2025 diff hist 0 Holdouts lists Updated BB(2,6) holdout count
- 10:1910:19, 2 September 2025 diff hist +7 BB(2,6) →Filtering: Added missing commas and a linkt to holdouts
1 September 2025
- 10:5610:56, 1 September 2025 diff hist +228 BB(2,5) Added list of top Halters (currently only one entry)
- 09:4909:49, 1 September 2025 diff hist −1 TMBR: August 2025 →Cryptids: Fixed name
31 August 2025
- 12:4012:40, 31 August 2025 diff hist +22 Irregular Turing Machine Added Category:Zoology current
- 12:3812:38, 31 August 2025 diff hist +25 Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) Added link to Irregular Turing Machine current
- 12:3612:36, 31 August 2025 diff hist +29 1RB1RE 1LC1RB 0RA0LD 1LB1LD ---0RA Added link to Irregular Turing Machine
- 12:3312:33, 31 August 2025 diff hist +197 N Irregular Turing Machine Created page for irregular TMs
- 10:4610:46, 31 August 2025 diff hist 0 BB(3,3) →Top Halters: 10 -> 20
- 10:4510:45, 31 August 2025 diff hist +615 BB(3,3) →Top Halters: Extended list to top 20 (consistency with other domain pages)
- 10:1610:16, 31 August 2025 diff hist +1 m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC Grammar fix
- 10:0010:00, 31 August 2025 diff hist 0 Holdouts lists Updated the BB(7) holdout count
- 09:5609:56, 31 August 2025 diff hist +1 TMBR: August 2025 →Holdouts: Added a space
30 August 2025
- 15:5415:54, 30 August 2025 diff hist +69 BB(1,m) Added note about Σ(1,1) current
- 15:4915:49, 30 August 2025 diff hist +226 BB(n,1) →Champions: Added champions current
- 15:3715:37, 30 August 2025 diff hist +39 BB(n,1) Added champions section and category
- 15:3315:33, 30 August 2025 diff hist +379 N BB(n,1) Created page for 1-symbol TMs
- 14:3514:35, 30 August 2025 diff hist +48 Champions Mentioned 1-state domains
- 14:3014:30, 30 August 2025 diff hist +6 BB(1,m) →Champions: Made champions section consistent with other domain pages
- 14:2214:22, 30 August 2025 diff hist +141 Talk:Backward Reasoning Mentioned addition of usage by Shen Lin
- 14:1914:19, 30 August 2025 diff hist −4 Backward Reasoning →History: made time consistent
- 14:1614:16, 30 August 2025 diff hist +21 Non-halting Turing machine →1 × m: improved sentence
- 14:1514:15, 30 August 2025 diff hist +149 Non-halting Turing machine →Zoology: Added note about 1-state domains
- 14:0814:08, 30 August 2025 diff hist −6 m Main Page Updated link to 1-state domains
- 13:0213:02, 30 August 2025 diff hist +178 Finite Automata Reduction →History: Mentioned application on BB(5) holdouts
- 12:5112:51, 30 August 2025 diff hist +74 Finite Automata Reduction →See also: Added MITMWFAR to see also
- 12:4512:45, 30 August 2025 diff hist +403 Finite Automata Reduction Expanded history section (migrated from Cosearch)
- 12:3212:32, 30 August 2025 diff hist +368 Finite Automata Reduction Began adding a history section
- 12:1712:17, 30 August 2025 diff hist +65 Finite Automata Reduction Added a short introduction
- 12:1412:14, 30 August 2025 diff hist +22 Backward Reasoning →See also: Added Halting Segment
- 11:5811:58, 30 August 2025 diff hist +334 Backward Reasoning Added use in proof of BB(3)
29 August 2025
- 21:5421:54, 29 August 2025 diff hist +86 Halting Segment →History: mentioned date of application on BB(5)
- 21:2821:28, 29 August 2025 diff hist −2 Halting Segment Reworded parts of the introduction
- 21:2121:21, 29 August 2025 diff hist +649 Halting Segment Added information about how the decider works
- 20:5920:59, 29 August 2025 diff hist +75 Halting Segment Added a short description
- 20:5420:54, 29 August 2025 diff hist +8 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC Mentioned it being a holdout
- 20:3420:34, 29 August 2025 diff hist +449 Halting Segment →History: Expanded history section (migration from Cosearch)
- 20:1620:16, 29 August 2025 diff hist +74 Backward Reasoning →History: Added reproduction by int-y1 (migrated from Cosearch)
- 20:0620:06, 29 August 2025 diff hist +342 Halting Segment Added more information about history (migrated from Cosearch)
- 19:5019:50, 29 August 2025 diff hist +5 m Halting Segment →See also: grammar fix
- 19:4819:48, 29 August 2025 diff hist 0 m Halting Segment Fixed reference
- 19:4519:45, 29 August 2025 diff hist +181 Halting Segment Added sections aswell as time of introduction
- 11:4611:46, 29 August 2025 diff hist +851 Backward Reasoning Added history section
28 August 2025
- 23:2823:28, 28 August 2025 diff hist +15 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC Added bb-domain