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
10 May 2026
|
|
10:38 | Lambda Calculus 4 changes history +9 [Tromp (4×)] | |||
|
|
10:38 (cur | prev) −30 Tromp talk contribs (→Analogy to Turing machines) | ||||
|
|
10:35 (cur | prev) 0 Tromp talk contribs | ||||
|
|
10:26 (cur | prev) 0 Tromp talk contribs (→See Also) | ||||
|
|
10:26 (cur | prev) +39 Tromp talk contribs (add C++ codebase for deciding BBλ) | ||||
9 May 2026
| 23:07 | SKI Calculus diffhist −14 ADucharme talk contribs (introduction reorganization) | ||||
|
|
23:04 | (Move log) [ADucharme (2×)] | |||
|
|
23:04 ADucharme talk contribs moved page Busy Beaver for SKI calculus to SKI Calculus (standardization) | ||||
|
|
22:31 ADucharme talk contribs moved page Busy Beaver for lambda calculus to Lambda Calculus over redirect (standardization pf titles) | ||||
|
|
23:02 | Lambda Calculus 3 changes history −2,333 [ADucharme (3×)] | |||
| m |
|
23:02 (cur | prev) +35 ADucharme talk contribs (→See Also: add De Bruijn index, edit SKI calculus links) Tag: Visual edit | |||
|
|
22:49 (cur | prev) −2,371 ADucharme talk contribs (removal of de bruijn index section, to be moved to new page) Tag: Visual edit | ||||
|
|
22:47 (cur | prev) +3 ADucharme talk contribs (introduction reorganization) Tag: Visual edit | ||||
| 03:37 | Sequences diffhist +195 Int-y1 talk contribs (add fractran) | ||||
8 May 2026
|
|
19:47 | Busy Beaver for lambda calculus 2 changes history −23 [Tromp (2×)] | |||
|
|
19:47 (cur | prev) 0 Tromp talk contribs (→See Also) | ||||
|
|
19:45 (cur | prev) −23 Tromp talk contribs (→See Also) | ||||
| 16:54 | General Recursive Function diffhist −108 Sligocki talk contribs (→Champions: BBµ(17) ≥ 2090) | ||||
7 May 2026
| 18:35 | General Recursive Function diffhist +260 Sligocki talk contribs (→Champions: BBµ(17) ≥ 1244) | ||||
|
|
09:05 | Busy Beaver for SKI calculus 8 changes history +1,340 [Δ⁵ (2×); Tromp (6×)] | |||
|
|
09:05 (cur | prev) +10 Tromp talk contribs (→Champions) | ||||
|
|
09:02 (cur | prev) +84 Tromp talk contribs (→Champions) | ||||
| m |
|
08:48 (cur | prev) +5 Tromp talk contribs (→SK calculus) Tag: Visual edit | |||
|
|
08:48 (cur | prev) +92 Tromp talk contribs (→SK calculus) | ||||
|
|
08:46 (cur | prev) +100 Tromp talk contribs (→SK calculus) | ||||
|
|
08:42 (cur | prev) +86 Tromp talk contribs (n S/K combinators take 3n-1 bits to encode in Binary Combinatory Logic) | ||||
|
|
04:41 (cur | prev) +285 Δ⁵ talk contribs (→Champions: new bounds) Tag: Visual edit | ||||
|
|
03:45 (cur | prev) +678 Δ⁵ talk contribs (Updated bounds and removed misinformation) Tag: Visual edit | ||||
| m 05:07 | Busy Beaver for lambda calculus diffhist +35 Δ⁵ talk contribs (→See Also: added link to related busy beaver) | ||||
6 May 2026
| 02:56 | General Recursive Function diffhist +45 JLM talk contribs (→Champions: Size 16 champion of 47.) | ||||
5 May 2026
|
|
23:03 | General Recursive Function 3 changes history −327 [JLM (3×)] | |||
|
|
23:03 (cur | prev) −318 JLM talk contribs (→Champions: Remove 16, 17 champs beaten by the 14 champ) | ||||
|
|
17:41 (cur | prev) −8 JLM talk contribs (→Primitive Recursion: In-line math formatting.) | ||||
|
|
17:31 (cur | prev) −1 JLM talk contribs (→Primitive Recursion: Remove spurious linebreaks.) Tag: Visual edit | ||||
4 May 2026
|
|
18:28 | General Recursive Function 7 changes history +1,856 [Sligocki (7×)] | |||
|
|
18:28 (cur | prev) +1 Sligocki talk contribs (→Primitive Recursion: Inline some math) Tag: Visual edit | ||||
|
|
18:27 (cur | prev) +347 Sligocki talk contribs (Add example of how to evaluate R using iteration (instead of recursion) and mention PRF) Tag: Visual edit | ||||
|
|
18:14 (cur | prev) +133 Sligocki talk contribs (→Combinators: Add arity superscript to combinators and note they are usually redundant.) Tag: Visual edit | ||||
|
|
18:00 (cur | prev) −22 Sligocki talk contribs (→Champions: Remove other size 2 champions, we haven't included ties in any other size, let's keep it simple for now.) Tag: Visual edit | ||||
| m |
|
17:58 (cur | prev) +99 Sligocki talk contribs (→Tetrahedral Divisibility: link) Tag: Visual edit | |||
|
|
17:57 (cur | prev) +586 Sligocki talk contribs (→Cryptids: Add Tetr Div GRF) Tag: Visual edit | ||||
|
|
17:47 (cur | prev) +712 Sligocki talk contribs (→Cryptids: Build table of known results) Tag: Visual edit | ||||