Errr, Alonzo Church solved it first, Turing followed .. and both of their independent methods were heavily based upon similar earlier work by Kurt Gödel, with Church also incorporating ideas from Stephen Kleene.
There is no doubt that Turing was bright, very bright indeed, but next you'll be claiming he cracked the Enigma Code or something.
There is no doubt that Turing was bright, very bright indeed, but next you'll be claiming he cracked the Enigma Code or something.