Skelet 33 - Revision history

Polygon: /* Analysis by int-y1 and meithecatte */ spacing

2026-03-09T19:03:32Z

Analysis by int-y1 and meithecatte: spacing

← Older revision		Revision as of 19:03, 9 March 2026
Line 63:		Line 63:

	Now that the counter phase D(, ) is analyzed, let’s move on to the reset phase E(, ).		Now that the counter phase D(, ) is analyzed, let’s move on to the reset phase E(, ).

	Reset phase		Reset phase

Polygon: Added analysis by int-y1 and meithecatte

2026-03-09T18:56:50Z

Added analysis by int-y1 and meithecatte

@@ Line 1: / Line 1: @@
-{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
+{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}
 {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref> It is [[adjacent]] to Skelet 34.<ref name="Shawn Ligocki 2023">https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>
@@ Line 36: / Line 36: @@
 Start -> G(0, 0, 0, 13)  @ Step 83
 </pre>

Polygon: Added missing definition of b(n) and see also section

2026-03-07T19:18:04Z

Added missing definition of b(n) and see also section

← Older revision		Revision as of 19:18, 7 March 2026
Line 7:		Line 7:

	<pre>		<pre>
			b(n) is the number we have to add to n to reach the “next” power of 2 (strictly greater than n) or the smallest number which when added to n “expands” the binary representation to a larger length.

	L(2k) = L(k) 0000		L(2k) = L(k) 0000
	L(2k+1) = L(k) 0001		L(2k+1) = L(k) 0001
Line 38:		Line 40:
	== See also ==		== See also ==
	* [[Skelet 26]]		* [[Skelet 26]]
			* [https://www.sligocki.com/2023/02/02/skelet-34.html Skelet #34 is Infinite]

	== References ==		== References ==

	[[Category:BB(5)]]		[[Category:BB(5)]]

Polygon: Added see also section

2026-03-07T18:31:34Z

Added see also section

← Older revision		Revision as of 18:31, 7 March 2026
Line 35:		Line 35:
	Start -> G(0, 0, 0, 13) @ Step 83		Start -> G(0, 0, 0, 13) @ Step 83
	</pre>		</pre>

			== See also ==
			* [[Skelet 26]]

	== References ==		== References ==

	[[Category:BB(5)]]		[[Category:BB(5)]]

Polygon: Added time of proof (migrated from Cosearch)

2026-03-02T17:38:46Z

Added time of proof (migrated from Cosearch)

← Older revision		Revision as of 17:38, 2 March 2026
Line 1:		Line 1:
	{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}		{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
	{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref> It is [[adjacent]] to Skelet 34.<ref name="Shawn Ligocki 2023">https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>		{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref> It is [[adjacent]] to Skelet 34.<ref name="Shawn Ligocki 2023">https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>

			Skelet 33 was formally proven to be non-halting in December 2023 by [[User:int-y1\|int-y1]]<ref>https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180</ref> and meithecatte.<ref>https://github.com/meithecatte/busycoq/blob/master/verify/Skelet33.v</ref>

	== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref name="Shawn Ligocki 2023"/> ==		== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref name="Shawn Ligocki 2023"/> ==

Polygon: Added it being adjacent to Skelet 34

2026-03-02T17:31:15Z

Added it being adjacent to Skelet 34

← Older revision		Revision as of 17:31, 2 March 2026
Line 1:		Line 1:
	{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}		{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
	{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref>		{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref> It is [[adjacent]] to Skelet 34.<ref name="Shawn Ligocki 2023">https://www.sligocki.com/2023/02/05/shift-overflow.html</ref>

	== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref~~>https://www.sligocki.com/~~2023/~~02/05/shift-overflow.html</ref~~> ==		== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref name="Shawn Ligocki 2023"/> ==

	<pre>		<pre>

Polygon: Added it having an individual proof in Coq-BB5

2026-03-02T17:27:31Z

Added it having an individual proof in Coq-BB5

← Older revision		Revision as of 17:27, 2 March 2026
Line 1:		Line 1:
	{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}		{{machine\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
	{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a [[Shift overflow counter]].		{{TM\|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', 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/Skelet33.v</ref>

	== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref>https://www.sligocki.com/2023/02/05/shift-overflow.html</ref> ==		== Analysis by [[User:Sligocki\|Shawn Ligocki]]<ref>https://www.sligocki.com/2023/02/05/shift-overflow.html</ref> ==

Polygon: Added Analysis by Shawn Ligocki

2026-03-02T16:55:38Z

Added Analysis by Shawn Ligocki

@@ Line 1: / Line 1: @@
 {{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
 {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a [[Shift overflow counter]].
 [[Category:BB(5)]]

Polygon: Created page with "{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}} {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter. Category:BB(5)"

2026-03-02T16:50:52Z

Created page with "{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}} {{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter. Category:BB(5)"

New page

{{machine|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}{{Stub}}
{{TM|1LC1RD_1RE---_0LD0LC_1RB0RA_1RA1LE}}, called '''Skelet #33''', was one of [[Skelet's 43 holdouts]] and one of the last holdouts in [[BB(5)]]. It is a [[Shift overflow counter]].

[[Category:BB(5)]]