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 ...

The history of digital computing can be divided into an old testament and a new testament. The prophets of the old testament, led by Gottfried Wilhelm Leibniz in the 1670s, supplied the logic; those ...

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random ...

Though as with so many independent inventors the origins of computing can be said to have been arrived at through the work of many people, Alan Turing is certainly one of the foundational figures in ...

Vice reports that scientists have created the first known “chemical Turing machine,” meaning a liquid that can do the calculations that define a classic computer science standard. Juan Pérez-Mercader ...