src.bib

@article{turing1937computable,
  title={On computable numbers, with an application to the {Entscheidungsproblem}},
  author={Turing, Alan Mathison},
  journal={Proceedings of the London Mathematical Society},
  volume={2},
  number={1},
  pages={230--265},
  year={1937},
  publisher={Wiley Online Library}
}
@article{church1936unsolvable,
  title={An unsolvable problem of elementary number theory},
  author={Church, Alonzo},
  journal={American Journal of Mathematics},
  volume={58},
  number={2},
  pages={345--363},
  year={1936},
  publisher={JSTOR}
}
@article{post1946variant,
  title={A variant of a recursively unsolvable problem},
  author={Post, Emil L},
  journal={Bulletin of the American Mathematical Society},
  volume={52},
  number={4},
  pages={264--268},
  year={1946}
}
@article{post1947recursive,
  title={Recursive unsolvability of a problem of {Thue}},
  author={Post, Emil L},
  journal={The Journal of Symbolic Logic},
  volume={12},
  number={01},
  pages={1--11},
  year={1947},
  publisher={Cambridge Univ Press}
}
@article{rado1962non,
  title={On Non-Computable Functions},
  author={Rado, Tibor},
  journal={Bell System Technical Journal},
  volume={41},
  number={3},
  pages={877--884},
  year={1962},
  publisher={Wiley Online Library}
}
@incollection{davis2004myth,
  title={The myth of hypercomputation},
  author={Davis, Martin},
  booktitle={{Alan Turing}: Life and legacy of a great thinker},
  pages={195--211},
  year={2004},
  publisher={Springer}
}