Incompleteness, Undecidability and Automated Proofs

https://declanthompson.github.io/publication/calude-incompleteness-2016/