Before revision: Similar claims about the implications of Gödel's theorem were originally espoused by Turing in the late 1940s (only in order to confute them) , by E. Nagel and J.R. Newman in 1958, and were subsequently popularized by the philosopher John Lucas of Merton College, Oxford in 1961.
After revision: Similar claims about the implications of Gödel's theorem were originally espoused by Turing in the late 1940s Citation needed, by the own Gödel in his 1951 Gibbs lecture , by E. Nagel and J.R. Newman in 1958, and were subsequently popularized by the philosopher John Lucas of Merton College, Oxford in 1961.