collaborators

1 paper

math.CO2024

Skelet #17 and the fifth Busy Beaver number

Chris Xu

We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy B…