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