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:35, 19 August 2025 Sligocki talk contribs created page Universal Turing Machine (Created page with "A '''Universal Turing Machine''' (UTM) is a Turing Machine which can simulate any other TM (encoded onto input tape). The precise definition requires defining the encoding function to map simulated TMs and TM inputs into UTM initial tapes. Since a UTM can simulate any TM, the halting problem for any UTM is not computable. There is a common misconception that the Busy Beaver Functions will become uncomputable once we reach a domain with a UTM (since the general h...") Tag: Visual edit
• 14:24, 18 August 2025 User account Ighwhenever talk contribs was created
• 11:50, 18 August 2025 Polygon talk contribs created page User:Polygon/Better lower bound for BB(4,3) (Created page for a slightly bigger lower bound for BB(4,3))
• 11:46, 17 August 2025 Polygon talk contribs created page Talk:Non-halting Turing machine (Created page with: Are BBS(2,2) = 9 and BBP(2,2) = 9 proven or are these just the current champions?)
• 11:13, 17 August 2025 XnoobSpeakable talk contribs created page Talk:BB(8) (Created page with ""Currently thought to be almost certainly larger than Graham's number" By who? Don't we need sources for claims like this? -XnoobSpeakable")
• 11:26, 14 August 2025 Polygon talk contribs created page User:Polygon/Collection of BB Champions (Added shift champions)
• 10:57, 14 August 2025 Polygon talk contribs created page User:Polygon (Created blank page)
• 17:03, 13 August 2025 Qwerpiw talk contribs created page 1RB1LE 1LC0RA 1RB1LD 1LC0LC 1RF0LB ---1RE (Redirected page to 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB) Tag: New redirect
• 17:02, 13 August 2025 Qwerpiw talk contribs created page 1RB1LC 1LA1RD 1LA0LA 1LF0RE 0RF1RB ---1LB (Redirected page to 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB) Tag: New redirect
• 17:01, 13 August 2025 Qwerpiw talk contribs created page 1RB1LC 1LA1RD 1LA0LA 1LD0RE 0RF1RB ---1LC (Redirected page to 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB) Tag: New redirect
• 17:01, 13 August 2025 Qwerpiw talk contribs created page 1RB1LC 1LA1RD 1LA0LA 1LD0RE 0RF1RB ---1LB (Redirected page to 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB) Tag: New redirect
• 17:00, 13 August 2025 Qwerpiw talk contribs created page 1RB1LC 1LA1RE 0RD0LA ---1LB 1LE0RF 0RD1RB (Redirected page to 1RB1LC 1LA1RE 0RD0LA 1RZ1LB 1LD0RF 0RD1RB) Tag: New redirect
• 16:59, 13 August 2025 Qwerpiw talk contribs created page 1RB0RF 1RC1RB 1RD--- 1LE0RA 1RB0LF 0LE1RD (Redirected page to 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE) Tag: New redirect
• 16:58, 13 August 2025 Qwerpiw talk contribs created page 1RB0LE 1RC1RB 1RD--- 1LA0RF 0LA1RD 1RB0RE (Redirected page to 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE) Tag: New redirect
• 16:57, 13 August 2025 Qwerpiw talk contribs created page 1RB--- 1LC0RF 1RE0LD 0LC1RB 1RA1RE 1RE0RD (Redirected page to 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE) Tag: New redirect
• 10:30, 11 August 2025 Polygon talk contribs created page Champion (Created a redirect to "Champions") Tag: New redirect
• 06:00, 11 August 2025 Sligocki talk contribs created page User talk:Xl643 (Created page with "== Naming TMs == Hi Xl643, please stop adding your own personal names for TMs to their pages. The person who discovers a TM has the right to name it. Or alternatively it might be named if there is a common name used in the community. If you'd like to suggest a name in the talk page or on the Discord you are welcome but don't just add it to the page. ~~~~")
• 05:24, 11 August 2025 Xl643 talk contribs created page Σ(6,2) (Redirected page to BB(6)) Tag: New redirect
• 05:21, 11 August 2025 Xl643 talk contribs created page S(6,2) (Redirected page to BB(6)) Tag: New redirect
• 05:20, 11 August 2025 Xl643 talk contribs created page Σ(6) (Redirected page to BB(6)) Tags: New redirect Visual edit: Switched
• 05:19, 11 August 2025 Xl643 talk contribs created page S(6) (Redirected page to BB(6)) Tag: New redirect
• 04:07, 11 August 2025 Int-y1 talk contribs created page User:Int-y1 (Created page with "Contributions to busy beaver: * 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof] * 2024-01-28: [https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183 Skelet #26 and #15 do not halt - Coq proof] * 2024-07-10: Reframed 1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428...")
• 03:58, 11 August 2025 Int-y1 talk contribs created page Bonus cryptid (Redirected page to 1RB3RB---3LA1RA 2LA3RA4LB0LB1LB) Tag: New redirect
• 23:46, 10 August 2025 Polygon talk contribs moved page Category:BB Domain to Category:BB Domains (Consistency with plural category names)
• 23:35, 10 August 2025 Polygon talk contribs moved page Category:Stub to Category:Stubs (Consistency with plural category names)
• 19:56, 10 August 2025 ADucharme talk contribs created page 0RB1RB 1LC0RA 1RE1LF 1LF1RE 0RD1RD 1LG0LG ---1LB (make BB(7)-compiled Bigfoot redirect to Bigfoot page) Tag: New redirect
• 16:38, 10 August 2025 Qwerpiw talk contribs created page Template:Stub (Created page with ":<div class="notice metadata plainlinks" id="stub">''This article is a stub. You can help the {{SITENAME}} by [{{fullurl:{{FULLPAGENAME}}|action=edit}} expanding it].''</div> <includeonly>Category:Stubs</includeonly><noinclude> ---- ''This template will categorize articles that include it into Category:Stubs.'' </noinclude>")
• 09:53, 10 August 2025 ADucharme talk contribs created page File:B 100k 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---.png
• 09:53, 10 August 2025 ADucharme talk contribs uploaded File:B 100k 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB---.png
• 05:19, 10 August 2025 ADucharme talk contribs created page File:Y t100k 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC.png
• 05:19, 10 August 2025 ADucharme talk contribs uploaded File:Y t100k 1RB1LD 1RC1RE 0LA1LB 0LD1LC 1RF0RA ---0RC.png
• 04:33, 10 August 2025 ADucharme talk contribs created page File:A t100k 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB.png
• 04:33, 10 August 2025 ADucharme talk contribs uploaded File:A t100k 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB.png
• 23:44, 9 August 2025 ADucharme talk contribs created page File:Points x 1 t1k distanceFromHaltingCondition.png
• 23:44, 9 August 2025 ADucharme talk contribs uploaded File:Points x 1 t1k distanceFromHaltingCondition.png
• 06:33, 9 August 2025 Cosmo talk contribs created page File:BB6 holdouts 2728.txt
• 06:33, 9 August 2025 Cosmo talk contribs uploaded File:BB6 holdouts 2728.txt
• 03:24, 9 August 2025 Sligocki talk contribs created page FAR (Redirected page to Finite Automata Reduction (FAR)) Tags: New redirect Visual edit
• 03:24, 9 August 2025 Sligocki talk contribs created page CTL (Redirected page to Closed Tape Language (CTL)) Tags: New redirect Visual edit
• 03:24, 9 August 2025 Sligocki talk contribs created page CPS (Redirected page to Closed Position Set (CPS)) Tags: New redirect Visual edit
• 18:08, 8 August 2025 Sligocki talk contribs created page 1RB0RD 0LC1RA 0RA1LB 1RE1LB 1LF1LB ---1LE (Created page with "{{machine|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} {{TM|1RB0RD_0LC1RA_0RA1LB_1RE1LB_1LF1LB_---1LE}} is a non-halting BB(6) TM discovered by mxdys on 14 Sep 2024 ([https://discord.com/channels/960643023006490684/1239205785913790465/1284419946759323700 Discord]) and proven non-halting the next day ([https://discord.com/channels/960643023006490684/1239205785913790465/1284838151348551795 Discord]). It follows rules similar to {{TM|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0...")
• 11:45, 7 August 2025 User account Yurich talk contribs was created
• 11:37, 7 August 2025 Polygon talk contribs created page Talk:1RB1RZ 0RC0RE 1LD1LA 1LC0LG 0RF1LF 0RD1LF 1LB0LE (Potentially found a typo in the trajectory section)
• 01:51, 7 August 2025 Qwerpiw talk contribs created page Talk:1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC (Created page with "Turing machine for what function? ~~~~")
• 19:04, 6 August 2025 Qwerpiw talk contribs moved page T M function to Tₘ function
• 18:43, 6 August 2025 Qwerpiw talk contribs created page T M function (Created page with "Let M be a non-deterministic Turing machine which recognizes a language L, that is, for every input word u there is an accepting computation with input u if and only if u ∈ L. Let us assume that M terminates on every input. The simplest thing to assume is that if u ∈ L, the TM eventually gives "yes" and if u ∉ L, it gives "no". The smallest time (number of steps) of such a computation is denoted by T_M(u) . For every n >= 1 we define T_M(...") Tag: Visual edit: Switched
• 12:09, 6 August 2025 Polygon talk contribs created page Category:Functions (Created Category:Functions)
• 14:33, 5 August 2025 N1vi talk contribs created page 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD (Created page with "{{machine|1RB---_0RC1RD_1LA0LA_1LE0RB_1LF1LE_1LC0LD}} 1D — CA, rule 30 or rule 110")
• 14:06, 5 August 2025 N1vi talk contribs created page 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC (Created page with "thumb It is really interesting. I high likely doubt it halts, but it creates pseudo random spaces at the right. I ran it for ~860 million steps and the result is shown at the image. Though it might be a fractal.") Tag: Visual edit
• 14:06, 5 August 2025 N1vi talk contribs created page File:860image.png