{"id":"arxiv/2605.20215","url":"https://arxiv.org/abs/2605.20215","tags":["cs.CC","cs.LO","math.LO","math.NT"],"score":0,"title":"Measuring Decidability as Related to Busy Beaver Numbers","domain":"cs.CC","source":"arxiv","authors":["Gurpreet Tandi","Josue Gonzalez-Hendrix","Jonathan Brown"],"reviews":0,"subject":"cs.CC","summary":"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 conjecture can be modeled gives a classification of what logic system can describe said conjecture. In this work, we construct explicit Turing machines that search for a solution to Brocard's problem greater than 7 and a Fermat prime beyond the 4th which halt if and only if such a solution exists.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}