User contributions for Bt2901

22:1122:11, 14 September 2024 diff hist +1,436‎ N 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..."

20:4920:49, 25 August 2024 diff hist +21‎ m Collatz-like ‎No edit summary
20:4820:48, 25 August 2024 diff hist +22‎ m Translated cycler ‎No edit summary
10:4710:47, 25 August 2024 diff hist +1,325‎ N 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:3310:33, 25 August 2024 diff hist 0‎ N Category:Zoology ‎ Created blank page current
10:3210:32, 25 August 2024 diff hist +40‎ m Dekaheptoid ‎No edit summary
10:3210:32, 25 August 2024 diff hist +39‎ m Sync bi-counter ‎No edit summary
10:3110:31, 25 August 2024 diff hist +40‎ m Sync bouncer counter ‎No edit summary
10:3110:31, 25 August 2024 diff hist +40‎ m Shift overflow bouncer counter ‎No edit summary
10:3010:30, 25 August 2024 diff hist +21‎ m Bell eats counter ‎No edit summary

23:2823:28, 24 August 2024 diff hist +2,245‎ N 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..."

18:3518:35, 24 July 2024 diff hist +8,672‎ Skelet 17 ‎ add the table with state variables
07:0107:01, 24 July 2024 diff hist −94‎ m Template:Mono ‎ this fancy stuff doesn't work idk current
07:0007:00, 24 July 2024 diff hist +141‎ N Template:Mono ‎ stolen from english wikipedia
06:4706:47, 24 July 2024 diff hist +567‎ Skelet 17 ‎ add details Tag: Visual edit

07:4907:49, 23 July 2024 diff hist +411‎ Hydra ‎ Add etymology Tag: Visual edit: Switched
07:3607:36, 23 July 2024 diff hist +531‎ N 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

Navigation menu