SKI Calculus: Revision history

30 May 2026

• curprev 13:2113:21, 30 May 2026 Δ⁵ talk contribs m 4,356 bytes −2 Ξ₀ came first Tag: Visual edit

29 May 2026

• curprev 01:2201:22, 29 May 2026 Δ⁵ talk contribs 4,358 bytes −27 →Champions Tag: Visual edit

28 May 2026

• curprev 06:0406:04, 28 May 2026 Δ⁵ talk contribs m 4,385 bytes −142 Removed unused columns Tag: Visual edit

27 May 2026

• curprev 15:5215:52, 27 May 2026 Azerty talk contribs 4,527 bytes +21 I prefer keeping BB_SKI because it's more consistent with other systems like SK or BKWC Tag: Visual edit
• curprev 13:4013:40, 27 May 2026 Δ⁵ talk contribs m 4,506 bytes −6 changed terminology to be more consistent Tag: Visual edit
• curprev 02:2202:22, 27 May 2026 Δ⁵ talk contribs m 4,512 bytes 0 →Champions: un-overestimated bound Tag: Visual edit
• curprev 02:2102:21, 27 May 2026 Δ⁵ talk contribs m 4,512 bytes 0 →Champions: un-underestimated bound Tag: Visual edit
• curprev 01:5401:54, 27 May 2026 Δ⁵ talk contribs m 4,512 bytes +10 →Champions: new bounds+minor change in wording Tag: Visual edit
• curprev 01:2401:24, 27 May 2026 Δ⁵ talk contribs 4,502 bytes 0 →Champions: new champion Tag: Visual edit
• curprev 01:1201:12, 27 May 2026 Δ⁵ talk contribs 4,502 bytes −5 →Champions: new bounds Tag: Visual edit
• curprev 01:0001:00, 27 May 2026 Δ⁵ talk contribs 4,507 bytes −49 →Champions: new champion, replaced uncopyable thing with plaintext, and minor change in wording Tag: Visual edit

26 May 2026

• curprev 09:4709:47, 26 May 2026 Polygon talk contribs 4,556 bytes +80 →Champions: Added representation of BB_SKI(20) bound in a better-known form
• curprev 09:3809:38, 26 May 2026 Polygon talk contribs 4,476 bytes +20 →Champions: Proper subscripts for FGH
• curprev 07:3607:36, 26 May 2026 Azerty talk contribs m 4,456 bytes +2 →Champions Tag: Visual edit
• curprev 05:2805:28, 26 May 2026 Δ⁵ talk contribs m 4,454 bytes +5 Fixed weird formatting error. Tag: Visual edit
• curprev 05:2305:23, 26 May 2026 Δ⁵ talk contribs m 4,449 bytes −16 →See Also: Removed extravenous link to brainfuck Tag: Visual edit
• curprev 05:2005:20, 26 May 2026 Δ⁵ talk contribs m 4,465 bytes −21 Changed the way reduction is described to reveal the underlying symmetry Tag: Visual edit: Switched
• curprev 05:1705:17, 26 May 2026 Δ⁵ talk contribs m 4,486 bytes +18 →Champions Tag: Visual edit
• curprev 05:1605:16, 26 May 2026 Δ⁵ talk contribs 4,468 bytes +156 Seriously? “=“? Whoever added this is either overconfident or supremely overconfident Tag: Visual edit
• curprev 04:4304:43, 26 May 2026 Δ⁵ talk contribs 4,312 bytes −180 →Champions: Updated bounds and removed misinformation Tag: Visual edit

25 May 2026

• curprev 08:0008:00, 25 May 2026 Azerty talk contribs 4,492 bytes +575 Added BCKW system. Tag: Visual edit
• curprev 06:4306:43, 25 May 2026 Azerty talk contribs 3,917 bytes +180 →Champions: Added new champion and discoverer name. Tag: Visual edit

23 May 2026

• curprev 19:1019:10, 23 May 2026 Azerty talk contribs 3,737 bytes +5 →Champions: Updated SKI champions Tag: Visual edit
• curprev 19:0819:08, 23 May 2026 Azerty talk contribs 3,732 bytes +15 →Champions: Added new champions. Tag: Visual edit

22 May 2026

• curprev 19:4419:44, 22 May 2026 Polygon talk contribs 3,717 bytes +19 Linked Brainfuck
• curprev 03:1303:13, 22 May 2026 Δ⁵ talk contribs 3,698 bytes −104 →Champions Tag: Visual edit

19 May 2026

• curprev 13:4513:45, 19 May 2026 Δ⁵ talk contribs 3,802 bytes +532 Edited intro and added a section about oracles. Tag: Visual edit: Switched
• curprev 03:0203:02, 19 May 2026 Δ⁵ talk contribs m 3,270 bytes −4 →Champions Tag: Visual edit

15 May 2026

• curprev 14:1014:10, 15 May 2026 Δ⁵ talk contribs m 3,274 bytes −32 →Champions: 1. The 2^256 bound wasn’t discovered by Komiamiko. 2. Melo never worked on SKI. 3. You forgot to add two Ks at the end. 4. There’s a smaller bound Tag: Visual edit

12 May 2026

• curprev 18:4318:43, 12 May 2026 Azerty talk contribs m 3,306 bytes −40 →Champions Tag: Visual edit

11 May 2026

• curprev 01:4201:42, 11 May 2026 Sligocki talk contribs m 3,346 bytes +20 link LC Tag: Visual edit

10 May 2026

• curprev 21:4321:43, 10 May 2026 C7X talk contribs 3,326 bytes +151 Replace with archived version Tag: Visual edit: Switched
• curprev 15:5815:58, 10 May 2026 JLM talk contribs 3,175 bytes −108 Remove suspicious link to missing resource.

9 May 2026

• curprev 23:0723:07, 9 May 2026 ADucharme talk contribs 3,283 bytes −14 introduction reorganization Tag: Visual edit
• curprev 23:0423:04, 9 May 2026 ADucharme talk contribs m 3,297 bytes 0 ADucharme moved page Busy Beaver for SKI calculus to SKI Calculus: standardization

7 May 2026

• curprev 09:0509:05, 7 May 2026 Tromp talk contribs 3,297 bytes +10 →Champions
• curprev 09:0209:02, 7 May 2026 Tromp talk contribs 3,287 bytes +84 →Champions
• curprev 08:4808:48, 7 May 2026 Tromp talk contribs m 3,203 bytes +5 →SK calculus Tag: Visual edit
• curprev 08:4808:48, 7 May 2026 Tromp talk contribs 3,198 bytes +92 →SK calculus
• curprev 08:4608:46, 7 May 2026 Tromp talk contribs 3,106 bytes +100 →SK calculus
• curprev 08:4208:42, 7 May 2026 Tromp talk contribs 3,006 bytes +86 n S/K combinators take 3n-1 bits to encode in Binary Combinatory Logic
• curprev 04:4104:41, 7 May 2026 Δ⁵ talk contribs 2,920 bytes +285 →Champions: new bounds Tag: Visual edit
• curprev 03:4503:45, 7 May 2026 Δ⁵ talk contribs 2,635 bytes +678 Updated bounds and removed misinformation Tag: Visual edit

4 April 2026

• curprev 16:1816:18, 4 April 2026 Polygon talk contribs 1,957 bytes +36 Linked BBlambda

25 December 2025

• curprev 13:2113:21, 25 December 2025 Polygon talk contribs 1,921 bytes +7 used proper greater/equals sign

24 December 2025

• curprev 16:4216:42, 24 December 2025 Azerty talk contribs 1,914 bytes +1,305 Added SK calculus section. Tag: Visual edit

29 November 2025

• curprev 10:2110:21, 29 November 2025 Polygon talk contribs 609 bytes +24 Added category:functions

28 November 2025

• curprev 13:0013:00, 28 November 2025 Azerty talk contribs 585 bytes +101 Added a few values to the table. Tag: Visual edit
• curprev 12:5212:52, 28 November 2025 Azerty talk contribs 484 bytes 0 Improved the 6th champion. Tag: Visual edit
• curprev 12:4512:45, 28 November 2025 Azerty talk contribs 484 bytes +484 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..."