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 03:41, 26 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

25 October 2025

 m   19:53  User:Polygon/Page for analyses 2 changes history +26 [Polygon (2×)]
 m   
19:53 (cur | prev) +13 Polygon talk contribs (Trajectory: Removed another weird arrow)
 m   
19:52 (cur | prev) +13 Polygon talk contribs (Functions: removed weird arrow)
     19:40  User:RobinCodes/Work on BB Domains 5 changes history +3,229 [RobinCodes (5×)]
     
19:40 (cur | prev) +1 RobinCodes talk contribs (Progress by domain: Changed 2x5 count from eqv class to individual) Tag: Visual edit
 m   
15:13 (cur | prev) +43 RobinCodes talk contribs (Informal and unverified proofs by domain: Added correct BB(3,3) informal proof count to table and updated footnote.) Tag: Visual edit
     
14:28 (cur | prev) +440 RobinCodes talk contribs (Informal and unverified proofs by domain: Updated BB(2,5) part of Informal proofs with correct values and information.) Tag: Visual edit
 m   
13:38 (cur | prev) +24 RobinCodes talk contribs (Informal and unverified proofs by domain: Added total count.) Tag: Visual edit
     
13:37 (cur | prev) +2,721 RobinCodes talk contribs (Added "informal/unverified proofs" section. Improved overall flow and structure of the page.) Tag: Visual edit
N    15:15  User:RobinCodes/Next Steps diffhist +3,101 RobinCodes talk contribs (Added the page for possible next steps for the next domains.) Tag: Visual edit
     14:51  User:XnoobSpeakable/Holdouts-temp 2 changes history +98 [XnoobSpeakable (2×)]
     
14:51 (cur | prev) 0 XnoobSpeakable talk contribs (Main tables:: fix bolding) Tag: Visual edit
     
14:51 (cur | prev) +98 XnoobSpeakable talk contribs (BB(2,5)) Tag: Visual edit

24 October 2025

     19:15  User:RobinCodes/Work on BB Domains 2 changes history −29 [RobinCodes (2×)]
     
19:15 (cur | prev) −48 RobinCodes talk contribs (Update Phase 2 Stage 6 completed (BB(3x4))) Tag: Visual edit
     
11:15 (cur | prev) +19 RobinCodes talk contribs (Updated BB6) Tag: Visual edit
     19:01  User:XnoobSpeakable/Holdouts-temp 2 changes history +42 [XnoobSpeakable (2×)]
     
19:01 (cur | prev) 0 XnoobSpeakable talk contribs (BB(3,4)) Tag: Visual edit
     
15:13 (cur | prev) +42 XnoobSpeakable talk contribs (BB(6)) Tag: Visual edit

23 October 2025

     17:24  User:Polygon/Collection of BB Champions diffhist +122 Polygon talk contribs (Original Busy Beaver Functions: Updated BB(4,3) champion)
     17:12  User:RobinCodes/Work on BB Domains 2 changes history −62 [RobinCodes (2×)]
     
17:12 (cur | prev) +22 RobinCodes talk contribs (Terry's working on BB7) Tag: Visual edit
     
17:01 (cur | prev) −84 RobinCodes talk contribs (Updated table and current work.) Tag: Visual edit
     16:44  User:XnoobSpeakable/Holdouts-temp 5 changes history −30 [XnoobSpeakable (5×)]
     
16:44 (cur | prev) +105 XnoobSpeakable talk contribs (Main tables:: BB(6) reduction) Tag: Visual edit
     
16:41 (cur | prev) +17 XnoobSpeakable talk contribs (Many changes) Tag: Visual edit
     
16:37 (cur | prev) −81 XnoobSpeakable talk contribs (Fix BB(6) citation) Tag: Visual edit
     
16:34 (cur | prev) −71 XnoobSpeakable talk contribs (Remove notice) Tag: Visual edit
     
16:34 (cur | prev) 0 XnoobSpeakable talk contribs (BB(6)) Tag: Visual edit

22 October 2025

     18:24  User:XnoobSpeakable/Holdouts-temp diffhist +71 XnoobSpeakable talk contribs

20 October 2025

     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

     18:02  User:XnoobSpeakable/Holdouts-temp 2 changes history −71 [XnoobSpeakable (2×)]
     
18:02 (cur | prev) −113 XnoobSpeakable talk contribs (BB(4,3))
     
09:16 (cur | prev) +42 XnoobSpeakable talk contribs (BB(4,3)) Tag: Visual edit
     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)