Vol. 95, No. 1/2, The Contributions of Logic to the Foundations of Physics (June/July 2010), pp. 279-300 (22 pages) Earlier, we have studied computations possible by physical systems and by algorithms ...

This week we’ll venture in the realm of theory for a change, starting with Turing machines. In case some of you don’t know what a Turing machine is, here is the Wikipedia definition: “A theoretical ...

Editor’s note: Zavain Dar is an early-stage VC at Lux Capital and Lecturer at Stanford University. He invests and supports deep technology companies leveraging advancements in Artificial Intelligence, ...

While the invention of calculus by Newton and Leibniz in the 17th century set the stage for the so-called industrial revolution and unleashed unparalleled analytical power to fast-track human ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

Alan Turing is always in the news — for his place in science, but also for his 1952 conviction for having gay sex (illegal in Britain until 1967) and his suicide two years later. Former Prime Minister ...

A computer program named "Eugene Goostman" has convinced a third of human judges into thinking it is a 13-year-old boy, becoming the first machine to pass the Turing test, Hannah Furness of The ...

Such is Turing's legacy: that of a nested chain of pretenses, each pointing not to reality, but to the caricature of another idea, device, individual, or concept. It's hard to overestimate Alan Turing ...