All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 21:25, 18 August 2024 ADucharme talk contribs uploaded File:MbSpace iterations10 smallmb wline.png
- 20:10, 18 August 2024 Sligocki talk contribs created page 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC (Created page with "{{machine|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} {{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} Potential Cryptid found by @mxdys on 18 Aug 2024: https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 <pre> start: P(2) P(2a) -> P(3a+4) P(2a+1) -> Q(a+2,1) Q(2a+3,b) -> P(b+5a+6) Q(2a+2,b) -> Q(a,b+2a+5) Q(1,2b+1) -> P(3b+8) Q(1,2b) -> Q(b+2,1) Q(0,b) -> halt P(a) := 0^inf 1^a 011 <D 0^inf Q(a,b) := 0^inf 1^(2a+1) <...")
- 20:07, 18 August 2024 ADucharme talk contribs created page File:(m,b) space after 9 iterations with halting condition line.png
- 20:07, 18 August 2024 ADucharme talk contribs uploaded File:(m,b) space after 9 iterations with halting condition line.png
- 19:57, 18 August 2024 ADucharme talk contribs created page File:Slope intercept space after 5 iterations.png
- 19:57, 18 August 2024 ADucharme talk contribs uploaded File:Slope intercept space after 5 iterations.png
- 03:26, 18 August 2024 User account Konkhra talk contribs was created
- 22:00, 17 August 2024 C7X talk contribs created page Talk:Champions (Created page with "==Larger champions== What are the known two-symbol champions beyond \(BB(16)\)? Vielhaber, Chacón, and Ceballos's paper "Friedman's 'Long Finite Sequences': The End of the Busy Beaver Contest" gives a \(2450\)-state two-symbol busy beaver halting after at least \(n(4)\) steps, where \(n\) is Friedman's block subsequence function, but this is a very large jump up in state count from \(14\) states for \(f_{\omega+1}(65536)\). (This paper has some mistakes with their (symb...")
- 18:38, 17 August 2024 Cosmo talk contribs created page Bbfind (Created page with "TODO https://skelet.ludost.net/bb/index.html") Tag: Visual edit
- 17:49, 17 August 2024 User account XnoobSpeakable talk contribs was created
- 00:21, 17 August 2024 ADucharme talk contribs created page BB(2,4) (Initialized the BB(2,4) page, still definitely a WIP) Tag: Visual edit
- 21:32, 16 August 2024 User account Stormy5537 talk contribs was created
- 14:57, 15 August 2024 Azerty talk contribs created page BB(2,3) (Created page with "'''BB(2,3)''' refers to the 2<sup>th</sup> value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones")
- 13:11, 15 August 2024 User account Azerty talk contribs was created
- 18:30, 14 August 2024 Racheline talk contribs created page Fast-Growing Hierarchy (Created page with "A Fast-Growing Hierarchy (FGH) is an ordinal-indexed hierarchy of functions satisfying certain restrictions. FGHs are used for assigning growth rates to fast computable functions, and are useful for approximating scores and halting times of Turing machines. == Definition == Given a system of fundamental sequences for limit ordinals below <math>\lambda</math>, its corresponding FGH is defined by <math display="block">\begin{array}{l} f_0(n) & = & n+1 \\ f_{\alpha+1...")
- 16:21, 14 August 2024 Racheline talk contribs created page 1RJ1RH 1RC1RB 1LI0RD 1RC1LE 0LE1LF 1LG1RH 1RB0LF 0RA1LE 1RF1LJ 0LK1RZ 1LL1LK 1LM1LM 0LI0LL (Created page with "{{TM|1RJ1RH_1RC1RB_1LI0RD_1RC1LE_0LE1LF_1LG1RH_1RB0LF_0RA1LE_1RF1LJ_0LK1RZ_1LL1LK_1LM1LM_0LI0LL|halt}} Current BB(13) champion. This machine was found by Racheline using an 8-state <math>f_\omega</math>-level mechanism (in the Fast-Growing Hierarchy) shared by the previous [https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(13) BB(13) champion] and [https://wiki.bbchallenge.org/wiki/User:Jacobzheng BB(14) champion]. Instead of using the 5 e...")
- 09:29, 13 August 2024 Bt2901 talk contribs created page Oriented state (Redirected page to Directed head notation) Tags: New redirect Visual edit: Switched
- 09:29, 13 August 2024 Bt2901 talk contribs created page Directed Head Notation (Redirected page to Directed head notation) Tags: New redirect Visual edit: Switched
- 06:06, 13 August 2024 Sligocki talk contribs created page 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB (Created page with "{{TM|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} BB(2,5) Cryptid found by Daniel Yuan. See https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html#a-bonus-cryptid<nowiki/>{{Machine|1RB3RB---3LA1RA_2LA3RA4LB0LB1LB}} Category:Cryptids Category:Stub") Tag: Visual edit
- 05:58, 13 August 2024 Sligocki talk contribs created page Category:Cryptids (Created page with "Turing machines shown to be Cryptids. Category:Individual machines") Tag: Visual edit
- 04:38, 13 August 2024 Mxdys talk contribs created page 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE (Created page with "This is a potential Cryptid found by @mxdys and shared on Discord on 7 Aug 2024. == Analysis by @mxdys == <pre> 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE start from (2,3) (a,b+a+2) --> (2a+3,b) (a+b+1,b) --> (2,a+4b+5) (a,a) --> halt not used? (a,a+1) --> (2,2a+4) only used once? (a,b) := 0^inf 01^a 110 A> 1^(2b+1) 0^inf example: (2,3)--> (2,8)-->(7,4)--> (2,23)-->(7,19)-->(17,10)--> (2,51)-->(7,47)-->(17,38)-->(37,19)--> (2,98)-->(7,94)-->(17,85)-->(...")
- 04:22, 13 August 2024 Mxdys talk contribs created page 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA (Antihydra variant)
- 13:29, 9 August 2024 Jacobzheng talk contribs created page User:Jacobzheng (Created page with "a 14x2 halt TM: <syntaxhighlight> 0 _ 1 r 1 0 1 1 r 13 1 _ 1 r 2 1 1 _ l 6 2 _ 1 l 3 2 1 1 r 1 3 _ 1 l 5 3 1 1 l 4 4 _ 1 r 7 4 1 1 l 5 5 _ 1 r 6 5 1 _ l 3 6 _ 1 l 1 6 1 _ r 5 7 _ 1 r 8 7 1 1 r 7 8 _ 1 r halt 8 1 _ r 9 9 _ 1 r 8 9 1 1 l 10 10 _ _ l 10 10 1 1 l 11 11 _ 1 l 12 11 1 1 r 13 12 _ 1 r 7 12 1 _ l 11 13 _ _ r 0 13 1 1 l 10 </syntaxhighlight>")
- 13:56, 8 August 2024 User account Jacobzheng talk contribs was created
- 06:26, 8 August 2024 User account LeopoldoConey talk contribs was created
- 14:43, 4 August 2024 DF376 talk contribs created page File:BB6 holdouts 5877.txt
- 14:43, 4 August 2024 DF376 talk contribs uploaded File:BB6 holdouts 5877.txt
- 14:40, 4 August 2024 User account DF376 talk contribs was created
- 09:50, 4 August 2024 Cosmo talk contribs created page Talk:Consistent Collatz (Created page with "Thank you very much for this interesting contribution ! - Is this wiki entry the first documentation of this work or are there any resources outhere about it (paper, blog, ...)? - Did you mint the term "consistent Collatz sequence" or was it introduced before in the litterature? - How do "consistent Collatz sequences" differ from Conway's "generalised Collatz maps"? Thank you!")
- 01:51, 4 August 2024 Int-y1 talk contribs created page BMO (Redirected page to Beaver Math Olympiad) Tag: New redirect
- 00:25, 4 August 2024 Ais523 talk contribs created page Consistent Collatz (a class of sequences, including that used by Hydra/Antihydra, that can be calculated in quasilinear time)
- 15:47, 30 July 2024 Bt2901 talk contribs created page File:Skeleton warrior.png
- 15:47, 30 July 2024 Bt2901 talk contribs uploaded File:Skeleton warrior.png
- 04:41, 30 July 2024 Sligocki talk contribs created page 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC (Created page with "{{machine|1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC}} A probviously halting BB(6) Cryptid found by @mxdys on 30 Jun 2024. Analysis by Shawn Ligocki: <pre> 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC C(a, b, c) = $ 1^2a+1 C> 0^2b 1^c 01 $ Level 1: C(a, b+2, c) -> C(a+3, b, c) C(a, 1, c+2) -> C(1, a+3, c) C(a, 0, c+1) -> C(1, a+1, c) C(a, 0, 0) -> C(1, 2, 2a+3) C(a, 1, 1) -> C(1, 2, 2a+7) C(a, 1, 0) -> Halt(2a+5) Level 2: C(...")
- 07:00, 24 July 2024 Bt2901 talk contribs created page Template:Mono (stolen from english wikipedia)
- 02:38, 24 July 2024 Int-y1 talk contribs created page BB(5,2) (Redirected page to BB(5)) Tag: New redirect
- 00:23, 24 July 2024 Int-y1 talk contribs created page File:Question, Web Fundamentals.svg (Re-uploaded from https://commons.wikimedia.org/wiki/File:Question,_Web_Fundamentals.svg)
- 00:23, 24 July 2024 Int-y1 talk contribs uploaded File:Question, Web Fundamentals.svg (Re-uploaded from https://commons.wikimedia.org/wiki/File:Question,_Web_Fundamentals.svg)
- 08:24, 23 July 2024 Int-y1 talk contribs created page Template:Unsolved/styles.css (Created page with "{{pp-template}}: Styles for "unsolved problem" summary: .unsolved { margin: 0.5em 0 1em 1em; border: #ccc solid; padding: 0.35em 0.35em 0.35em 2.2em; background-color: var(--background-color-interactive-subtle); background-image: url("https://upload.wikimedia.org/wikipedia/commons/2/26/Question%2C_Web_Fundamentals.svg"); background-position: top 50% left 0.35em; background-size: 1.5em; background-repeat: no-repeat; } @media (min-width: 720px) { .unsolv...")
- 08:12, 23 July 2024 Int-y1 talk contribs created page Template:Unsolved (Created page with "<templatestyles src="Unsolved/styles.css" /> <div role="note" class="unsolved"> <div><span class="unsolved-label">Unsolved problem</span>:</div> <div class="unsolved-body">{{{1}}}</div> </div><noinclude> {{documentation}}</noinclude>")
- 07:36, 23 July 2024 Bt2901 talk contribs created page Beaver Math Olympiad (Created page with "''Beaver Mathematical Olympiad'' is an attempt to re-formulate the halting problem for some particular TMs as mathematical problem in a style suitable for a hypothetical math olympiad. The purpose of BMO is twofold. First, statements where every non-essential details (e.g. related to tape encoding, number of steps, etc) is discarded are more suitable to be shared with mathematicians who perhaps are able to help. Second, it's a way to jokingly highlight how a hard ques...") Tag: Visual edit: Switched
- 06:32, 23 July 2024 User account Bt2901 talk contribs was created
- 03:07, 23 July 2024 Int-y1 talk contribs created page Translated Cycler (add image and caption)
- 02:58, 23 July 2024 Int-y1 talk contribs uploaded a new version of File:Translated cycler 44394115 annotated.svg (delete context-stroke)
- 02:52, 23 July 2024 Int-y1 talk contribs uploaded a new version of File:Translated cycler 44394115 annotated.svg (minify)
- 02:48, 23 July 2024 Int-y1 talk contribs created page File:Translated cycler 44394115 annotated.svg
- 02:48, 23 July 2024 Int-y1 talk contribs uploaded File:Translated cycler 44394115 annotated.svg
- 03:16, 22 July 2024 User account C7X talk contribs was created
- 17:24, 21 July 2024 User account Ais523 talk contribs was created
- 14:35, 21 July 2024 Mxdys talk contribs created page 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF (Created page with "This is a chaotic-looking TM in BB(6) holdouts. It's suspected to be a translated cycler with high period and very hard to accelerate, because many other similar looking TMs become translated cycler in 2e10 steps.")
_space_after_9_iterations_with_halting_condition_line.png){kind=link}
