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

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)
03:43, 12 July 2024 LegionMammal978 talk contribs deleted page Data:I18n/Module:TNT.tab (wrong namespace)
03:29, 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:27, 12 July 2024 Sligocki talk contribs created page BB(3) (Created page with "The 3-state 2-symbol Busy Beaver problem '''BB(3)''' was proven by Shen Lin in his 1963 doctoral dissertation<ref>Shen Lin. 1963. Computer studies of Turing machine problems. PhD dissertation. Ohio State University. https://etd.ohiolink.edu/acprod/odb_etd/etd/r/1501/10?clear=10&p10_accession_num=osu1486554418657614</ref> and republished in 1965.<ref>Lin, Shen; Radó, Tibor (April 1965). "Computer Studies of Turing Machine Problems". ''Journal of the ACM''. '''12''' (2):...") Tag: Visual edit: Switched
03:26, 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:16, 12 July 2024 LegionMammal978 talk contribs created page Module:TNT (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:TNT&oldid=5750914 -- -- INTRO: (!!! DO NOT RENAME THIS PAGE !!!) -- This module allows any template or module to be copy/pasted between -- wikis without any translation changes. All translation text is stored -- in the global Data:*.tab pages on Commons, and used everywhere. -- -- SEE: https://www.mediawiki.org/wiki/Multilingual_Templates_and_Modules -- -- ATTENTION: -- Please do NOT ren...")
03:15, 12 July 2024 LegionMammal978 talk contribs created page Module:Documentation/i18n (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:Documentation/i18n&oldid=3580736 local format = require('Module:TNT').format local i18n = {} i18n['cfg-error-msg-type'] = format('I18n/Documentation', 'cfg-error-msg-type') i18n['cfg-error-msg-empty'] = format('I18n/Documentation', 'cfg-error-msg-empty') -- cfg['template-namespace-heading'] -- The heading shown in the template namespace. i18n['template-namespace-heading'] = format('I18n/Documentation',...")
03:12, 12 July 2024 LegionMammal978 talk contribs created page Module:Documentation/config (Created page with "---------------------------------------------------------------------------------------------------- -- -- Configuration for Module:Documentation -- -- Here you can set the values of the parameters and messages used in Module:Documentation to -- localise it to your wiki and your language. Unless specified otherwise, values given here -- should be string values. ---------------------------------------------------------------------------------...")
03:10, 12 July 2024 LegionMammal978 talk contribs created page Module:Documentation (Created page with "-- Copied from https://www.mediawiki.org/w/index.php?title=Module:Documentation&oldid=5775458 -- This module implements {{documentation}}. -- Get required modules. local getArgs = require('Module:Arguments').getArgs local messageBox = require('Module:Message box') -- Get the config table. local cfg = mw.loadData('Module:Documentation/config') local i18n = mw.loadData('Module:Documentation/i18n') local p = {} -- Often-used functions. local ugsub = mw.ustring.gsub ---...")
02:59, 12 July 2024 Sligocki talk contribs created page Template:Documentation (Created page with "{{#invoke:documentation|main|_content={{ {{#invoke:documentation|contentTitle}}}}}}<noinclude>  </noinclude>")
02:18, 12 July 2024 Sligocki talk contribs created page Green's machines (List of Milton Green's Machines) Tag: Visual edit: Switched
01:59, 12 July 2024 Sligocki talk contribs created page Template:TM (Create TM convenience Template that automatically (1) links to bbchallenge URL and (2) puts text in <code> block.)
15:11, 11 July 2024 Cosmo talk contribs deleted page Test (content was: "this is a test", and the only contributor was "Cosmo" (talk))
15:10, 11 July 2024 Cosmo talk contribs created page Test (Created page with "this is a test")
15:09, 11 July 2024 Cosmo talk contribs created page MediaWiki:Custom-RcGcDw (Created page with "960643023006490684")
14:22, 11 July 2024 Sligocki talk contribs created page 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF (Created page with "{{machine|1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF}} https://bbchallenge.org/1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF mxdys — 11 Jul 2024 at 7:10 AM ET <pre> 1RB0RE_0RC---_1LD1LE_1LE1LD_1RF0LC_1RA1RF (chaotic 1dCA in bell) (...0 a1 a2 ... an > b1 b2 ... bm 0...) := (0^inf 0 1^a1 0 1^a2 ... 0 1^an E> 1^b1 0 1^b2 0 ... 1^bm 0 0^inf) (...0 a1 a2 ... an < b1 b2 ... bm 0...) := (0^inf 0 1^a1 0 1^a2 ... 0 1^an <E 1^b1 0 1^b2 0 ... 1^bm 0 0^inf) start from: ...0 1...")
04:36, 11 July 2024 Sligocki talk contribs created page Adjacent (Created page with "Two Turing machines are '''adjacent''' if you can get from one to the other by modifying only one transition and (optionally) applying a permutation. Adjacent TMs are useful to think about at times because they can have similar behavior or follow similar rules. This is definitely not true for all adjacent TMs, but it is in some cases. == Examples == A good example of adjacent TMs are the 5 BB(5) shift overflow counters from Skelet's 43 holdouts:<ref>Shaw...") Tag: Visual edit
21:28, 10 July 2024 Sligocki talk contribs created page Permutation (Created page with "Turing machine A is a '''permutation''' of Turing machine B if they are isomorphic up to permuting (renaming) states, symbols (aside from the blank symbol) and directions. If the start state is not affected by the permutation, then the two TMs are functionally identical and are represented by a single TM in TNF. If the start state is changed, then TM A is functionally identical to TM B started in a different start state. Therefore we can say that an n-state TM has ef...") Tag: Visual edit
20:10, 10 July 2024 Sligocki talk contribs created page Mother of Giants (Created page with "The '''Mother of Giants''' is a collection of adjacent Turing machines, some of which are Cryptids in the 5-state Beeping Busy Beaver problem that probviously quasihalt. They must all be proven to halt or not if we want to solve BBB(5). The TMs are all the "children" of <code>1RB1LE_0LC0LB_0LD1LC_1RD1RA_---0LA</code> where children means all the TMs created by filling in the undefined <code>E0</code> transition. See https://www.sligocki.co...") Tag: Visual edit
19:57, 10 July 2024 Sligocki talk contribs created page Probviously (Redirected page to Probvious) Tags: New redirect Visual edit
19:57, 10 July 2024 Sligocki talk contribs created page Probvious (Probvious) Tag: Visual edit: Switched
13:26, 10 July 2024 Hsjoihs talk contribs created page Quasihalt (Created page with "A program is called '''quasihalting''' if it has any states which are reached no more than a fixed number of times during the course of a computation.<ref>https://www.sligocki.com/2021/03/06/beeping-busy-beaver/</ref> A machine is said to '''quasihalt''' when it ''enters'' a cycle of behavior in which it does not visit all machine states.<ref>https://nickdrozd.github.io/2020/10/08/quasihalting-behavior.html</ref><ref>https://discord.com/channels/960643023006490684/10265...")
12:39, 10 July 2024 Hsjoihs talk contribs created page Standard TM Text format (Redirected page to Turing machine#Standard text format) Tag: New redirect
12:38, 10 July 2024 Hsjoihs talk contribs created page Standard text format (Redirected page to Turing machine#Standard text format) Tag: New redirect
12:20, 10 July 2024 Hsjoihs talk contribs created page Beeping Busy Beaver (Created page with "A Beeping Busy Beaver (BBB) is a concept defined on a ''beeping Turing machine'', which is a Turing machine that has a special state named "beep state". The goal of a BBB is as follows: when starting from a totally blank tape, we want the final beep to happen as late as possible. The phrasing "final beep" means that the machine must beep finitely many times. Formally, we define the $n$<sup>th</sup> Beeping Busy Beaver number as <math display="block">\operatorname{BBB}(...")
10:10, 10 July 2024 User account Cirosantilli talk contribs was created
08:04, 10 July 2024 Hsjoihs talk contribs created page BB(4) (Created page with "'''BB(4)''' refers to the 4<sup>th</sup> value of the Busy Beaver function. == History == In this Section, we use Radó's original S (number of steps) and Σ (number of ones on the final tape) notations; see Busy Beaver Functions. * In 1966, Allen Brady conjectures Σ(4) = 13 and S(4) = 106.<ref name=":1">Brady, A. H. (1966). The Conjectured Highest Scoring Machines for Rado's Σ(k) for the Value k = 4. https://ieeexplore.ieee.org/document/4038890 </ref> * In...") Tag: Visual edit: Switched
07:42, 10 July 2024 User account Hsjoihs talk contribs was created
04:59, 10 July 2024 Sligocki talk contribs created page TNF enumeration (Redirected page to Tree Normal Form) Tags: New redirect Visual edit
04:52, 10 July 2024 Sligocki talk contribs created page TNF-1RB (Redirected page to Tree Normal Form#TNF-1RB) Tags: New redirect Visual edit
04:51, 10 July 2024 Sligocki talk contribs created page TNF (Redirected page to Tree Normal Form) Tags: New redirect Visual edit

All public logs

Navigation menu