Before revision: Similar claims about the implications of Gödel's theorem were originally espoused by Turing in the late 1940s, 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.
After revision: Similar claims about the implications of Gödel's theorem were originally espoused by Turing in the late 1940s, by himself 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.