Feeds

Happy Birthday, Turing's universal machine

Solving the unsolvable

Build a business case: developing custom apps

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

Securing Web Applications Made Simple and Scalable

More from The Register

next story
Asteroid's SHOCK DINO KILLING SPREE just bad luck - boffins
Sauricide WASN'T inevitable, reckon scientists
BEST BATTERY EVER: All lithium, all the time, plus a dash of carbon nano-stuff
We have found the Holy Grail (of batteries) - boffins
The Sun took a day off last week and made NO sunspots
Someone needs to get that lazy star cooking again before things get cold around here
Boffins discuss AI space program at hush-hush IARPA confab
IBM, MIT, plenty of others invited to fill Uncle Sam's spy toolchest, but where's Google?
Famous 'Dish' radio telescope to be emptied in budget crisis: CSIRO
Radio astronomy suffering to protect Square Kilometre Array
Bad back? Show some spine and stop popping paracetamol
Study finds common pain-killer doesn't reduce pain or shorten recovery
Forty-five years ago: FOOTPRINTS FOUND ON MOON
NASA won't be back any time soon, sadly
Jurassic squawk: Dinos were Earth's early FEATHERED friends
Boffins research: Ancient dinos may all have had 'potential' fluff
prev story

Whitepapers

Designing a Defense for Mobile Applications
Learn about the various considerations for defending mobile applications - from the application architecture itself to the myriad testing technologies.
Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Top 8 considerations to enable and simplify mobility
In this whitepaper learn how to successfully add mobile capabilities simply and cost effectively.
Seven Steps to Software Security
Seven practical steps you can begin to take today to secure your applications and prevent the damages a successful cyber-attack can cause.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.