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

A 20-year-old UK undergrad proved it:<BR><BR>http://www.wolframscience.com/prizes/tm23/solved.html<BR><BR>http://blog.wolfram.com/2007/10/the_prize_is_won_the ...

The British mathematician and pioneer of computing Alan Turing published a paper in 1936 which described a Universal Machine, a theoretical model of a computer processor that would later become known ...

Quanta Magazine Articles on Turing machines In math and computer science, researchers have long understood that some questions are fundamentally unanswerable. Now physicists are exploring how even ...

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

With regard to my previous blog on a One-bit processor and a mega-cool Turing machine, I’ve been bouncing around the Internet discovering all sorts of cool things… But before we hurl ourselves ...

Alan Turing is one of the world’s best-known mathematicians, and probably the best known in the past century. This is partly for his work on cracking German codes in World War II, and partly for his ...