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

• 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: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
• 19:06, 12 June 2024 Sligocki talk contribs created page Directed head notation (Created page with "'''Directed head notation''' is a notation for specifying a Turing machine configuration using tape compression and a TM head which "points" either to the left or right. Directed head notation may be used for a complete tape configuration<math display="block">0^\infty \; 1 \; \textrm{ <B } \; 0^3 \; 13^{10} \; 2 \; 0^\infty</math> or for a partial configuration <math display="block">101 \; \textrm{ A> } \; 1^n</math> == Tape Compression == This nota...") Tag: Visual edit
• 17:57, 12 June 2024 Sligocki talk contribs created page Shift rule (Add Shift Rules) Tag: Visual edit
• 21:30, 8 June 2024 Sligocki talk contribs created page Busy Beaver functions (Redirected page to Busy Beaver Functions) Tag: New redirect
• 21:29, 8 June 2024 Sligocki talk contribs created page Busy Beaver function (Redirected page to Busy Beaver Functions) Tags: New redirect Visual edit: Switched
• 22:54, 5 June 2024 Sligocki talk contribs created page Busy Beaver Champions (Stub Champion article) Tag: Visual edit
• 22:44, 5 June 2024 Sligocki talk contribs created page Busy Beaver Functions (Add basic overview of the two most commonly used Busy Beaver functions) Tag: Visual edit
• 03:20, 5 June 2024 Sligocki talk contribs created page Collatz-like (Create Collatz-like page) Tag: Visual edit
• 20:47, 4 June 2024 Sligocki talk contribs created page User:Sligocki (Created page with "Shawn Ligocki I write about Busy Beavers on my blog: https://www.sligocki.com/")
• 20:44, 4 June 2024 Sligocki talk contribs created page Cryptids (Start Cryptid article) Tag: Visual edit: Switched
• 17:09, 28 May 2024 User account Sligocki talk contribs was created