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

• 22:11, 14 September 2024 Bt2901 talk contribs created page Fast-Growing Hierarchy Growth Bound Theorem (Created page with "The ''Fast-Growing Hierarchy Growth Bound Theorem'' is an important result in mathematical logic that has significant implications for unprovability results. The theorem highlights a relationship between computable functions that are provably total in first-order Peano Arithmetic (PA) and the fast-growing functions in the Wainer hierarchy. The theorem is based on work by several mathematicians. Georg Kreisel laid the groundwork in 1952 by inve...")
• 10:47, 25 August 2024 Bt2901 talk contribs created page Shift overflow counter (Created page with "'''Shift overflow counter''' is an informal class of Turing machines. A typical Turing machine in this class has the following behavior: * it represents digits as short fixed-length blocks of symbols * it spends most of it's time implementing basic double counter until one of the sides overflows (expands) which leads to changing the offsets of blocks, making them non-valid representations of digits * after “Counter Phase” there is a “Reset Phase” where the conte...")
• 10:33, 25 August 2024 Bt2901 talk contribs created page Category:Zoology (Created blank page)
• 23:28, 24 August 2024 Bt2901 talk contribs created page Dekaheptoid (Created page with "'''Dekaheptoid''' (from Ancient Greek word meaning "seventeen") is an informal class of Turing machines that are, in some sense, similar to Skelet 17. A typical Turing machine in this class has the following behavior: * it works with the sequence of numbers encoded as <math>10^{k}</math> (here referred to as ''digits''). * it spends most of it's time performing an operation that could be described as incrementing/decrementing Gray Code of the sequence * it has a rou...")
• 09:29, 13 August 2024 Bt2901 talk contribs created page Oriented state (Redirected page to Directed head notation) Tags: New redirect Visual edit: Switched
• 09:29, 13 August 2024 Bt2901 talk contribs created page Directed Head Notation (Redirected page to Directed head notation) Tags: New redirect Visual edit: Switched
• 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
• 07:00, 24 July 2024 Bt2901 talk contribs created page Template:Mono (stolen from english wikipedia)
• 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