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).
- 04:38, 13 August 2024 Mxdys talk contribs created page 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE (Created page with "This is a potential Cryptid found by @mxdys and shared on Discord on 7 Aug 2024. == Analysis by @mxdys == <pre> 1RB0LD_1LC0RA_1RA1LB_1LA1LE_1RF0LC_---0RE start from (2,3) (a,b+a+2) --> (2a+3,b) (a+b+1,b) --> (2,a+4b+5) (a,a) --> halt not used? (a,a+1) --> (2,2a+4) only used once? (a,b) := 0^inf 01^a 110 A> 1^(2b+1) 0^inf example: (2,3)--> (2,8)-->(7,4)--> (2,23)-->(7,19)-->(17,10)--> (2,51)-->(7,47)-->(17,38)-->(37,19)--> (2,98)-->(7,94)-->(17,85)-->(...")
- 04:22, 13 August 2024 Mxdys talk contribs created page 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA (Antihydra variant)
- 13:29, 9 August 2024 Jacobzheng talk contribs created page User:Jacobzheng (Created page with "a 14x2 halt TM: <syntaxhighlight> 0 _ 1 r 1 0 1 1 r 13 1 _ 1 r 2 1 1 _ l 6 2 _ 1 l 3 2 1 1 r 1 3 _ 1 l 5 3 1 1 l 4 4 _ 1 r 7 4 1 1 l 5 5 _ 1 r 6 5 1 _ l 3 6 _ 1 l 1 6 1 _ r 5 7 _ 1 r 8 7 1 1 r 7 8 _ 1 r halt 8 1 _ r 9 9 _ 1 r 8 9 1 1 l 10 10 _ _ l 10 10 1 1 l 11 11 _ 1 l 12 11 1 1 r 13 12 _ 1 r 7 12 1 _ l 11 13 _ _ r 0 13 1 1 l 10 </syntaxhighlight>")
- 13:56, 8 August 2024 User account Jacobzheng talk contribs was created
- 06:26, 8 August 2024 User account LeopoldoConey talk contribs was created
- 14:43, 4 August 2024 DF376 talk contribs created page File:BB6 holdouts 5877.txt
- 14:43, 4 August 2024 DF376 talk contribs uploaded File:BB6 holdouts 5877.txt
- 14:40, 4 August 2024 User account DF376 talk contribs was created
- 09:50, 4 August 2024 Cosmo talk contribs created page Talk:Consistent Collatz (Created page with "Thank you very much for this interesting contribution ! - Is this wiki entry the first documentation of this work or are there any resources outhere about it (paper, blog, ...)? - Did you mint the term "consistent Collatz sequence" or was it introduced before in the litterature? - How do "consistent Collatz sequences" differ from Conway's "generalised Collatz maps"? Thank you!")
- 01:51, 4 August 2024 Int-y1 talk contribs created page BMO (Redirected page to Beaver Math Olympiad) Tag: New redirect
- 00:25, 4 August 2024 Ais523 talk contribs created page Consistent Collatz (a class of sequences, including that used by Hydra/Antihydra, that can be calculated in quasilinear time)
- 15:47, 30 July 2024 Bt2901 talk contribs created page File:Skeleton warrior.png
- 15:47, 30 July 2024 Bt2901 talk contribs uploaded File:Skeleton warrior.png
- 04:41, 30 July 2024 Sligocki talk contribs created page 1RB1RA 0RC1RC 1LD0LF 0LE1LE 1RA0LB ---0LC (Created page with "{{machine|1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC}} A probviously halting BB(6) Cryptid found by @mxdys on 30 Jun 2024. Analysis by Shawn Ligocki: <pre> 1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC C(a, b, c) = $ 1^2a+1 C> 0^2b 1^c 01 $ Level 1: C(a, b+2, c) -> C(a+3, b, c) C(a, 1, c+2) -> C(1, a+3, c) C(a, 0, c+1) -> C(1, a+1, c) C(a, 0, 0) -> C(1, 2, 2a+3) C(a, 1, 1) -> C(1, 2, 2a+7) C(a, 1, 0) -> Halt(2a+5) Level 2: C(...")
- 07:00, 24 July 2024 Bt2901 talk contribs created page Template:Mono (stolen from english wikipedia)
- 02:38, 24 July 2024 Int-y1 talk contribs created page BB(5,2) (Redirected page to BB(5)) Tag: New redirect
- 00:23, 24 July 2024 Int-y1 talk contribs created page File:Question, Web Fundamentals.svg (Re-uploaded from https://commons.wikimedia.org/wiki/File:Question,_Web_Fundamentals.svg)
- 00:23, 24 July 2024 Int-y1 talk contribs uploaded File:Question, Web Fundamentals.svg (Re-uploaded from https://commons.wikimedia.org/wiki/File:Question,_Web_Fundamentals.svg)
- 08:24, 23 July 2024 Int-y1 talk contribs created page Template:Unsolved/styles.css (Created page with "{{pp-template}}: Styles for "unsolved problem" summary: .unsolved { margin: 0.5em 0 1em 1em; border: #ccc solid; padding: 0.35em 0.35em 0.35em 2.2em; background-color: var(--background-color-interactive-subtle); background-image: url("https://upload.wikimedia.org/wikipedia/commons/2/26/Question%2C_Web_Fundamentals.svg"); background-position: top 50% left 0.35em; background-size: 1.5em; background-repeat: no-repeat; } @media (min-width: 720px) { .unsolv...")
- 08:12, 23 July 2024 Int-y1 talk contribs created page Template:Unsolved (Created page with "<templatestyles src="Unsolved/styles.css" /> <div role="note" class="unsolved"> <div><span class="unsolved-label">Unsolved problem</span>:</div> <div class="unsolved-body">{{{1}}}</div> </div><noinclude> {{documentation}}</noinclude>")
- 07:36, 23 July 2024 Bt2901 talk contribs created page Beaver Math Olympiad (Created page with "''Beaver Mathematical Olympiad'' is an attempt to re-formulate the halting problem for some particular TMs as mathematical problem in a style suitable for a hypothetical math olympiad. The purpose of BMO is twofold. First, statements where every non-essential details (e.g. related to tape encoding, number of steps, etc) is discarded are more suitable to be shared with mathematicians who perhaps are able to help. Second, it's a way to jokingly highlight how a hard ques...") Tag: Visual edit: Switched
- 06:32, 23 July 2024 User account Bt2901 talk contribs was created
- 03:07, 23 July 2024 Int-y1 talk contribs created page Translated Cycler (add image and caption)
- 02:58, 23 July 2024 Int-y1 talk contribs uploaded a new version of File:Translated cycler 44394115 annotated.svg (delete context-stroke)
- 02:52, 23 July 2024 Int-y1 talk contribs uploaded a new version of File:Translated cycler 44394115 annotated.svg (minify)
- 02:48, 23 July 2024 Int-y1 talk contribs created page File:Translated cycler 44394115 annotated.svg
- 02:48, 23 July 2024 Int-y1 talk contribs uploaded File:Translated cycler 44394115 annotated.svg
- 03:16, 22 July 2024 User account C7X talk contribs was created
- 17:24, 21 July 2024 User account Ais523 talk contribs was created
- 14:35, 21 July 2024 Mxdys talk contribs created page 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF (Created page with "This is a chaotic-looking TM in BB(6) holdouts. It's suspected to be a translated cycler with high period and very hard to accelerate, because many other similar looking TMs become translated cycler in 2e10 steps.")
- 18:00, 18 July 2024 User account My accunt talk contribs was created
- 01:46, 18 July 2024 Sligocki talk contribs created page Category:Stub (Created page with "Category for articles that are mostly empty and need improvement.") Tag: Visual edit
- 01:44, 18 July 2024 Sligocki talk contribs created page 1RB3RB---3LA1RA 2LA3RA4LB0LB0LA (Redirected page to Hydra) Tags: New redirect Visual edit
- 07:34, 17 July 2024 Mkmkmk talk contribs created page Talk:Cryptids (Created page with "from https://www.quantamagazine.org/how-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210/: "O’Rear subsequently devised a much simpler 748-rule machine that halts if ZF is inconsistent"")
- 07:33, 17 July 2024 User account Mkmkmk talk contribs was created
- 19:43, 15 July 2024 Jadeix talk contribs created page File:Antihydra-depiction.png (A digital depiction of a hydra inspired by the antihydra cryptid Turing machine.)
- 19:43, 15 July 2024 Jadeix talk contribs uploaded File:Antihydra-depiction.png (A digital depiction of a hydra inspired by the antihydra cryptid Turing machine.)
- 19:42, 15 July 2024 User account Jadeix talk contribs was created
- 12:00, 15 July 2024 User account Alois talk contribs was created
- 03:49, 15 July 2024 Sligocki talk contribs created page Holdouts list (Redirected page to Holdouts lists) Tags: New redirect Visual edit
- 03:49, 15 July 2024 Sligocki talk contribs created page BB(3,3) (Created page with "The 3-state, 3-symbol Busy Beaver problem '''BB(3,3)''' is unsolved. With the discovery of Bigfoot in 2023, we now know that we must solve a Collatz-like problem in order to solve BB(3,3) and thus [https://www.sligocki.com/2023/10/16/bb-3-3-is-hard.html BB(3,3) is Hard]. The current BB(3,3) champion {{TM|0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC}} was discovered by Terry and Shawn Ligocki in 2007, proving the lower bounds: <math display="block">\begin{arr...")
- 03:05, 15 July 2024 Sligocki talk contribs created page 1RB2LA0LA 2LC---2RA 0RA2RC1LC (Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045")
- 16:37, 13 July 2024 User account DF476 talk contribs was created
- 02:58, 13 July 2024 Sligocki talk contribs created page Champions (Created page with "Busy Beaver '''Champions''' are the current record holding Turing machines who maximize a Busy Beaver function. In this article we focus specifically on the longest running TMs. Some have been proven to be the longest running of all (and so are the ultimate champion) while others are only current champions and may be usurped in the future. For smaller domains, Pascal Michel's website is the canonical source for [https://bbchallenge.org/~pascal.mich...") Tag: Visual edit
- 19:16, 12 July 2024 Sligocki talk contribs created page File:BB6 holdouts 7296.txt
- 19:16, 12 July 2024 Sligocki talk contribs uploaded File:BB6 holdouts 7296.txt
- 18:59, 12 July 2024 Sligocki talk contribs created page BB(6) (Created page with "The 6-state, 2-symbol Busy Beaver problem '''BB(6)''' is unsolved. With the discovery of Antihydra in 2024, we now know that we must solve a Collatz-like problem in order to solve BB(6). The current BB(6) champion {{TM|1RB0LD_1RC0RF_1LC1LA_0LE1RZ_1LF0RB_0RC0RE}} was discovered by Pavel Kropitz in 2022 proving the lower bound:<ref>Shawn Ligocki. 2022. "BB(6, 2) > 10↑↑15". https://www.sligocki.com/2022/06/21/bb-6-2-t15.html</ref> <math display="block">S(6) >...") Tag: Visual edit
- 03:50, 12 July 2024 LegionMammal978 talk contribs created page Data:I18n/Documentation.tab (Created page with "{ "license": "CC0-1.0", "description": { "en": "Translation table for the shared Module:Documentation", "hu": "Fordítási táblázat a megosztott Documentation modulhoz", "nb": "Oversettelsestabell for den delte modulen Documentation", "nn": "Omsetjingstabell for den delte modulen Documentation", "sl": "Prevodna tabela za skupni Module:Documentation", "tr": "Paylaşılan Module:Documentation için çeviri tablosu",...")
- 03:50, 12 July 2024 LegionMammal978 talk contribs created page Data:I18n/Module:TNT.tab (Created page with "{ "license": "CC0-1.0", "description": { "ast": "Tabla de traducciones pal Módulu:TNT", "be": "Табліца перакладаў для модуля Module:TNT", "bg": "Таблица с преводи за Модул:TNT", "ca": "Taula de traduccions per al Mòdul:TNT", "cs": "Tabulka překladů pro Modul:TNT", "de": "Übersetzungstabelle für das Modul:TNT", "el": "Πίνακας μετάφρασης...")
- 03:43, 12 July 2024 LegionMammal978 talk contribs deleted page Data:I18n/Documentation.tab (wrong namespace)
