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

• 17:35, 30 June 2024 Cosmo talk contribs created page MinHydra (Created page with "MinHydra is the 6-state 2-symbol machine [https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA https://bbchallenge.org/1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA]. This machine was the first identified BB(6) Collatz-like Cryptid, and is closely related to Hydra. It simulates the Collatz-like iteration <math display="block">\begin{array}{l} A(2a, & b) & \to & A(3a, & b+2) \\ A(2a+1, & b) & \to & A(3a+1, & b-1) & \text{if} & b>0 \\ A(2a...")
• 17:51, 28 June 2024 User account Racheline talk contribs was created
• 17:40, 28 June 2024 Cosmo talk contribs created page Hydra (Created page with "https://www.sligocki.com/2024/05/10/bb-2-5-is-hard.html") Tag: Visual edit
• 17:24, 28 June 2024 Cosmo talk contribs created page 1RB1RA 0LC1LE 1LD1LC 1LA0LB 1LF1RE ---0RA (Created page with "{{machine|1RB1RA_0LC1LE_1LD1LC_1LA0LB_1LF1RE_---0RA}}")
• 22:23, 26 June 2024 Cosmo talk contribs created page 1RB--- 0LC1RE 0LD1LC 1RA1LB 0RB0RA (Redirected page to Skelet 17) Tags: New redirect Visual edit
• 17:55, 26 June 2024 Sligocki talk contribs created page 1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE (Created page with "{{machine|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE}} https://bbchallenge.org/1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE A BB(6) TM which is modeled by <pre> (a, c) -> (a-c-1, 4c+5) if a > c (a, c) -> (2a+2, c-a-1) if a < c (a, c) -> Halt if a = c </pre> for <code>(a, c) = 0^inf 10^a 0 1^c E> 0^inf</code>. It has seems like it could be a Cryptid since it seems hard to predict whether we could ever end up in <code>(n, n)</code>, but investigations are ongoing o...")
• 07:57, 25 June 2024 Int-y1 talk contribs created page 1RB0LD 1RC0RF 1LC1LA 0LE--- 1LF0RB 0RC0RE (Redirected page to 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE) Tag: New redirect
• 04:35, 24 June 2024 Sligocki talk contribs created page User talk:Sligocki (Created blank page)
• 04:02, 24 June 2024 User account Int-y1 talk contribs was created
• 03:44, 24 June 2024 Sligocki talk contribs created page Cryptid (Redirected page to Cryptids) Tags: New redirect Visual edit
• 03:30, 24 June 2024 Sligocki talk contribs created page 1RB2LC1RC 2LC---2RB 2LA0LB0RA (Start discussion)
• 18:11, 23 June 2024 UncombedCoconut talk contribs created page 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC (Created page with "{{machine|1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC}} https://bbchallenge.org/1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC A machine on the critical path to proving the busy beaver value "BB(6, 2, 2)" (6-state, 2-symbol, 2 undefined transitions). (Machines 1RB0RB_1LC1RB_---0LD_1RA0LE_1RF1LE_---0RA, 1RB1LA_1LA0RC_---0RD_1LE1RD_0LA0LF_---0LA, and 1RB1LA_1LA0RC_---0RD_1LE1RD_1LB0LF_---0LA <ref>The holdout list omits the last one. Since holdout l...")
• 04:18, 21 June 2024 Sligocki talk contribs created page Closed Set (Create page on general Closed Set methods) Tag: Visual edit: Switched
• 19:25, 20 June 2024 Sligocki talk contribs created page 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE (Created page with "{{machine|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} https://bbchallenge.org/1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE Current BB(6) Champion. Discovered by Pavel Kropitz on 30 May 2022. This TM runs for over 10↑↑15 steps. See analysis: [https://www.sligocki.com/2022/06/21/bb-6-2-t15.html BB(6, 2) > 10↑↑15].")
• 18:05, 20 June 2024 Sligocki talk contribs created page 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE (Created page with "{{machine|1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE}} BB6 (with one unfilled transition) score/sigma champion: https://bbchallenge.org/1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE does something sort of similar to 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE, but with A(a, 3k+r, c) -> A(a+4k, r, c) instead of the C(a, 3k+r, c) -> C(a, r, c+2k) above, so it gets about 2x tape size. <pre> 1RB0RC_1LC1LF_1RD0LB_1RZ0LE_---1RA_1LB0RE Steps: ~10^13.15788 = 14_384_000_997_...") Tag: Visual edit
• 18:00, 20 June 2024 Sligocki talk contribs created page 1RB1RA 1LC1RF 1RE1LD 0RD1LB ---0RA 1RZ0LE (Created page with "{{machine|1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE}} AFAICT this is the current BB6 (with one unused transition) step champion: https://bbchallenge.org/1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE <pre> 1RB1RA_1LC1RF_1RE1LD_0RD1LB_---0RA_1RZ0LE Steps: ~10^13.39223 = 24_673_582_891_560 Nonzeros: 2_323_223 = 2_323_223 C(a, b, c) = $ 1^a 0 1^b <C 1^2c+1 $ C(a, b+3, c) -> C(a, b, c+2) C(a, 0, c) -> C(a+1, 2c+1, 0) C(a, 1, c) -> C(0, a, c+1) C(0, 2, c) -> C(1, 2c+...") Tag: Visual edit: Switched
• 15:30, 19 June 2024 LegionMammal978 talk contribs moved page Accelerated Simulator to Accelerated simulator (capitalization)
• 15:27, 19 June 2024 LegionMammal978 talk contribs moved page Category:Individual Machines to Category:Individual machines (capitalization)
• 21:27, 18 June 2024 LegionMammal978 talk contribs created page Template:NewMachinePage (create preload template for individual machines)
• 21:19, 18 June 2024 LegionMammal978 talk contribs created page Template:Machine (create individual machine template)
• 21:06, 18 June 2024 LegionMammal978 talk contribs created page Module:String (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:String&oldid=4039256 --[[ This module is intended to provide access to basic string functions. Most of the functions provided here can be invoked with named parameters, unnamed parameters, or a mixture. If named parameters are used, Mediawiki will automatically remove any leading or trailing whitespace from the parameter. Depending on the intended use, it may be advantageous to either preserve or remov...")
• 11:49, 18 June 2024 Cosmo talk contribs created page 1RB1RD 1LC0RC 1RA1LD 0RE0LB ---1RC (Redirected page to Skelet 1) Tags: New redirect Visual edit
• 17:31, 17 June 2024 Cosmo talk contribs created page 1LC1LE ---1LD 1RD0LD 1LA1RE 0LB0RC (Redirected page to Skelet 1) Tags: New redirect Visual edit
• 11:53, 16 June 2024 Cosmo talk contribs created page Skelet's 43 holdouts (Created page with "https://bbchallenge.org/skelet") Tag: Visual edit
• 11:39, 16 June 2024 Cosmo talk contribs created page Finite Automata Reduction (FAR) (Created page with "TODO")
• 11:33, 16 June 2024 Cosmo talk contribs created page File:2x5 holdouts 273.txt (BB(2,5) holdouts shared by Daniel Yuan on June 15th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1251842199558160405 This list is Justin Blanchard's 499 holdouts minus machines solved by @mxdys)
• 11:33, 16 June 2024 Cosmo talk contribs uploaded File:2x5 holdouts 273.txt (BB(2,5) holdouts shared by Daniel Yuan on June 15th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1251842199558160405 This list is Justin Blanchard's 499 holdouts minus machines solved by @mxdys)
• 11:26, 16 June 2024 Cosmo talk contribs created page File:Hydra 9 states.txt (Different 2-symbol 9-state compilations of the Hydra Turing machine, by @Iijil. Not verified at the date of upload.)
• 11:26, 16 June 2024 Cosmo talk contribs uploaded File:Hydra 9 states.txt (Different 2-symbol 9-state compilations of the Hydra Turing machine, by @Iijil. Not verified at the date of upload.)
• 10:51, 16 June 2024 Cosmo talk contribs created page Closed Tape Language (CTL) (Created page with "TODO") Tag: Visual edit
• 10:51, 16 June 2024 Cosmo talk contribs created page Closed Position Set (CPS) (Created page with "TODO")
• 03:24, 16 June 2024 Sligocki talk contribs created page Inductive rule (Redirected page to Inductive Proof System) Tags: New redirect Visual edit
• 10:37, 15 June 2024 User account Savask talk contribs was created
• 18:02, 14 June 2024 Sligocki talk contribs created page Inductive Proof (Redirected page to Inductive Proof System) Tags: New redirect Visual edit
• 18:01, 14 June 2024 Sligocki talk contribs created page Inductive Proof System (Stub) Tag: Visual edit
• 17:59, 14 June 2024 Sligocki talk contribs created page Transition rule (Redirected page to Directed head notation#Configuration Transitions) Tags: New redirect Visual edit
• 17:14, 14 June 2024 Sligocki talk contribs created page 1RB2RA1LC 2LC1RB2RB ---2LA1LA (Redirected page to Bigfoot) Tags: New redirect Visual edit: Switched
• 16:18, 14 June 2024 Cosmo talk contribs created page Holdouts (Redirected page to Holdouts lists) Tags: New redirect Visual edit
• 15:42, 14 June 2024 Sligocki talk contribs created page Bigfoot (Created page with "Category:Individual Machines '''Bigfoot''' is a BB(3, 3) Cryptid which simulates the Collatz-like function <math display="block">\begin{array}{l} A(a, & 6k, & c) & \to & A(a, & 8k+c-1, & 2) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+1, & c) & \to & A(a+1, & 8k+c-1, & 3) & \text{if} & 8k+c \ge 1 \\ A(a, & 6k+2, & c) & \to & A(a-1, & 8k+c+3, & 2) & \text{if} & a \ge 1 \\ A(a, & 6k+3, & c) & \to & A(a, & 8k+c+1, & 5) \\ A(a, & 6k+4,...") Tag: Visual edit: Switched
• 15:38, 14 June 2024 Cosmo talk contribs created page 1RB1LC 1RC1RB 1RD0LE 1LA1LD 1RZ0LA (Redirected page to 5-state busy beaver winner) Tags: New redirect Visual edit
• 15:34, 14 June 2024 Cosmo talk contribs created page 5-state busy beaver winner (Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>.") Tag: Visual edit: Switched
• 15:33, 14 June 2024 Cosmo talk contribs created page 5-state busy beaver champion (Created page with "The 5-state busy beaver champion (and winner!) is: [https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA&status=halt https://bbchallenge.org/1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA]. The machine halts after 47,176,870 steps. It was found by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. <nowiki>https://turbotm.de/~heiner/BB/mabu90.html</nowiki></ref>.") Tag: Visual edit
• 15:31, 14 June 2024 Cosmo talk contribs created page BB(5) (Created page with "BB(5) refers to the 5^th value of the Busy Beaver function. In 1989, the 5-state busy beaver champion was found: a 5-state Turing machine halting after 47,176,870 giving the lower bound BB(5) > 47,176,870. In 2024, BB(5) = 47,176,870 was proven by the bbchallenge.org massively collaborative research project.") Tag: Visual edit
• 15:10, 14 June 2024 Sligocki talk contribs created page Holdout (Redirected page to Holdouts lists) Tags: New redirect Visual edit
• 15:03, 14 June 2024 Sligocki talk contribs created page Category:Deciders (Created page with "Category for Deciders.") Tag: Visual edit
• 14:56, 14 June 2024 Sligocki talk contribs created page Accelerated Simulator (Created page with "An '''Accelerated Simulator''' is a program which simulates a Turing machine in a way that scales faster than direct, step-by-step simulation. A common method for accelerated simulation is using Inductive Proofs. But there are other methods as well, including Macro Machines and hash_sim.") Tag: Visual edit: Switched
• 14:48, 14 June 2024 Sligocki talk contribs created page Decider (Created page with "A '''Decider''' is a program which attempts to decide whether or not a given Turing machine (TM) will halt. Since the Halting Problem is uncomputable, no decider can decide all TMs, instead deciders categorize each TM into one of three categories: Halting, Proven Infinite, or Holdout. There are a wide variety of methods used to construct deciders. Some broad categories are: Accelerated Simulators, Backwards Reasoning and Closed Set methods. == List...") Tag: Visual edit: Switched
• 14:35, 14 June 2024 Sligocki talk contribs created page Deciders (Created page with "#Decider") Tag: Visual edit: Switched
• 14:15, 14 June 2024 Cosmo talk contribs created page Skelet 17 (Created page with "https://bbchallenge.org/1LB---_0RC1LE_0RD1RC_1LA1RB_0LB0LA Category:Individual Machines") Tag: Visual edit: Switched
• 14:05, 14 June 2024 Cosmo talk contribs created page Category:Individual Machines (Created blank page)