User contributions for C7X

25 September 2026

• 23:0623:06, 25 September 2026 diff hist +34 N 1RB0LB 0RC0LD 1LD1RE 0LA0RF 0RD1RF 0RC--- BMO redirect so it shows up on bbchallenge.org current Tag: New redirect
• 23:0623:06, 25 September 2026 diff hist +34 N 1RB0LD 0LC0RE 1LA0RD 0RB0LC 1RC1RF 0LD--- BMO redirect so it shows up on bbchallenge.org current Tag: New redirect
• 23:0523:05, 25 September 2026 diff hist +34 N 1RB1LA 1RC0RD 1LA--- 1RE1RD 1LF0LA ---0LE BMO redirect current Tag: New redirect

15 September 2026

• 08:1008:10, 15 September 2026 diff hist +326 BB(6) More champions

27 August 2026

• 06:1806:18, 27 August 2026 diff hist +2 BB(6) I guess "became known later" might be readable as either "discovered in computer output later" or "published later", the second one seems to be the situation

23 August 2026

• 04:2304:23, 23 August 2026 diff hist +202 Fractran Formatting

19 August 2026

• 04:0904:09, 19 August 2026 diff hist +35 Diophantine Equation Ah you're right, thanks. Hopefully this one works, it seems to have been missed in Grechuk's preprint
• 03:5503:55, 19 August 2026 diff hist +223 Diophantine Equation Please remove if this is not rigorous/well-sourced enough of an edit Tag: Reverted
• 02:2102:21, 19 August 2026 diff hist +92 Diophantine Equation No edit summary

14 August 2026

• 07:3907:39, 14 August 2026 diff hist +107 Talk:Diophantine Equation →Two relevant links current
• 07:3807:38, 14 August 2026 diff hist +617 N Talk:Diophantine Equation Created page with "==Two relevant links== * "[https://mathoverflow.net/questions/400714/ Can you solve the listed smallest open Diophantine equations?]" may be a good source of cryptids, and it uses the same notion of size. * "[https://web.archive.org/web/20130113072354/http://www.maths.bris.ac.uk/~maaib/baby/baby_project.pdf Studying the Atlas of all possible polynomial equations with quantifier-prefixes]" by Bovykin and De Smet, where they look for short (quantifier-prefixed) diophantine..."

5 August 2026

• 21:2221:22, 5 August 2026 diff hist +26 BB(2,5) Link abbreviation
• 21:2021:20, 5 August 2026 diff hist +158 Holdouts lists Add one more →BB(2,5)
• 18:1818:18, 5 August 2026 diff hist +115 Holdouts lists End domain with length-0 list since it's solved

10 June 2026

• 21:1521:15, 10 June 2026 diff hist +38 Oracle This page is under construction, but I haven't seen any sources myself with these oracles (is an oracle the same thing semantically as a subset of N?)

22 May 2026

• 05:4905:49, 22 May 2026 diff hist +190 Graham's number Looks like Wythagoras originally had a 19-state machine, then <4 hours later improved it to 18 states →History of Graham-beating TMs

20 May 2026

• 22:3522:35, 20 May 2026 diff hist +335 BB(2,3) Add citation from Michel's page current

10 May 2026

• 21:4321:43, 10 May 2026 diff hist +151 SKI Calculus Replace with archived version Tag: Visual edit: Switched

22 April 2026

• 19:2619:26, 22 April 2026 diff hist +1 Fast-Growing Hierarchy Spacing →Examples
• 19:2619:26, 22 April 2026 diff hist 0 Fast-Growing Hierarchy f_ω(0) = f_0(0) = 1 →Table of Small Values

12 April 2026

• 19:3619:36, 12 April 2026 diff hist −26 Fractran Name of cryptid →Visualizing Fractran Programs' Space-Time Diagrams

9 April 2026

• 05:3805:38, 9 April 2026 diff hist +1 Cryptids Fix typo →Cryptids at the Edge
• 05:3705:37, 9 April 2026 diff hist −4 Cryptids Fix year →Larger Cryptids
• 05:3705:37, 9 April 2026 diff hist +5 Cryptids Fix page numbers →Larger Cryptids
• 05:3505:35, 9 April 2026 diff hist +45 Cryptids →Larger Cryptids
• 05:3405:34, 9 April 2026 diff hist +1 Cryptids Add period →Larger Cryptids
• 05:3405:34, 9 April 2026 diff hist +466 Cryptids →Larger Cryptids

14 March 2026

• 18:3618:36, 14 March 2026 diff hist −1 Graham's number Correction
• 18:3618:36, 14 March 2026 diff hist +3 Graham's number Update →Bounds
• 18:3618:36, 14 March 2026 diff hist +141 Graham's number →History of Graham-beating TMs
• 18:3518:35, 14 March 2026 diff hist −9 Champions Move it up →2-Symbol TMs
• 18:3418:34, 14 March 2026 diff hist 0 Logical independence More common phrasing →Large cardinals
• 08:5008:50, 14 March 2026 diff hist −11 BB(7) Done →History
• 08:1508:15, 14 March 2026 diff hist +158 Graham's number →History of Graham-beating TMs
• 07:5207:52, 14 March 2026 diff hist +373 Graham's number →History of Graham-beating TMs
• 07:4307:43, 14 March 2026 diff hist 0 Graham's number Improved to 18 on same day (for date proof, see the blog post's page history) →History of Graham-beating TMs

1 March 2026

• 05:2205:22, 1 March 2026 diff hist +12 Logical independence This is less invariant to how a theory is defined (as a set of axioms or as a deductively closed set of formulas), but equally general due to Craig's theorem

28 February 2026

• 02:4302:43, 28 February 2026 diff hist +153 N Talk:BB(11) Created page with "==Deletion== Should this page be deleted? There aren't pages for BB(9) and BB(10) ~~~~" current
• 02:4002:40, 28 February 2026 diff hist +216 Logical independence Add to citations →Large cardinals
• 02:3602:36, 28 February 2026 diff hist +45 Logical independence MathJax
• 02:3402:34, 28 February 2026 diff hist +7 Logical independence Infinitely many axioms

6 November 2025

• 07:5907:59, 6 November 2025 diff hist +17 Talk:Logical independence →Extensionality
• 07:5907:59, 6 November 2025 diff hist +5 Talk:Logical independence →Extensionality
• 07:5807:58, 6 November 2025 diff hist +723 Talk:Logical independence →ZF vs. ZFC

12 October 2025

• 18:2618:26, 12 October 2025 diff hist −6 1RB0LC 1RC1RA 1RD0RF 0LE--- 1LA1LE 0RA1RF No edit summary

3 September 2025

• 15:2715:27, 3 September 2025 diff hist −25 Cryptids State count improvement for ZF →Larger Cryptids

31 August 2025

• 03:5003:50, 31 August 2025 diff hist +120 Talk:1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC →More simulation

30 August 2025

• 11:1611:16, 30 August 2025 diff hist −4 Talk:1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC →More simulation
• 11:1611:16, 30 August 2025 diff hist +229 Talk:1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC →More simulation: new section

15 August 2025

• 01:0601:06, 15 August 2025 diff hist +244 Maximum Consecutive Ones Function Add an early appearance of the num(5) champion →Champions