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

Adam Yedidia, Scott Aaronson. A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory. Complex Systems, 25(4), 2016. [doi]

Abstract

Abstract is missing.