TY  - RPRT
TI  - A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
AU  - Adam Yedidia
AU  - Scott Aaronson
PY  - 2016
UR  - https://arxiv.org/abs/1605.04343
ID  - 1605.04343
ER  -