All public logs

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).

• 03:10, 25 August 2024 Alemagno12 talk contribs created page File:BB 2x5 Dekaheptoid Non Halt Proof Version 2 .pdf (Proof of nonhalting of the dekaheptoid 1RB3RB1LB---2RB_2LA1RA4LB2LA2RA by Daniel Yuan)
• 03:10, 25 August 2024 Alemagno12 talk contribs uploaded File:BB 2x5 Dekaheptoid Non Halt Proof Version 2 .pdf (Proof of nonhalting of the dekaheptoid 1RB3RB1LB---2RB_2LA1RA4LB2LA2RA by Daniel Yuan)
• 03:05, 25 August 2024 User account Alemagno12 talk contribs was created
• 23:28, 24 August 2024 Bt2901 talk contribs created page Dekaheptoid (Created page with "'''Dekaheptoid''' (from Ancient Greek word meaning "seventeen") is an informal class of Turing machines that are, in some sense, similar to Skelet 17. A typical Turing machine in this class has the following behavior: * it works with the sequence of numbers encoded as <math>10^{k}</math> (here referred to as ''digits''). * it spends most of it's time performing an operation that could be described as incrementing/decrementing Gray Code of the sequence * it has a rou...")
• 13:40, 24 August 2024 LegionMammal978 talk contribs deleted page H:Ja (content before blanking was: "a mang is ja")
• 10:07, 24 August 2024 Jacobzheng talk contribs created page H:Ja (Created page with "a mang is ja")
• 04:55, 22 August 2024 User account SSJ talk contribs was created
• 12:48, 19 August 2024 User account Entmoot talk contribs was created
• 11:55, 19 August 2024 Vigoux talk contribs created page User:Vigoux (Initial setup of my user page.) Tag: Visual edit
• 11:44, 19 August 2024 User account Vigoux talk contribs was created
• 23:05, 18 August 2024 ADucharme talk contribs created page File:Screenshot of (m,b) set as we zoom in on possible intersection.png
• 23:05, 18 August 2024 ADucharme talk contribs uploaded File:Screenshot of (m,b) set as we zoom in on possible intersection.png
• 21:25, 18 August 2024 ADucharme talk contribs created page File:MbSpace iterations10 smallmb wline.png
• 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^th 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)