@misc{indiciae9361189c57bb,
  title = {A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory},
  author = {Adam Yedidia and Scott Aaronson},
  year = {2016},
  url = {https://arxiv.org/abs/1605.04343},
  note = {Source identifier: 1605.04343}
}