Skelet 17: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Stub) |
||
| Line 16: | Line 16: | ||
A(a0, a1, ..., an)=1 (10)^a0 1 (10)^a1 ... 1 (10)^an | A(a0, a1, ..., an)=1 (10)^a0 1 (10)^a1 ... 1 (10)^an | ||
</pre> | </pre> | ||
[[Category:Stub]] | |||
Revision as of 01:53, 18 July 2024
1RB---_0LC1RE_0LD1LC_1RA1LB_0RB0RA (bbch)
Skelet #17 was one of Skelet's 43 holdouts and one of the last holdouts in BB(5).
A full proof of its nonhalting by chxu can be found here: https://chrisxudoesmath.com/papers/skelet17.pdf
Adapting the above, a formal proof of its nonhalting by mxdys can be found here: https://github.com/ccz181078/Coq-BB5/blob/main/Skelet17.md
There was also an analysis by savask: https://docs.bbchallenge.org/other/skelet17_savasks_analysis.pdf
TM Behavior
S can be simulated with the following rules:
A(a0, a1, ..., an)=1 (10)^a0 1 (10)^a1 ... 1 (10)^an