Benedict Cumberbatch plays the famed computer scientist in "The Imitation Game." — -- Sixty years after his death, Alan Turing is back in the public eye. Turing, a British mathematician who ...

It is the height of the Second World War. A group of codebreakers stands in a dimly lit warehouse 50 miles northwest of London, a giant machine composed of spinning drums and wires looms in front of ...

A bio-pic presents something of a puzzle for the thoughtful moviegoer who wants to sort out facts from the fictions that inevitably arise when compressing an entire life into two dramatically coherent ...

A proof made public today illustrates that Stephen Wolfram's 2,3 Turing machine number 596440 is a universal Turing machine, and it has netted a University of Birmingham undergraduate $25,000. In 1936 ...

Turing machines were first proposed by British mathematician Alan Turing in 1936, and are a theoretical mathematical model of what it means for a system to "be a computer." At a high level, these ...

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

One hundred and fifty years of mathematics will be proved wrong if a new computer program stops running. Thankfully, it’s unlikely to happen, but the code behind it is testing the limits of the ...

On June 23, we commemorate the birth of Alan Mathison Turing, a visionary whose profound contributions laid the very groundwork for modern computing and artificial intelligence. Often hailed as the ...