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