All 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).
- 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<sup>th</sup> 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)
- 14:05, 14 June 2024 Cosmo talk contribs deleted page Individual Machines (content was: "Some Turing machines are studied individually rather than collectively (i.e. using Deciders). == BB(5) == * Skelet 1 * Skelet 10 * Skelet 17 == BB(6) == == BB(5,2) == * 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA", and the only contributor was "Cosmo" (talk))
- 14:04, 14 June 2024 Cosmo talk contribs created page Skelet 1 (Created page with "https://bbchallenge.org/1LC1LE_---1LD_1RD0LD_1LA1RE_0LB0RC&status=undecided")
- 13:41, 14 June 2024 Cosmo talk contribs created page Individual Machines (Created page with "Some Turing machines are studied individually rather than collectively (i.e. using Deciders). == BB(5) == * Skelet #1 * Skelet #17 == BB(6) == == BB(5,2) == * 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA: suspected to be similar to Skelet #17.") Tag: Visual edit
- 13:30, 14 June 2024 Cosmo talk contribs created page File:2x5.todo.txt (BB(2,5) holdouts list shared by Justin Blanchard on May 22nd 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203)
- 13:30, 14 June 2024 Cosmo talk contribs uploaded File:2x5.todo.txt (BB(2,5) holdouts list shared by Justin Blanchard on May 22nd 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1242679236142170203)
- 13:27, 14 June 2024 Cosmo talk contribs created page File:Mugshots small.pdf (B(3,3) holdouts space-time diagrams ("mugshots") published by Justin Blanchard on June 9th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772)
- 13:27, 14 June 2024 Cosmo talk contribs uploaded File:Mugshots small.pdf (B(3,3) holdouts space-time diagrams ("mugshots") published by Justin Blanchard on June 9th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772)
- 13:25, 14 June 2024 Cosmo talk contribs created page File:3x3.todo.txt (BB(3,3) holdouts published by Justin Blanchard on June 9th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772)
- 13:25, 14 June 2024 Cosmo talk contribs uploaded File:3x3.todo.txt (BB(3,3) holdouts published by Justin Blanchard on June 9th 2024 on Discord: https://discord.com/channels/960643023006490684/1084047886494470185/1249142547217907772)
- 13:11, 14 June 2024 Cosmo talk contribs created page File:BB6 holdouts 12091.txt (BB(6) holdouts list, by @tjligocki and Shawn Ligocki, shared on Discord on June 13th 2024. https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595)
- 13:11, 14 June 2024 Cosmo talk contribs uploaded File:BB6 holdouts 12091.txt (BB(6) holdouts list, by @tjligocki and Shawn Ligocki, shared on Discord on June 13th 2024. https://discord.com/channels/960643023006490684/1239205785913790465/1250895665719148595)
- 13:06, 14 June 2024 Cosmo talk contribs created page File:BB6 holdouts 12325.txt (@mxdys BB(6) list of 12,325 holdouts, shared on June 7th 2024 on Discord: https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954)
- 13:06, 14 June 2024 Cosmo talk contribs uploaded File:BB6 holdouts 12325.txt (@mxdys BB(6) list of 12,325 holdouts, shared on June 7th 2024 on Discord: https://discord.com/channels/960643023006490684/1239205785913790465/1248708916381220954)
- 13:02, 14 June 2024 Cosmo talk contribs created page Holdouts lists (Created page with "A holdout (or undediced machine) is a Turing machine for which it is not known whether the machine halts or not from all-0 input tape. Holdout lists are often shared by contributors:")
- 12:55, 14 June 2024 Cosmo talk contribs deleted page File:COUPON REPONSE SOLDE TA PRGM.pdf
- 12:55, 14 June 2024 Cosmo talk contribs deleted page File:63.csv
- 12:54, 14 June 2024 Cosmo talk contribs created page File:63.csv
- 12:54, 14 June 2024 Cosmo talk contribs uploaded File:63.csv
- 12:53, 14 June 2024 Cosmo talk contribs created page File:COUPON REPONSE SOLDE TA PRGM.pdf
- 12:53, 14 June 2024 Cosmo talk contribs uploaded File:COUPON REPONSE SOLDE TA PRGM.pdf
- 12:27, 14 June 2024 Cosmo talk contribs created page 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA (Created page with "https://bbchallenge.org/1RB3RB1LB---2RB_2LA1RA4LB2LA2RA is a 2-state 5-symbol machine whose behavior is suspected to be similar to Skelet #17. Analysis shared by Daniel Yuan (@dyuan01) on Discord, on June 14th 2024: I just checked whenever the beaver reaches the 1 on the left side, and calculated the tape for when it next reaches the left side. It would be nice if someone can verify these rules. <code> [x, y, z] := 1 <B 4^x 12 4^y 12 4^z [0, a, b, …] -> [a+3, b...")
- 03:28, 13 June 2024 Peacemaker II talk contribs created page Introduction to the Busy Beaver Function (Created an introductory page for the Busy Beaver function)
- 02:39, 13 June 2024 User account Peacemaker II talk contribs was created
- 23:22, 12 June 2024 Mei talk contribs moved page Turing machines to Turing machine (The singular form should be preferred for a page title)
- 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
- 14:34, 12 June 2024 Mei talk contribs created page Turing machines (Create an initial draft for the Turing machine page)
- 11:11, 11 June 2024 User account Mei talk contribs was created
- 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