This Turing machine should run forever, unless our understanding of maths is flawed

by Fiona MacDonald, Science Alert

“Mathematicians have just designed a computer program that could prove the last 150 years of maths wrong if it ever stops running. That’s not likely to happen any time soon, but the very creation of the program is testing the limits of some of the fundamental problems upon which modern mathematics is built. It’s also an incredibly cool demonstration of how a machine Alan Turing came up with in 1936 continues to push the boundaries of maths.”

### Like this:

Like Loading...

*Related*