1 paper · 1 filter
Gurpreet Tandi, Josue Gonzalez-Hendrix, Jonathan Brown
The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conject…