Interesting that he had to travel 5 days by ship to cross the atlantic and then had to wait hours in quarantine/immigration only to be swindled by a taxi driver in new york. Reminds one how relatively recent air travel really is and how NY taxi drivers have always been crooks.<p>> Turing’s approach to the problem would be the solution that has endured, likely due to Church’s solution’s reliance on his so-called λ-calculus<p>So-called λ-calculus? Isn't that rather dismissive of λ-calculus. λ-calculus contributed not only to mathematics/computer science, but also, logic, linguistics, etc. Not to mention its practical contributions in many programming languages. And as long as the Church-Turing theorem endures, church's so-called λ-calculus will endure as well.<p>Interesting article nonetheless. I wonder if Turing's correspondences are available to the public online?
I don't know why but I'm always fascinated by quotidian details of the lives of people I admire; the excerpt about his being swindled by a taxi driver was marvelous.
> By the end of the war, it appears that Turing’s view of America and Americans had sufficiently soured to where he refused to return ever again<p>I read somewhere opposite, I do not remember source.<p>At that time he was forced to take strong medication and had his security clearance removed. He could only continue his work at US, but he was not allowed to immigrate due to criminal charges.