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

• 20:10, 10 July 2024 Sligocki talk contribs created page Mother of Giants (Created page with "The '''Mother of Giants''' is a collection of adjacent Turing machines, some of which are Cryptids in the 5-state Beeping Busy Beaver problem that probviously quasihalt. They must all be proven to halt or not if we want to solve BBB(5). The TMs are all the "children" of <code>1RB1LE_0LC0LB_0LD1LC_1RD1RA_---0LA</code> where children means all the TMs created by filling in the undefined <code>E0</code> transition. See https://www.sligocki.co...") Tag: Visual edit
• 19:57, 10 July 2024 Sligocki talk contribs created page Probviously (Redirected page to Probvious) Tags: New redirect Visual edit
• 19:57, 10 July 2024 Sligocki talk contribs created page Probvious (Probvious) Tag: Visual edit: Switched
• 13:26, 10 July 2024 Hsjoihs talk contribs created page Quasihalt (Created page with "A program is called '''quasihalting''' if it has any states which are reached no more than a fixed number of times during the course of a computation.<ref>https://www.sligocki.com/2021/03/06/beeping-busy-beaver/</ref> A machine is said to '''quasihalt''' when it ''enters'' a cycle of behavior in which it does not visit all machine states.<ref>https://nickdrozd.github.io/2020/10/08/quasihalting-behavior.html</ref><ref>https://discord.com/channels/960643023006490684/10265...")
• 12:39, 10 July 2024 Hsjoihs talk contribs created page Standard TM Text format (Redirected page to Turing machine#Standard text format) Tag: New redirect
• 12:38, 10 July 2024 Hsjoihs talk contribs created page Standard text format (Redirected page to Turing machine#Standard text format) Tag: New redirect
• 12:20, 10 July 2024 Hsjoihs talk contribs created page Beeping Busy Beaver (Created page with "A Beeping Busy Beaver (BBB) is a concept defined on a ''beeping Turing machine'', which is a Turing machine that has a special state named "beep state". The goal of a BBB is as follows: when starting from a totally blank tape, we want the final beep to happen as late as possible. The phrasing "final beep" means that the machine must beep finitely many times. Formally, we define the $n$^th Beeping Busy Beaver number as <math display="block">\operatorname{BBB}(...")
• 10:10, 10 July 2024 User account Cirosantilli talk contribs was created
• 08:04, 10 July 2024 Hsjoihs talk contribs created page BB(4) (Created page with "'''BB(4)''' refers to the 4^th value of the Busy Beaver function. == History == In this Section, we use Radó's original S (number of steps) and Σ (number of ones on the final tape) notations; see Busy Beaver Functions. * In 1966, Allen Brady conjectures Σ(4) = 13 and S(4) = 106.<ref name=":1">Brady, A. H. (1966). The Conjectured Highest Scoring Machines for Rado's Σ(k) for the Value k = 4. https://ieeexplore.ieee.org/document/4038890 </ref> * In...") Tag: Visual edit: Switched
• 07:42, 10 July 2024 User account Hsjoihs talk contribs was created
• 04:59, 10 July 2024 Sligocki talk contribs created page TNF enumeration (Redirected page to Tree Normal Form) Tags: New redirect Visual edit
• 04:52, 10 July 2024 Sligocki talk contribs created page TNF-1RB (Redirected page to Tree Normal Form#TNF-1RB) Tags: New redirect Visual edit
• 04:51, 10 July 2024 Sligocki talk contribs created page TNF (Redirected page to Tree Normal Form) Tags: New redirect Visual edit
• 04:36, 10 July 2024 Sligocki talk contribs created page Tree Normal Form (TNF) Tag: Visual edit
• 03:37, 10 July 2024 Coda talk contribs created page Sequences (Create Sequences page) Tag: Visual edit
• 03:22, 10 July 2024 Sligocki talk contribs created page BB(2) (BB(2)) Tag: Visual edit: Switched
• 02:59, 10 July 2024 User account Coda talk contribs was created
• 05:00, 8 July 2024 User account ADucharme talk contribs was created
• 04:21, 8 July 2024 Sligocki talk contribs created page 1RB1RA 1LC0RE 0LF1LD 1LA1LC 1RA1RB ---0LD (unbiased random walk)
• 01:05, 8 July 2024 User account QWERTY770 talk contribs was created
• 14:10, 6 July 2024 User account Hakerh400 talk contribs was created
• 13:09, 5 July 2024 LegionMammal978 talk contribs deleted page Five Traits To Understand Prior To Traveling To Turkey (Spam: content was: "Taking a trip to Turkey offers a wealthy mixture of old history, vivid culture, and remarkable landscapes. To make the many of your vacation, right here are actually five essential things you need to understand before you go.<br><br>1. Welcome the Diverse Lifestyle and Etiquette<br><br>Turkey is actually a nation where East fulfills West, combinationing Middl...", and the only contributor was "CarriCoggins2" ([[User talk:CarriCoggins...)
• 13:09, 5 July 2024 LegionMammal978 talk contribs deleted page User:CarriCoggins2 (Spam: content was: "Traveling to Turkey offers a wealthy mix of ancient past history, dynamic society, and stunning landscapes.<br><br>my blog [https://penzu.com/p/824eb9c77ea0e7ff Know More]", and the only contributor was "CarriCoggins2" (talk))
• 13:08, 5 July 2024 LegionMammal978 talk contribs blocked CarriCoggins2 talk contribs with an expiration time of indefinite (account creation disabled, cannot edit own talk page) (Spamming links to external sites)
• 10:07, 5 July 2024 User account Dloranc talk contribs was created
• 04:38, 5 July 2024 CarriCoggins2 talk contribs created page Five Traits To Understand Prior To Traveling To Turkey (Created page with "Taking a trip to Turkey offers a wealthy mixture of old history, vivid culture, and remarkable landscapes. To make the many of your vacation, right here are actually five essential things you need to understand before you go.<br><br>1. Welcome the Diverse Lifestyle and Etiquette<br><br>Turkey is actually a nation where East fulfills West, combinationing Middle Eastern, Mediterranean, and also European cultures. Regard for regional customizeds as well as practices is crit...")
• 04:38, 5 July 2024 CarriCoggins2 talk contribs created page User:CarriCoggins2 (Created page with "Traveling to Turkey offers a wealthy mix of ancient past history, dynamic society, and stunning landscapes.<br><br>my blog [https://penzu.com/p/824eb9c77ea0e7ff Know More]")
• 04:38, 5 July 2024 User account CarriCoggins2 talk contribs was created
• 19:59, 4 July 2024 Int-y1 talk contribs created page 1RB1LC 1RC1RB 1RD0LE 1LA1LD ---0LA (Redirected page to 5-state busy beaver winner) Tag: New redirect
• 15:09, 2 July 2024 User account Chxu talk contribs was created
• 14:46, 2 July 2024 User account Pomme de terre talk contribs was created
• 21:21, 30 June 2024 Cosmo talk contribs deleted page MinHydra (content was: "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) &...", and the only contributor was "Cosmo" (talk))
• 21:20, 30 June 2024 Cosmo talk contribs created page Antihydra (Created page with "Antihydra 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(2...")
• 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)