User contributions for C7X

10 May 2026

• 21:5021:50, 10 May 2026 diff hist +61 (Article title) No edit summary current
• 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 current
• 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

2 August 2025

• 08:0008:00, 2 August 2025 diff hist −1 BB(7) Add 48xxxxx machine →Top Halters

22 July 2025

• 00:0700:07, 22 July 2025 diff hist −103 Talk:Logical independence Simplify →ZF vs. ZFC
• 00:0700:07, 22 July 2025 diff hist +1,045 Talk:Logical independence →ZF vs. ZFC

21 July 2025

• 20:0420:04, 21 July 2025 diff hist +787 Talk:Logical independence →ZF vs. ZFC

17 July 2025

• 01:3201:32, 17 July 2025 diff hist 0 BB(7) Number of phase 1 holdouts instead →Current Progress
• 01:2601:26, 17 July 2025 diff hist −69 BB(7) Done. (3,084,940 machines undecided after linear rule) →Current Progress

11 July 2025

• 17:1917:19, 11 July 2025 diff hist −3 BB(7) More linear →Current Progress

2 July 2025

• 04:3904:39, 2 July 2025 diff hist +17 BB(7) More →Current Progress

1 July 2025

• 18:2918:29, 1 July 2025 diff hist +135 BB(7) Add unclaimed blocks →Current Progress
• 18:2218:22, 1 July 2025 diff hist +44 BB(7) Adding usernames which got lost in last edit →Current Progress

28 June 2025

• 07:4607:46, 28 June 2025 diff hist +1 BB(6) Update →Top Halters

27 June 2025

• 16:2616:26, 27 June 2025 diff hist −9 BB(7) →Top Halters
• 16:2116:21, 27 June 2025 diff hist −21 BB(7) →Current Progress
• 16:1816:18, 27 June 2025 diff hist +155 BB(7) Some linear rule →Current Progress

26 June 2025

• 12:0212:02, 26 June 2025 diff hist +48 Lucy's Moonlight Update champion
• 11:5811:58, 26 June 2025 diff hist −89 Champions →2-Symbol TMs