General Recursive Function: Revision history

6 October 2026

• curprev 17:2517:25, 6 October 2026 HelpMe talk contribs 25,187 bytes +168 elaborate Tag: Visual edit
• curprev 17:0017:00, 6 October 2026 Sligocki talk contribs m 25,019 bytes +1 →Cryptids: Fix mistaken typo Tag: Visual edit
• curprev 16:5916:59, 6 October 2026 HelpMe talk contribs 25,018 bytes +192 notable mathematical functions do not exist in my opinion. mathematics is irrelevant. Tag: Visual edit

17 August 2026

• curprev 16:3616:36, 17 August 2026 Sligocki talk contribs m 24,826 bytes 0 →Primitive Recursive Functions: Fix typo in function Tag: Visual edit

18 July 2026

• curprev 23:0323:03, 18 July 2026 Sligocki talk contribs 24,826 bytes +1,120 →Notable GRF: Add "hardest min_prf 12" and reclassify Triangular Divisibility as "hardest min_prf 13" Tag: Visual edit

17 July 2026

• curprev 17:4017:40, 17 July 2026 Sligocki talk contribs 23,706 bytes +233 →Cryptids: Mention fermat.mgrf Tag: Visual edit

16 July 2026

• curprev 20:1220:12, 16 July 2026 Sligocki talk contribs 23,473 bytes +29 →M(PRF): All min_prf 13 holdouts proven by hand Tag: Visual edit
• curprev 20:0720:07, 16 July 2026 Sligocki talk contribs 23,444 bytes +381 →Solved GRFs: Add Triangular Divisibility (size 13) example Tag: Visual edit

9 July 2026

• curprev 20:4120:41, 9 July 2026 Sligocki talk contribs 23,063 bytes +90 →Chaotic size 15: Define %< Tag: Visual edit

8 July 2026

• curprev 03:2903:29, 8 July 2026 Sligocki talk contribs 22,973 bytes −263 →M(PRF): BBµ(17) ≥ 58471 Tag: Visual edit

25 June 2026

• curprev 13:4813:48, 25 June 2026 Sligocki talk contribs 23,236 bytes +24 →M(PRF): Size 20 holdouts Tag: Visual edit
• curprev 05:5405:54, 25 June 2026 Sligocki talk contribs 23,212 bytes +243 →M(PRF): BBµ(19) ≥ 13867 Tag: Visual edit
• curprev 02:4202:42, 25 June 2026 Sligocki talk contribs 22,969 bytes −10 →Primitive Recursive Functions: New PRF 23 champ Tag: Visual edit

23 June 2026

• curprev 20:1720:17, 23 June 2026 Sligocki talk contribs m 22,979 bytes 0 →Primitive Recursive Functions: Link to hand analysis Tag: Visual edit
• curprev 19:4619:46, 23 June 2026 Sligocki talk contribs 22,979 bytes +48 →Primitive Recursive Functions: Rewrite new champ using Add^3 (3-ary Add) Tag: Visual edit
• curprev 19:2119:21, 23 June 2026 Sligocki talk contribs m 22,931 bytes +90 →Primitive Recursive Functions: link champ annoucnement Tag: Visual edit
• curprev 19:0719:07, 23 June 2026 Sligocki talk contribs 22,841 bytes −6 →Macros: Fix definition of Tri (it was defining Square) Tag: Visual edit
• curprev 19:0519:05, 23 June 2026 Sligocki talk contribs 22,847 bytes +224 →Primitive Recursive Functions: Update PRF 23 after enumeration finished and my code detected a champion. I made a mistake on the previous bound AFAICT. Tag: Visual edit

22 June 2026

• curprev 13:0713:07, 22 June 2026 Sligocki talk contribs m 22,623 bytes +37 →Primitive Recursive Functions: Fix off-by-one row mistake in table Tag: Visual edit
• curprev 00:4000:40, 22 June 2026 Sligocki talk contribs 22,586 bytes −61 →Primitive Recursive Functions: Clarify that all 11 were decided by hand. Tag: Visual edit
• curprev 00:3700:37, 22 June 2026 Sligocki talk contribs 22,647 bytes +55 →Primitive Recursive Functions: Rework final sentence about being general champions and put on new line so that (hopefully) we notice to remove it when M(PRF) surpasses it. Tag: Visual edit

16 June 2026

• curprev 02:5402:54, 16 June 2026 Sligocki talk contribs 22,592 bytes +71 →M(PRF): Add min_prf size 18 results. No known higher scoring champ. Tag: Visual edit

15 June 2026

• curprev 21:4321:43, 15 June 2026 Sligocki talk contribs 22,521 bytes −2 →M(PRF): Update holdout counts Tag: Visual edit

26 May 2026

• curprev 23:1123:11, 26 May 2026 Sligocki talk contribs 22,523 bytes +797 →Notable GRF: Add proof of non-halting Tag: Visual edit
• curprev 21:0121:01, 26 May 2026 Sligocki talk contribs 21,726 bytes +560 →Notable Divergent GRF: Add a couple unsolved Chaotic GRF of note. Tag: Visual edit
• curprev 20:5820:58, 26 May 2026 Azerty talk contribs m 21,166 bytes +1 →BBµ(14) ≥ 32: Fixed a typo Tag: Visual edit
• curprev 20:0420:04, 26 May 2026 Sligocki talk contribs m 21,165 bytes −3 →Analysis of Champions: Switch to top level heading Tag: Visual edit
• curprev 20:0320:03, 26 May 2026 Sligocki talk contribs 21,168 bytes +1,487 Add new "Analysis of Champions" section with BBµ(14) champion. Tag: Visual edit
• curprev 14:2814:28, 26 May 2026 Sligocki talk contribs 19,681 bytes −436 →Utilizing Minimization: Rewrite section to Pairing Functions based on new results where PRF no longer dominate (and we found Ackermann GRF without general pairing function). Tag: Visual edit

24 May 2026

• curprev 21:2821:28, 24 May 2026 Sligocki talk contribs 20,117 bytes +130 →M(PRF): Add other BBµ(14) champion Tag: Visual edit
• curprev 21:2021:20, 24 May 2026 Sligocki talk contribs 19,987 bytes +90 →Primitive Recursive Functions: Link holdout list. Tag: Visual edit
• curprev 21:1421:14, 24 May 2026 Sligocki talk contribs 19,897 bytes +602 →Primitive Recursive Functions: Add back old PRF attribution Tag: Visual edit
• curprev 21:0921:09, 24 May 2026 Sligocki talk contribs m 19,295 bytes +13 →M(PRF): Format Tag: Visual edit
• curprev 21:0921:09, 24 May 2026 Sligocki talk contribs 19,282 bytes +1,578 →Champions: Split out into 4 sections for compositions functions, PRF, M(PRF) and Full GRF. Tag: Visual edit
• curprev 20:1620:16, 24 May 2026 Sligocki talk contribs 17,704 bytes −319 →Champions: Link github version and delete obsolete OmegaN() champions Tag: Visual edit
• curprev 20:0320:03, 24 May 2026 Racheline6174 talk contribs 18,023 bytes +264 →Champions: keeping the later champions that have non-discord sources

19 May 2026

• curprev 05:4105:41, 19 May 2026 Sligocki talk contribs 17,759 bytes −3 →Champions: Fix the BBµ(22/24) champion scores. Tag: Visual edit

18 May 2026

• curprev 15:2415:24, 18 May 2026 Sligocki talk contribs 17,762 bytes +218 →Champions: Add back Omega2() Tag: Visual edit
• curprev 13:1913:19, 18 May 2026 JLM talk contribs 17,544 bytes +13 →Macros: Correct the arities of macro function arguments
• curprev 13:1413:14, 18 May 2026 JLM talk contribs m 17,531 bytes +13 →Primitive Recursion: format Tag: Visual edit
• curprev 03:1203:12, 18 May 2026 Sligocki talk contribs 17,518 bytes −505 →Champions: Update Ackermann/Graham champions to slightly smaller. Tag: Visual edit
• curprev 02:1502:15, 18 May 2026 Sligocki talk contribs 18,023 bytes −1,345 Add RepFirst macro, use it to define some new champs and delete a lot of old stuff. Tag: Visual edit

17 May 2026

• curprev 23:4923:49, 17 May 2026 Sligocki talk contribs 19,368 bytes +242 →Champions: BBµ_PRF(21) = 8589934591 Tag: Visual edit

8 May 2026

• curprev 16:5416:54, 8 May 2026 Sligocki talk contribs 19,126 bytes −108 →Champions: BBµ(17) ≥ 2090 Tag: Visual edit

7 May 2026

• curprev 18:3518:35, 7 May 2026 Sligocki talk contribs 19,234 bytes +260 →Champions: BBµ(17) ≥ 1244 Tag: Visual edit

6 May 2026

• curprev 02:5602:56, 6 May 2026 JLM talk contribs 18,974 bytes +45 →Champions: Size 16 champion of 47.

5 May 2026

• curprev 23:0323:03, 5 May 2026 JLM talk contribs 18,929 bytes −318 →Champions: Remove 16, 17 champs beaten by the 14 champ
• curprev 17:4117:41, 5 May 2026 JLM talk contribs 19,247 bytes −8 →Primitive Recursion: In-line math formatting.
• curprev 17:3117:31, 5 May 2026 JLM talk contribs 19,255 bytes −1 →Primitive Recursion: Remove spurious linebreaks. Tag: Visual edit

4 May 2026

• curprev 18:2818:28, 4 May 2026 Sligocki talk contribs 19,256 bytes +1 →Primitive Recursion: Inline some math Tag: Visual edit