However at the same time he was also working on the death of pure mathematics, as bequeathed to him by Georg Cantor, Ludwig Boltzmann and Kurt Gödel.
And Alan's contribution was to try to avoid the incompleteness theorems on the computer he designed. Alan tried to make his computer conscious as a way of avoiding the death of pure mathematics. And this is where we get the Turing Test of 1950. But he failed, as everyone has failed since. He then injected an apple with cyanide and took a bite.
But what is interesting is that the four of them, Georg Cantor, Ludwig Boltzmann, Kurt Gödel and Alan Turing, all working on the same paradox, met a similar fate. They were rejected by their peers. They were subjected to ad hominem attacks and went mad or committed suicide or both.
This is the untold drama of pure mathematics.
This is Shakespearean in scope spanning two centuries with plenty of bodies on stage falling to a lethal paradox of pure mathematics.