BB(2,3) - Revision history

Polygon: Linked champion to corresponding section

2025-08-11T10:41:38Z

Linked champion to corresponding section

← Older revision		Revision as of 10:41, 11 August 2025
Line 2:		Line 2:

	== Champions ==		== Champions ==
	S(2,3) = 38 and Σ(2,3) = 9 and both are achieved by only one [[champion]] (in [[TNF]]):		S(2,3) = 38 and Σ(2,3) = 9 and both are achieved by only one [[Champions#3-Symbol TMs\|champion]] (in [[TNF]]):
	* {{TM\|1RB2LB1RZ_2LA2RB1LB\|halt}}		* {{TM\|1RB2LB1RZ_2LA2RB1LB\|halt}}

Polygon: Added link to "champions"

2025-08-11T10:34:58Z

Added link to "champions"

← Older revision		Revision as of 10:34, 11 August 2025
Line 2:		Line 2:

	== Champions ==		== Champions ==
	S(2,3) = 38 and Σ(2,3) = 9 and both are achieved by only one champion (in [[TNF]]):		S(2,3) = 38 and Σ(2,3) = 9 and both are achieved by only one [[champion]] (in [[TNF]]):
	* {{TM\|1RB2LB1RZ_2LA2RB1LB\|halt}}		* {{TM\|1RB2LB1RZ_2LA2RB1LB\|halt}}

Polygon: Prepare Category move of BB-domains

2025-08-10T23:41:57Z

Prepare Category move of BB-domains

← Older revision		Revision as of 23:41, 10 August 2025
Line 30:		Line 30:

	For the full list of 866 halting BB(2,3) TMs, see: https://github.com/sligocki/busy-beaver/blob/main/Machines/bb/2x3.txt		For the full list of 866 halting BB(2,3) TMs, see: https://github.com/sligocki/busy-beaver/blob/main/Machines/bb/2x3.txt
	[[Category:BB ~~Domain~~]]		[[Category:BB Domains]]

Sligocki: Add domain category

2025-02-06T18:32:08Z

Add domain category

← Older revision		Revision as of 18:32, 6 February 2025
Line 30:		Line 30:

	For the full list of 866 halting BB(2,3) TMs, see: https://github.com/sligocki/busy-beaver/blob/main/Machines/bb/2x3.txt		For the full list of 866 halting BB(2,3) TMs, see: https://github.com/sligocki/busy-beaver/blob/main/Machines/bb/2x3.txt
			[[Category:BB Domain]]

Tjligocki: Removed what I added yesterday because it will likely soon be superseded by adding a BB(2,3) theorem to the Coq-BB5 code.

2024-08-28T04:06:12Z

Removed what I added yesterday because it will likely soon be superseded by adding a BB(2,3) theorem to the Coq-BB5 code.

← Older revision		Revision as of 04:06, 28 August 2024
Line 1:		Line 1:
	'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols. The value was discovered by Brady in 1988 (and independently by Michel in 2004) and proven by Lafitte and Papazian in 2007.		'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols. The value was discovered by Brady in 1988 (and independently by Michel in 2004) and proven by Lafitte and Papazian in 2007.

	~~== Current Work ==~~
	~~Investigations are ongoing to create a minimal Coq proof of this case and to document code run to get the number of holdouts to zero.~~

	== Champions ==		== Champions ==

Tjligocki: Added a section, "Current Work".

2024-08-26T18:10:25Z

Added a section, "Current Work".

← Older revision		Revision as of 18:10, 26 August 2024
Line 2:		Line 2:

	== Current Work ==		== Current Work ==
	~~Although the [[~~Coq~~-BB5]] proof contains a~~ proof of this case~~, investigations are ongoing~~ to ~~make a simpler proof that better captures~~ the ~~complexity~~ of ~~this problem~~.		Investigations are ongoing to create a minimal Coq proof of this case and to document code run to get the number of holdouts to zero.

	== Champions ==		== Champions ==

Tjligocki: Added a section, "Current Work".

2024-08-26T18:08:02Z

Added a section, "Current Work".

← Older revision		Revision as of 18:08, 26 August 2024
Line 1:		Line 1:
	'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols. The value was discovered by Brady in 1988 (and independently by Michel in 2004) and proven by Lafitte and Papazian in 2007.		'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols. The value was discovered by Brady in 1988 (and independently by Michel in 2004) and proven by Lafitte and Papazian in 2007.

			== Current Work ==
			Although the [[Coq-BB5]] proof contains a proof of this case, investigations are ongoing to make a simpler proof that better captures the complexity of this problem.

	== Champions ==		== Champions ==

Sligocki: Add top TMs and a little more info

2024-08-19T18:41:12Z

Add top TMs and a little more info

@@ Line 1: / Line 1: @@
-'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols.
+'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols. The value was discovered by Brady in 1988 (and independently by Michel in 2004) and proven by Lafitte and Papazian in 2007.
 == Champions ==
-S(2,3) = 38:
+S(2,3) = 38 and Σ(2,3) = 9 and both are achieved by only one champion (in [[TNF]]):
-* {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones
+* {{TM|1RB2LB1RZ_2LA2RB1LB|halt}}

Sligocki: I don't think we should refer to BB(2,3) as the 2nd value. At least that's not how I think of it.

2024-08-15T14:59:40Z

I don't think we should refer to BB(2,3) as the 2nd value. At least that's not how I think of it.

← Older revision		Revision as of 14:59, 15 August 2024
Line 1:		Line 1:
	'''BB(2,3)''' refers to ~~the 2<sup>th</sup> value of~~ the [[Busy Beaver function]] with 3 symbols.		'''BB(2,3)''' refers to the [[Busy Beaver function]] with 2 states and 3 symbols.

	== Champions ==		== Champions ==
	S(2,3) = 38:		S(2,3) = 38:
	* {{TM\|1RB2LB---_2LA2RB1LB\|halt}} leaves 9 ones		* {{TM\|1RB2LB---_2LA2RB1LB\|halt}} leaves 9 ones

Azerty: Created page with "'''BB(2,3)''' refers to the 2^th value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones"

2024-08-15T14:57:48Z

Created page with "'''BB(2,3)''' refers to the 2<sup>th</sup> value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones"

New page

'''BB(2,3)''' refers to the 2<sup>th</sup> value of the [[Busy Beaver function]] with 3 symbols.

== Champions ==
S(2,3) = 38:
* {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones

BB(2,3) - Revision history

Polygon: Linked champion to corresponding section

Polygon: Added link to "champions"

Polygon: Prepare Category move of BB-domains

Sligocki: Add domain category

Tjligocki: Removed what I added yesterday because it will likely soon be superseded by adding a BB(2,3) theorem to the Coq-BB5 code.

Tjligocki: Added a section, "Current Work".

Tjligocki: Added a section, "Current Work".

Sligocki: Add top TMs and a little more info

Sligocki: I don't think we should refer to BB(2,3) as the 2nd value. At least that's not how I think of it.

Azerty: Created page with "'''BB(2,3)''' refers to the 2th value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones"

Azerty: Created page with "'''BB(2,3)''' refers to the 2^th value of the Busy Beaver function with 3 symbols. == Champions == S(2,3) = 38: * {{TM|1RB2LB---_2LA2RB1LB|halt}} leaves 9 ones"