Skelet 26: Difference between revisions
Jump to navigation
Jump to search
→Skelet 15: added a short sentence about equivalence |
Mentioned proof of non-halting |
||
| Line 1: | Line 1: | ||
{{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} | {{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} | ||
{{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a [[Shift overflow counter]] and has an individual proof of non-halting in [[Coq-BB5]].<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> | {{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a [[Shift overflow counter]] and has an individual proof of non-halting in [[Coq-BB5]].<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> It is equivalent to Skelet 15. | ||
Skelet 26 was proven to be non-halting in January 2024 by int-y1 and meithecatte.<ref name="Forum2615">https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183</ref> | |||
== Skelet 15 == | == Skelet 15 == | ||
{{TM|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}, also called '''Skelet 15''' is equivalent to Skelet 26. | {{TM|1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC}}, also called '''Skelet #15''' is equivalent to Skelet 26. It was proven to be non-halting together with Skelet 26 in January 2024 by int-y1 and meithecatte.<ref name="Forum2615"/> | ||
== References == | == References == | ||
[[Category:BB(5)]] | [[Category:BB(5)]] | ||
Revision as of 18:17, 7 March 2026
1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC--- (bbch), called Skelet #26, was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.[1] It is equivalent to Skelet 15.
Skelet 26 was proven to be non-halting in January 2024 by int-y1 and meithecatte.[2]
Skelet 15
1RB---_1RC1LB_1LD1RE_1LB0LD_1RA0RC (bbch), also called Skelet #15 is equivalent to Skelet 26. It was proven to be non-halting together with Skelet 26 in January 2024 by int-y1 and meithecatte.[2]