A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory

Adam Yedidia, Scott Aaronson

Since the definition of the Busy Beaver function by Rado in 1962, an interesting open question has been the smallest value of n for which BB(n) is independent of ZFC set theory. Is…