Skelet's 43 holdouts: Difference between revisions
Jump to navigation
Jump to search
(Stub) |
(Add some info) |
||
| Line 1: | Line 1: | ||
'''Skelet's 43 holdouts''' are 43 different 5-state, 2-symbol machines made public by Skelet in 2003. These machines are derived from a set of 164 machines that were left undecided by Skelet's bbfind program, which classified all other 5-state, 2-symbol machines into either halting or non-halting.<ref name="Skelet">Skelet, "[https://skelet.ludost.net/bb/index.html Busy Beaver prover]" (2003). Accessed 29 August 2024.</ref> Due to the length and lack of comments in bbfind's source code, Skelet's work is believed to not have been independently verified.<ref>"[https://bbchallenge.org/story#skelets-43-undecided-machines Story]" (section "Skelet's 43 undecided machines").</ref> It is now known that all 43 of these holdouts do not halt.<ref>"[https://bbchallenge.org/skelet Skelet’s 43 machines]".</ref> | |||
Other work done in bbfind includes computing the correct value of BB(4).<ref name="Skelet" /> | |||
https://bbchallenge.org/skelet | https://bbchallenge.org/skelet | ||
[[Category:Stub]] | [[Category:Stub]] | ||
Revision as of 10:28, 29 August 2024
Skelet's 43 holdouts are 43 different 5-state, 2-symbol machines made public by Skelet in 2003. These machines are derived from a set of 164 machines that were left undecided by Skelet's bbfind program, which classified all other 5-state, 2-symbol machines into either halting or non-halting.[1] Due to the length and lack of comments in bbfind's source code, Skelet's work is believed to not have been independently verified.[2] It is now known that all 43 of these holdouts do not halt.[3]
Other work done in bbfind includes computing the correct value of BB(4).[1]
https://bbchallenge.org/skelet
- ↑ 1.0 1.1 Skelet, "Busy Beaver prover" (2003). Accessed 29 August 2024.
- ↑ "Story" (section "Skelet's 43 undecided machines").
- ↑ "Skelet’s 43 machines".