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
28 November 2025
| 22:21 | BB(2,7) diffhist +16 Tjligocki talk contribs (→Stage 1: Added 02xxxx results) | ||||
| 21:58 | BB(6) diffhist 0 RobinCodes talk contribs (→Holdouts: Updated BB6 progress) | ||||
|
|
N 13:00 | Busy Beaver for SKI calculus 3 changes history +585 [Azerty (3×)] | |||
|
|
13:00 (cur | prev) +101 Azerty talk contribs (Added a few values to the table.) Tag: Visual edit | ||||
|
|
12:52 (cur | prev) 0 Azerty talk contribs (Improved the 6th champion.) Tag: Visual edit | ||||
| N |
|
12:45 (cur | prev) +484 Azerty talk contribs (Created page with "Busy Beaver for SKI calculus (we will call it BBSKI for now) is a variation of the Busy Beaver problem for lambda calculus. == Champions == {| class="wikitable" ! n !! Value !! Champion !! Discoverered by |- | 1 || = 1 || S || ? |- | 2 || = 2 || SS || ? |- | 3 || = 3 || SSS || ? |- | 4 || = 4 || SSSS || ? |- | 5 || = 6 || SSS(SS) || ? |- | 6 || >= 8 || SSS(SSS) || ? |} == See Also == [https://komiamiko.me/math/ordinals/2020/06/21/ski-numerals.html Lower bounds of this...") | |||
27 November 2025
| m 07:09 | Cyclic Tag diffhist 0 JackM4828 talk contribs (Updated a bound) | ||||
| 03:47 | BB(6) diffhist +13 Qwertyasdf talk contribs (link) | ||||
26 November 2025
| m 21:28 | BB(6) diffhist 0 Polygon talk contribs (→Holdouts: changed symbol) | ||||
|
|
21:18 | Cyclic Tag 10 changes history +60 [RobinCodes (2×); Polygon (2×); JackM4828 (6×)] | |||
|
|
21:18 (cur | prev) +24 Polygon talk contribs (Added category:functions) | ||||
| m |
|
21:17 (cur | prev) +13 Polygon talk contribs (→Known Values: spacing) | |||
|
|
20:10 (cur | prev) +5 RobinCodes talk contribs (→Known Values: Formatted link) Tag: Visual edit | ||||
| m |
|
19:39 (cur | prev) +2 JackM4828 talk contribs (Changed equality of a result) Tag: Visual edit | |||
|
|
19:29 (cur | prev) +20 JackM4828 talk contribs (Added a new bound) Tag: Visual edit | ||||
|
|
17:03 (cur | prev) +99 RobinCodes talk contribs (→Known Values: Added source for n=5) Tag: Visual edit | ||||
| m |
|
16:57 (cur | prev) +89 JackM4828 talk contribs (Added link to bound) Tag: Visual edit | |||
|
|
14:53 (cur | prev) −73 JackM4828 talk contribs (Improved Bound) Tag: Visual edit | ||||
| m |
|
14:13 (cur | prev) 0 JackM4828 talk contribs (Fixed date.) Tag: Visual edit | |||
|
|
14:07 (cur | prev) −119 JackM4828 talk contribs (Fixed bound for n=5) Tag: Visual edit | ||||
|
|
07:41 | Fractran 4 changes history +1,689 [RobinCodes (2×); Maksandchael (2×)] | |||
|
|
07:41 (cur | prev) +734 Maksandchael talk contribs (Added the matrix representation for BMO6/"space needle") Tag: Visual edit | ||||
| m |
|
07:19 (cur | prev) −3 Maksandchael talk contribs (Minor edit: removed the extra row in the BMO1 matrix.) Tag: Visual edit | |||
|
|
04:26 (cur | prev) +240 RobinCodes talk contribs (→Champions: Added deciders (image by dyuan)) Tag: Visual edit | ||||
|
|
04:04 (cur | prev) +718 RobinCodes talk contribs (Added Coda’s TM transformation, updated sz21 no. of holdouts, my best attempt at adding Space Needle.) Tag: Visual edit | ||||
| 04:21 | Upload log RobinCodes talk contribs uploaded File:Fractran deciders.png (A diagram & list of Fractran deciders and their relations, shared by Daniel Yuan on 14 Nov 2025) | ||||
25 November 2025
| 19:35 | BB(6) diffhist +175 RobinCodes talk contribs (→Holdouts: Added spreadsheet of holdouts) | ||||
24 November 2025
23 November 2025
| 22:33 | Fractran diffhist +204 Sligocki talk contribs (→Champions: Add matrix for BBf(21) champ.) | ||||
|
|
18:08 | Cyclic Tag 2 changes history +283 [JackM4828 (2×)] | |||
| m |
|
18:08 (cur | prev) 0 JackM4828 talk contribs (Minor text fix) Tag: Visual edit | |||
|
|
17:52 (cur | prev) +283 JackM4828 talk contribs (Added a known result) Tag: Visual edit | ||||