Feeds

Happy Birthday, Turing's universal machine

Solving the unsolvable

High performance access to file storage

It's just 71 years ago this month that a seminal paper from Alan Turing was published, which helped pave the way to today's multi-billion dollar IT industry and confer on Turing the title of father of modern computer science.

As is often the case in scientific endeavour, Turing was actually working on an entirely different task when he stumbled on a way to create a general-purpose computer.

The paper that encapsulated this machine? On Computable Numbers with an Application to the Entscheidungsproblem.

The Entscheidungsproblem - which translated from German literally means "decision problem" - referred to a mathematical challenge laid down by German mathematician David Hilbert.

The Entscheidungsproblem goes to the very heart of Hilbert's thoughts on the nature of mathematics. At the start of the twentieth century deep questions were being asked about science and the tools used to think about scientific problems. In the same way that Einstein's work had challenged orthodox views of physics, so Hilbert and others questioned mathematics.

Hilbert posed three fundamental questions: is mathematics "complete", is it "consistent," and - the Entscheidungsproblem - is it "decidable". The first two were answered - negatively - in 1931 by the Austrian mathematician Kurt Godel.

Turing scuppered Hilbert's final question with his 1937 paper although the American mathematician Alonzo Church - later Turing's professor at Princeton - came up with a similar negative analysis a year earlier. The two approaches are generally combined as the Church-Turing Theorem.

Turing's real insight was, of course, the concept of a "Universal (or Turing) machine." He conceived the Universal Machine as a way to demonstrate that it was impossible to solve the Entscheidungsproblem.

But he had also stumbled on what was effectively the blue print for a general-purpose computer and this almost certainly justifies his status as the founder of modern computing.

Copies of Turing's original paper are available online both in facsimile and in text form. ®

High performance access to file storage

More from The Register

next story
Red-faced LOHAN team 'fesses up in blown SPEARS fuse fiasco
Standing in the corner, big pointy 'D' hats
KILLER SPONGES menacing California coastline
Surfers are safe, crustaceans less so
LOHAN's Punch and Judy show relaunches Thursday
Weather looking good for second pop at test flights
Discovery time for 200m WONDER MATERIALS shaved from 4 MILLENNIA... to 4 years
Alloy, Alloy: Boffins in speed-classification breakthrough
Curiosity finds not-very-Australian-shaped rock on Mars
File under 'messianic pastries' and move on, people
Elon Musk's LEAKY THRUSTER gas stalls Space Station supply run
Helium seeps from Falcon 9 first stage, delays new legs for NASA robonaut
Top Secret US payload launched into space successfully
Clandestine NRO spacecraft sets off on its unknown mission
Get your MOON GEAR: Auction to feature Space Race memorabilia
Keepsakes from early NASA, Soviet programs up for bids
New FEMTO-MOON sighted BIRTHING from Saturn's RING
Icy 'Peggy' looks to be leaving the outer rings
prev story

Whitepapers

Securing web applications made simple and scalable
In this whitepaper learn how automated security testing can provide a simple and scalable way to protect your web applications.
Five 3D headsets to be won!
We were so impressed by the Durovis Dive headset we’ve asked the company to give some away to Reg readers.
HP ArcSight ESM solution helps Finansbank
Based on their experience using HP ArcSight Enterprise Security Manager for IT security operations, Finansbank moved to HP ArcSight ESM for fraud management.
The benefits of software based PBX
Why you should break free from your proprietary PBX and how to leverage your existing server hardware.
Mobile application security study
Download this report to see the alarming realities regarding the sheer number of applications vulnerable to attack, as well as the most common and easily addressable vulnerability errors.