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

13:20, 15 October 2024 LegionMammal978 talk contribs blocked CandelariaCottle talk contribs with an expiration time of indefinite (account creation disabled, cannot edit own talk page) (Spamming links to external sites)
13:19, 15 October 2024 LegionMammal978 talk contribs deleted page User:CandelariaCottle (Spam: content was: " Насладитесь атмосферой азартных игр и высоких ставок, погрузитесь в мир адреналина и больших выигрышей! Наш клуб предлагает широкий выбор игр, опции быстрых выплат и высокий уровень безопа...", and the only contributor was "CandelariaCottle" (talk))
13:19, 15 October 2024 LegionMammal978 talk contribs deleted page Gama Casino: Официальный Сайт Для Настоящих Побед (Spam: content before blanking was: " Уникальное казино с разнообразием игр и высокими коэффициентами! Здесь вы найдете множество возможностей для азартных игр и огромное количество выигрышей [https://0df.ru/ https://0df.ru/]. Этот игровой портал предлагает уникальные бонусы и акции для св...")
12:49, 15 October 2024 CandelariaCottle talk contribs created page Gama Casino: Официальный Сайт Для Настоящих Побед (Created page with " Уникальное казино с разнообразием игр и высокими коэффициентами! Здесь вы найдете множество возможностей для азартных игр и огромное количество выигрышей [https://0df.ru/ https://0df.ru/]. Этот игровой портал предлагает уникальные бонусы и акции для своих п...")
12:49, 15 October 2024 CandelariaCottle talk contribs created page User:CandelariaCottle (Created page with " Насладитесь атмосферой азартных игр и высоких ставок, погрузитесь в мир адреналина и больших выигрышей! Наш клуб предлагает широкий выбор игр, опции быстрых выплат и высокий уровень безопасности [https://0df.ru/ https://0df.ru/]. Присоединяйтесь к нашей игровой ау...")
12:49, 15 October 2024 User account CandelariaCottle talk contribs was created
00:26, 15 October 2024 Mxdys talk contribs created page 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- (Created page with "{{machine|1RB0LD_1RC1RF_1LA0RA_0LA0LE_1LD1LA_0RB---}} This is a BB(6) Cryptid found by @dyuan01 and shared on Discord on 04 Sep 2024. == Rules == <pre> start: (1,0) (3b+0,c+1) --> (4b+5,c) (3b+1,c) --> (4b+2,c+4) (3b+2,c+1) --> (4b+6,c+7) (3(3(3(3b+2)+1)+1)+0,0) --> halt (b,c) := 0^inf 110 A> 0^b 10^c 01 0^inf </pre> For simplicity only one potential halting rule is shown.")
19:56, 14 October 2024 Mxdys talk contribs created page 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC (Created page with "{{machine|1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC}} This is a BB(6) Cryptid found by @mxdys and shared on Discord on 20 Aug 2024. == Analysis by @mxdys == <pre> 1RB1LD_1RC1RE_0LA1LB_0LD1LC_1RF0RA_---0RC start: (0,0) (3x+0,y) --> (4x+4,y+1) (3x+1,y+1) --> (4x+5,y+2) (3x+2,y) --> (4x+8,max(0,y-1)) (3x+1,0) --> halt (x,y) := 0^inf 110 ")
07:40, 9 October 2024 Coda talk contribs uploaded a new version of File:Bbchallenge antihydra table.png (use cleaner mod format)
07:40, 9 October 2024 Coda talk contribs uploaded a new version of File:Bbchallenge antihydra.png (use cleaner mod format, omit table here)
22:08, 8 October 2024 Coda talk contribs uploaded a new version of File:Bbchallenge antihydra table.png (upload using better known notation)
21:48, 8 October 2024 Coda talk contribs uploaded a new version of File:Bbchallenge antihydra.png (use better known notation instead)
19:17, 8 October 2024 Coda talk contribs created page File:Bbchallenge antihydra table.png (https://wiki.bbchallenge.org/wiki/File:Bbchallenge_antihydra.png with Turing Machine transition table)
19:17, 8 October 2024 Coda talk contribs uploaded File:Bbchallenge antihydra table.png (https://wiki.bbchallenge.org/wiki/File:Bbchallenge_antihydra.png with Turing Machine transition table)
18:50, 8 October 2024 Coda talk contribs created page File:Bbchallenge antihydra.png (Poster for the Antihydra Cryptid - image by Jadeix from https://wiki.bbchallenge.org/wiki/File:Antihydra-depiction.png)
18:50, 8 October 2024 Coda talk contribs uploaded File:Bbchallenge antihydra.png (Poster for the Antihydra Cryptid - image by Jadeix from https://wiki.bbchallenge.org/wiki/File:Antihydra-depiction.png)
09:46, 3 October 2024 Cosmo talk contribs created page File:Capture d’écran 2024-10-03 à 11.45.55.png
09:46, 3 October 2024 Cosmo talk contribs uploaded File:Capture d’écran 2024-10-03 à 11.45.55.png
01:29, 3 October 2024 C7X talk contribs created page Talk:Hydra function (Created page with "==Image== I have an image that shows the first 256 applications of the function starting at 8 in binary, would it help people investigating the function if I added this to the article? ~~~~")
21:26, 26 September 2024 Cosmo talk contribs created page File:BradyBB(5)isHopeless.png
21:26, 26 September 2024 Cosmo talk contribs uploaded File:BradyBB(5)isHopeless.png
21:17, 26 September 2024 Cosmo talk contribs created page Busy beaver lack of hope recurrence (Created page with "People working on BB(n-1) believed BB(n) was impossible: * BB(3) -> BB(4): "In any case, even though skilled mathematicians and experienced programmers attempted to evaluate 2(3) and 5(3), there is no evidence that any known approach will yield the answer, even if we avail ourselves of high-speed computers and elaborate programs. As regards \Sigma(4), S(4), the situation seems to be entirely hopeless at present."—Tibor Rado, 1963. Source: Brady, Allen H.. [https://do...") Tag: Visual edit
20:59, 25 September 2024 Cosmo talk contribs created page Papers & Talks (Created page with "Here are some busy beaver related papers and talks by bbchallenge community members: * Stérin, T., Woods, D. (2024). Hardness of Busy Beaver Value BB(15). In: Kovács, L., Sokolova, A. (eds) Reachability Problems. RP 2024. Lecture Notes in Computer Science, vol 15050. Springer, Cham. <nowiki>https://doi.org/10.1007/978-3-031-72621-7_9</nowiki> ** Paper: [https://arxiv.org/abs/2107.12475 arxiv version] (first released in 2021), [https://link.springer.com/chapter/10.100...") Tag: Visual edit
17:01, 25 September 2024 Sligocki talk contribs created page Hydra function (Created page with "The '''Hydra function''' is Collatz-like function whose behavior is connected to the the unsolved halting problems for the Cryptids Hydra and Antihydra: <math display="block">\begin{array}{l} H(2n) & = & 3n \\ H(2n+1) & = & 3n+1 \\ \end{array}</math> which can alternatively be written as<math display="block">H(n) = \begin{cases} \frac{3n}{2} & \text{if } n \text{ even} \\ \frac{3n-1}{2} & \text{if } n \text{ odd} \\ \end{cases}</math>or...") Tag: Visual edit
15:19, 25 September 2024 Sligocki talk contribs created page Lazy Beaver (Created page with "The '''Lazy Beaver''' function is a computable variation of the Busy Beaver function defined by Scott Aaronson in his 2020 review. LB(n, m) is the smallest k such that no n-state, m-symbol Turing machine halts in exactly k steps. == Computed Values == Values found by Terry and Shawn Ligocki in 2021: {| class="wikitable" |+ ! ! ! colspan="5" |States |- ! ! !2 !3 !4 !5 !6 |- | rowspan="5" |Symbols |2 |7 |22 |72 |427 |8,407 |- |3 |23 |351 | | | |- |4...") Tag: Visual edit
05:07, 24 September 2024 DF376 talk contribs created page File:BB6 holdouts 4741-1.txt
05:07, 24 September 2024 DF376 talk contribs uploaded File:BB6 holdouts 4741-1.txt
04:35, 22 September 2024 Jacobzheng talk contribs moved page User:Jacobzheng/tct to User:Jacobzheng/test
14:09, 20 September 2024 Jacobzheng talk contribs created page Talk:Accelerated simulator (Created page with "[catabbvue.hatsya.com Catabbvue] will be like the [catagolue.hatsya.com catagolue]. But it not be created. who can create it. It will be search the busy beaver champions. --Jacobzheng (talk) 14:09, 20 September 2024 (UTC)")
12:27, 17 September 2024 Jacobzheng talk contribs created page Talk:Main Page (Created page with "X --Jacobzheng (talk) 12:26, 17 September 2024 (UTC)")
22:11, 14 September 2024 Bt2901 talk contribs created page Fast-Growing Hierarchy Growth Bound Theorem (Created page with "The ''Fast-Growing Hierarchy Growth Bound Theorem'' is an important result in mathematical logic that has significant implications for unprovability results. The theorem highlights a relationship between computable functions that are provably total in first-order Peano Arithmetic (PA) and the fast-growing functions in the Wainer hierarchy. The theorem is based on work by several mathematicians. Georg Kreisel laid the groundwork in 1952 by inve...")
14:19, 14 September 2024 Jacobzheng talk contribs created page User:Jacobzheng/w110 simulator (Created page with "They simulated [https://conwaylife.com/wiki/OCA:Rule_110 w110]. <ref> 11x2: 0 _ 1 l 8 0 1 1 r 1 1 _ _ r 0 1 1 1 r 2 2 _ 1 r 9 2 1 1 r 3 3 _ 1 r 4 3 1 1 r 5 4 _ 1 l 8 4 1 1 r 6 5 _ 1 r 9 5 1 1 r 7 6 _ _ r 0 6 1 1 r 2 7 _ 1 r 4 7 1 _ r 5 8 _ _ l 10 8 1 1 l 8 9 _ 1 l 8 10 _ _ r 6 10 1 1 l 8 5x3: 0 _ 1 l 4 0 1 1 r 0 0 2 2 r 1 1 _ 2 l 4 1 1 2 r 2 1 2 2 r 3 2 _ 2 l 4 2 1 1 r 0 2 2 2 r 1 3 _ 2 l 4 3 1 2 r 2 3 2 1 r 3 4 _ _ r 0 4 1 1 l 4 4 2 2 l 4 4x5: 0 _ 1 l 0 0 1 _ r 0 0 2 4...")
14:11, 14 September 2024 Jacobzheng talk contribs created page User:Jacobzheng/ack simulator (Created page with "<pre> 8x2: 0 _ 1 r 1 0 1 1 r 0 1 _ 1 r halt 1 1 _ r 2 2 _ 1 r 1 2 1 1 l 3 3 _ _ l 3 3 1 1 l 4 4 _ 1 l 5 4 1 1 r 6 5 _ 1 r 0 5 1 _ l 4 6 _ _ r 7 6 1 1 l 3 7 1 1 r 6 6x2beeping: 0 _ 1 r 1 0 1 1 r 0 1 _ _ r 1 1 1 _ l 2 2 _ 1 l 3 2 1 1 l 4 3 _ _ l 3 3 1 _ l 4 4 _ 1 r 0 4 1 1 r 5 5 _ _ r 5 5 1 1 l 2 5x3: 0 _ 1 r halt 0 1 1 r 0 0 2 2 r 1 1 _ 1 r halt 1 1 2 l 2 1 2 2 r 1 2 2 1 l 3 3 _ 1 r 0 3 1 2 r 4 3 2 2 l 3 4 1 1 l 2 4 2 2 r 4 4x4: 0 _ 1 r halt 0 1 3 r 0 0 2 2 r 1 0 3 2 r 1...")
11:35, 9 September 2024 LegionMammal978 talk contribs blocked BlancaWortman05 talk contribs with an expiration time of indefinite (account creation disabled) (Spamming links to external sites)
11:34, 9 September 2024 LegionMammal978 talk contribs deleted page User:BlancaWortman05 (Spam: content was: "My name: Blanca Wortman Age: 23 years old Country: Iceland City: Reykjavik ZIP: 110 Street: Artun 17 my homepage; [https://danielmachine.co/bulk-cashew-nut/ daniel machine]", and the only contributor was "BlancaWortman05" (talk))
04:18, 9 September 2024 UncombedCoconut talk contribs deleted page How To Find The Time To Bulk Cashew Nut On Twitter (Spam)
04:16, 9 September 2024 BlancaWortman05 talk contribs created page How To Find The Time To Bulk Cashew Nut On Twitter (Created page with " This is predicated on the common export price per kg. This is predicated on the common export value per ton. This [https://www.business-opportunities.biz/?s=wholesale wholesale] value can go as high as 1,500 Nigerian Naira (US2 Dollars). Medium scale cashew nut processors first buy raw cashews either from buying centers or wholesale markets. At last, a truck transports these cashew nuts to either processors in the country or exporters. This cashew apple can be used...")
04:15, 9 September 2024 BlancaWortman05 talk contribs created page User:BlancaWortman05 (Created page with "My name: Blanca Wortman Age: 23 years old Country: Iceland City: Reykjavik ZIP: 110 Street: Artun 17 my homepage; [https://danielmachine.co/bulk-cashew-nut/ daniel machine]")
04:15, 9 September 2024 User account BlancaWortman05 talk contribs was created
18:23, 4 September 2024 Racheline talk contribs created page BB(5) champion (Redirected page to 5-state busy beaver winner) Tag: New redirect
17:21, 4 September 2024 Sligocki talk contribs created page 1RB1LD 1RC1RB 1LC1LA 0RC0RD (Created page with "{{machine|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} {{TM|1RB1LD_1RC1RB_1LC1LA_0RC0RD}} Blanking Beaver BLB(4,2) champion which creates a blank tape after 32,779,477 steps. It was discovered and reported by Nick Drozd in 2021.<ref>Nick Drozd. [https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html A New Record in Self-Cleaning Turing Machines]. 2021.</ref> == Analysis by Shawn Ligocki == Let <math display="block">D(a, b) = 0^\infty \; 1^a \; 0^...") Tag: Visual edit
04:12, 4 September 2024 Sligocki talk contribs created page 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB (Created page with "{{machine|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_---0RB}} {{TM|1RB1LA_1LC0RC_1LD1RC_1RB1LE_0LF0LA_1RZ0RB|halt}} Halting TM with long-running Collatz-like analysis. Analysis by @dyuan https://discord.com/channels/960643023006490684/1239205785913790465/1280618026844033086: <pre> C(a, b, c) = 1^a 0 1^b C> 0 1^c C(a, b+3, c) -> C(a+1, b, c+2) C(a, 0, c) -> C(a+1, c, 0) C(a+1, 1, c) -> C(0, a, c+3) C(0, 1, c) -> Halt C(a, 2, c) -> C(0, a+c+4, 0) Start: C(0, 2, 0) </pre> Hal...")
18:01, 2 September 2024 DF376 talk contribs created page File:BB6 holdouts 5394.txt
18:01, 2 September 2024 DF376 talk contribs uploaded File:BB6 holdouts 5394.txt
05:09, 2 September 2024 Jacobzheng talk contribs created page User talk:Elexunix (Created page with "Are you really upside the BB(51)")
20:40, 1 September 2024 User account Elexunix talk contribs was created
23:07, 31 August 2024 Sligocki talk contribs created page 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA (Created page with "{{machine|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} {{TM|1RB0LF_1RC1RA_1LD0RE_1LB1LD_---1RC_1RC1LA}} Analysis by Shawn Ligocki: A(a, b, c) = 0^inf 10^a <A 10^b 11^c 0^inf A(a+1, b, c+1) -> A(a, b+2, c) A(0, b, c+1) -> A(0, b+3, c) A(0, b, 0) -> A(b+1, 1, 1) A(a+2, b, 0) -> A(a, 1, b+2) A(1, b, 0) -> Halt(b+3) Start: A(0, 0, 0) Analysis by @rae: (a,b,0) -> (a-b-4,2b+5,0) if a>b+4 (a,b,0) -> (3b-a+9,3,0) if 2<=a<=b+4 (1,b,0) -> halt * 3 -> 32-2-3...")
21:54, 28 August 2024 C7X talk contribs created page Talk:1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD (Created page with "==History== Is there known information about the discovery of this machine (e.g. who discovered it and when)? ~~~~")
16:35, 28 August 2024 LegionMammal978 talk contribs deleted page User:Jacobzhengjl/tct (content was: "#REDIRECT User:Jacobzheng/tct", and the only contributor was "Jacobzheng" (talk))
16:35, 28 August 2024 LegionMammal978 talk contribs deleted page User:Jacobzhengjl/ISTBCTC (content was: "#REDIRECT User:Jacobzheng/ISTBCTC", and the only contributor was "Jacobzheng" (talk))

All public logs

Navigation menu