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
4 November 2026
| 09:39 | User:NathFR76 diffhist +78 NathFR76 talk contribs (i add a conjecture between CET(n,k) and BBB(n,k)) | ||||
3 November 2026
|
|
18:16 | User:NathFR76 8 changes history +4,259 [NathFR76 (8×)] | |||
|
|
18:16 (cur | prev) +5 NathFR76 talk contribs (New champion for CET(2,3)) Tag: Visual edit | ||||
|
|
18:11 (cur | prev) +5 NathFR76 talk contribs (new champions for CET(4)) Tag: Visual edit | ||||
|
|
17:45 (cur | prev) −29 NathFR76 talk contribs Tag: Visual edit | ||||
|
|
17:45 (cur | prev) +66 NathFR76 talk contribs (i changed some incorrect values) Tag: Visual edit | ||||
|
|
17:40 (cur | prev) +1 NathFR76 talk contribs (i add detail) Tag: Visual edit | ||||
|
|
17:39 (cur | prev) +160 NathFR76 talk contribs (i add some CET(n) champion) Tag: Visual edit | ||||
|
|
15:44 (cur | prev) −29 NathFR76 talk contribs Tag: Visual edit | ||||
|
|
15:43 (cur | prev) +4,080 NathFR76 talk contribs (i add another busy beaver like function named Catch Em Turing (CET(n)), it's a busy beaver with 2 agent in tape) Tag: Visual edit | ||||
| 11:11 | Beeping Busy Beaver diffhist +16 Polygon talk contribs (→Champions: edited Coq-BBB4 reference) | ||||
1 November 2026
| m 12:36 | User:NathFR76 diffhist −2,350 NathFR76 talk contribs (I add a function named Thutus in my user page because Δ⁵ recommended it) | ||||
31 October 2026
|
|
13:47 | Beeping Busy Beaver 5 changes history +1,265 [Frogmatic (5×)] | |||
|
|
13:47 (cur | prev) +139 Frogmatic talk contribs (→Champions: Add the best source I can find for BBB(3) = 55.) | ||||
|
|
13:39 (cur | prev) +220 Frogmatic talk contribs (→Champions: Split source to a separate column (it's hard to read a number with a footnote right after it, these look like exponents)) | ||||
|
|
13:11 (cur | prev) +591 Frogmatic talk contribs (→Beeping Booping Busy Beavers: Document current BBBB champs for small values, and give proper credit to racheline.) | ||||
|
|
11:26 (cur | prev) +249 Frogmatic talk contribs (Explain more of the significance of BBB in terms of simulation power) | ||||
|
|
08:48 (cur | prev) +66 Frogmatic talk contribs (Correct value for BBBB(2)) | ||||
30 October 2026
|
|
N 13:14 | User:NathFR76 2 changes history +4,872 [NathFR76 (2×)] | |||
| m |
|
13:14 (cur | prev) +7 NathFR76 talk contribs (i changed few spacing text) Tag: Visual edit | |||
| N |
|
13:12 (cur | prev) +4,865 NathFR76 talk contribs (Created page with "Hi! My name is Nathan. I created **Thutus**, a diagonalization of the SKI calculus, and its associated function \(T(n)\). This page describes the system, its rewrite rules, and the lower bounds currently known for \(T(n)\). THUTUS — Function T(n) Thutus is a combinatorial rewriting system whose syntax and expression application follow the SKI calculus. 1. Alphabet For each integer n ≥ 1, the available alphabet is: L₁, L₂, ..., Lₙ. 2. Initial expression...") | |||