User contributions for C7X
Jump to navigation
Jump to search
29 October 2026
- 20:4920:49, 29 October 2026 diff hist −31 BB(8) Not blue
- 20:4820:48, 29 October 2026 diff hist +5,144 BB(8) Add History
- 19:4619:46, 29 October 2026 diff hist −42 TMBR: October 2026 Is this too editorial
- 19:2619:26, 29 October 2026 diff hist +178 Measuring large numbers Trying to rewrite some
- 19:1819:18, 29 October 2026 diff hist −3 Measuring large numbers Remove blank line
- 02:2802:28, 29 October 2026 diff hist +9 Champions No edit summary
- 02:2202:22, 29 October 2026 diff hist +24 Champions May become important later
8 October 2026
- 13:3113:31, 8 October 2026 diff hist +1 Measuring large numbers →Theories
- 13:3113:31, 8 October 2026 diff hist +299 Measuring large numbers →Theories
7 October 2026
- 21:4321:43, 7 October 2026 diff hist +435 Measuring large numbers Add some sources
- 21:3821:38, 7 October 2026 diff hist +9 Measuring large numbers Fix incorrect PTO
- 21:3721:37, 7 October 2026 diff hist +3 Measuring large numbers →Theories
- 21:3721:37, 7 October 2026 diff hist +189 Measuring large numbers →Theories
- 21:1921:19, 7 October 2026 diff hist +482 Measuring large numbers Add some references, Bignum Bakeoff entries were due 31 December 2001
- 21:0921:09, 7 October 2026 diff hist +68 Measuring large numbers No edit summary
3 October 2026
- 05:1305:13, 3 October 2026 diff hist 0 Talk:1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- Link current
- 05:1205:12, 3 October 2026 diff hist +264 N Talk:1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- Created page with "==Two questions== # Is the machine still a holdout? # Should it be added to this page that there is now a formalization that avoids the Baker–Wüstholz-theorem? (From TMBR:_September 2026) ~~~~"
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