Main 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: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<br>Age: 23 years old<br>Country: Iceland<br>City: Reykjavik <br>ZIP: 110<br>Street: Artun 17<br><br>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 "<br> 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<br>Age: 23 years old<br>Country: Iceland<br>City: Reykjavik <br>ZIP: 110<br>Street: Artun 17<br><br>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))
- 16:35, 28 August 2024 LegionMammal978 talk contribs deleted page User:Jacobzhengjl (content was: "#REDIRECT User:Jacobzheng", and the only contributor was "Jacobzheng" (talk))
- 16:35, 28 August 2024 LegionMammal978 talk contribs deleted page Talk:User talk talk:Jacobzheng (content before blanking was: "#REDIECT User talk talk talk:Jacobzheng")
- 16:34, 28 August 2024 LegionMammal978 talk contribs deleted page User talk talk talk:Jacobzheng (content before blanking was: "a3tp")
- 16:34, 28 August 2024 LegionMammal978 talk contribs deleted page User talk talk:Jacobzheng (content before blanking was: "a2tp")
- 16:32, 28 August 2024 LegionMammal978 talk contribs changed visibility of 6 revisions on page User:Jacobzheng/tct: content hidden (Copyright violation)
- 16:31, 28 August 2024 LegionMammal978 talk contribs changed group membership for LegionMammal978 from bureaucrat, interface administrator and administrator to bureaucrat, interface administrator, administrator and suppressor
- 09:03, 28 August 2024 Jacobzheng talk contribs moved page Talk:User talk talk:Jacobzheng to User talk talk talk:Jacobzheng
- 09:02, 28 August 2024 Jacobzheng talk contribs created page Talk:User talk talk:Jacobzheng (Created page with "a3tp")
- 09:02, 28 August 2024 Jacobzheng talk contribs created page User talk talk:Jacobzheng (Created page with "a2tp")
- 08:54, 28 August 2024 Jacobzheng talk contribs created page User:Jacobzheng/IWLTKHTATFAIC (Created page with "I would like to know how to activate the forum account in conwaylife.com")
- 07:17, 28 August 2024 Jacobzheng talk contribs moved page User talk:Jacobzhengjl to User talk:Jacobzheng over redirect
- 07:17, 28 August 2024 Jacobzheng talk contribs deleted redirect User talk:Jacobzheng by overwriting (Deleted to make way for move from "User talk:Jacobzhengjl")
- 07:17, 28 August 2024 Jacobzheng talk contribs moved page User:Jacobzhengjl/tct to User:Jacobzheng/tct over redirect
- 07:17, 28 August 2024 Jacobzheng talk contribs deleted redirect User:Jacobzheng/tct by overwriting (Deleted to make way for move from "User:Jacobzhengjl/tct")
- 07:17, 28 August 2024 Jacobzheng talk contribs moved page User:Jacobzhengjl/ISTBCTC to User:Jacobzheng/ISTBCTC over redirect
- 07:17, 28 August 2024 Jacobzheng talk contribs deleted redirect User:Jacobzheng/ISTBCTC by overwriting (Deleted to make way for move from "User:Jacobzhengjl/ISTBCTC")
- 07:17, 28 August 2024 Jacobzheng talk contribs moved page User:Jacobzhengjl to User:Jacobzheng over redirect
- 07:17, 28 August 2024 Jacobzheng talk contribs deleted redirect User:Jacobzheng by overwriting (Deleted to make way for move from "User:Jacobzhengjl")
- 07:16, 28 August 2024 Jacobzheng talk contribs moved page User talk:Jacobzheng to User talk:Jacobzhengjl
- 07:16, 28 August 2024 Jacobzheng talk contribs moved page User:Jacobzheng/tct to User:Jacobzhengjl/tct
isHopeless.png){kind=link}