Computer Scientist: ALAN TURING

While addressing a problem in the arcane field of mathematical logic, he imagined a machine that could mimic human reasoning. Sound familiar?

If all Alan Turing had done was answer, in the negative, a vexing question in the arcane realm of mathematical logic, few nonspecialists today would have any reason to remember him. But the method Turing used to show that certain propositions in a closed logical system cannot be proved within that system--a corollary to the proof that made Kurt Godel famous--had enormous consequences in the world at large. For what this eccentric young Cambridge don did was to dream up an imaginary machine--a fairly simple typewriter-like contraption capable somehow of scanning, or reading, instructions encoded on a tape of theoretically infinite...

Want the full story?

Subscribe Now

Subscribe
Subscribe

Get TIME the way you want it

  • One Week Digital Pass — $4.99
  • Monthly Pay-As-You-Go DIGITAL ACCESS$2.99
  • One Year ALL ACCESSJust $30!   Best Deal!
    Print Magazine + Digital Edition + Subscriber-only Content on TIME.com

Learn more about the benefits of being a TIME subscriber

If you are already a subscriber sign up — registration is free!