Feeds

Happy Birthday, Turing's universal machine

Solving the unsolvable

Beginner's guide to SSL certificates

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

Internet Security Threat Report 2014

More from The Register

next story
FORGET the CLIMATE: FATTIES are a MUCH BIGGER problem - study
Fat guy? Drink or smoke? You're worse than a TERRORIST
Renewable energy 'simply WON'T WORK': Top Google engineers
Windmills, solar, tidal - all a 'false hope', say Stanford PhDs
Rosetta probot drilling DENIED: Philae has its 'LEG in the AIR'
NOT best position for scientific fulfillment
SEX BEAST SEALS may be egging each other on to ATTACK PENGUINS
Boffin: 'I think the behaviour is increasing in frequency'
HUMAN DNA 'will be FOUND ON MOON' – rocking boffin Brian Cox
Crowdfund plan to stimulate Blighty's space programme
Post-pub nosh neckfiller: The MIGHTY Scotch egg
Off to the boozer? This delicacy might help mitigate the effects
I'M SO SORRY, sobs Rosetta Brit boffin in 'sexist' sexy shirt storm
'He is just being himself' says proud mum of larger-than-life physicist
NASA launches new climate model at SC14
75 days of supercomputing later ...
LIFE, JIM? Comet probot lander found 'ORGANICS' on far-off iceball
That's it for God, then – if Comet 67P has got complex molecules
prev story

Whitepapers

Choosing cloud Backup services
Demystify how you can address your data protection needs in your small- to medium-sized business and select the best online backup service to meet your needs.
Forging a new future with identity relationship management
Learn about ForgeRock's next generation IRM platform and how it is designed to empower CEOS's and enterprises to engage with consumers.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
Managing SSL certificates with ease
The lack of operational efficiencies and compliance pitfalls associated with poor SSL certificate management, and how the right SSL certificate management tool can help.
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.