Alan Turing: Difference between revisions
imported>Sandy Harris No edit summary |
imported>Sandy Harris No edit summary |
||
| Line 4: | Line 4: | ||
He made large theoretical contributions to computer science in the 1930's, before any actual computers were built. He invented the [[Turing Machine]], a mathematical model of a computing system that is still widely used, and used it to solve the [[halting problem]], the computer science analog of [[Godel]]'s [[Incompleteness Theorem]]. This, together with work by [[Alonzo Church]], led to the [[Church-Turing Thesis]] about undecidability of certain questions, | He made large theoretical contributions to computer science in the 1930's, before any actual computers were built. He invented the [[Turing Machine]], a mathematical model of a computing system that is still widely used, and used it to solve the [[halting problem]], the computer science analog of [[Godel]]'s [[Incompleteness Theorem]]. This, together with work by [[Alonzo Church]], led to the [[Church-Turing Thesis]] about undecidability of certain questions, | ||
During the Second world War, Turing was one of the key codebreakers on the British [[ULTRA]] project which read many German codes throughout the war. | During the Second world War, Turing was one of the key codebreakers on the British [[ULTRA]] project which read many German codes throughout the war. He was deeply involved in mechanised attacks on the [[Enigma machine]] ciphers and was primarily responsible for breaking the four-rotor U-boat enigma. He also designed the Colossus machine — probably the first programmable digital computer — to break another important German cipher. | ||
After the war, Turing was involved in building one of the world's first digital computers at Manchester University. He also continued theoretical work and, in a 1950 paper titled "Computing Machinery and Intelligence" [http://loebner.net/Prizef/TuringArticle.html], he was among the first to ask "Can machines think?" As a partial answer, he proposed the [[Turing test]] for successful [[artificial intelligence]]. If a skeptic cannot distinguish a computer from a human by having a conversation with it, then he must admit the computer behaves intelligently. | After the war, Turing was involved in building one of the world's first civilian digital computers at Manchester University. He also continued theoretical work and, in a 1950 paper titled "Computing Machinery and Intelligence" [http://loebner.net/Prizef/TuringArticle.html], he was among the first to ask "Can machines think?" As a partial answer, he proposed the [[Turing test]] for successful [[artificial intelligence]]. If a skeptic cannot distinguish a computer from a human by having a conversation with it, then he must admit the computer behaves intelligently. | ||
Turing was homosexual and, after the war, was prosecuted for this and forced to undergo hormonal "therapy" for this "condition". | Turing was homosexual and, after the war, was prosecuted for this and forced to undergo hormonal "therapy" for this "condition". | ||
Revision as of 02:41, 18 October 2008
Alan Turing was a British mathematician, computer pioneer and computer scientist. He has been called "the father of computer science".
He made large theoretical contributions to computer science in the 1930's, before any actual computers were built. He invented the Turing Machine, a mathematical model of a computing system that is still widely used, and used it to solve the halting problem, the computer science analog of Godel's Incompleteness Theorem. This, together with work by Alonzo Church, led to the Church-Turing Thesis about undecidability of certain questions,
During the Second world War, Turing was one of the key codebreakers on the British ULTRA project which read many German codes throughout the war. He was deeply involved in mechanised attacks on the Enigma machine ciphers and was primarily responsible for breaking the four-rotor U-boat enigma. He also designed the Colossus machine — probably the first programmable digital computer — to break another important German cipher.
After the war, Turing was involved in building one of the world's first civilian digital computers at Manchester University. He also continued theoretical work and, in a 1950 paper titled "Computing Machinery and Intelligence" [1], he was among the first to ask "Can machines think?" As a partial answer, he proposed the Turing test for successful artificial intelligence. If a skeptic cannot distinguish a computer from a human by having a conversation with it, then he must admit the computer behaves intelligently.
Turing was homosexual and, after the war, was prosecuted for this and forced to undergo hormonal "therapy" for this "condition".
Turing died of poison, apparently suicide, in 1954.
Turing is commemorated in several ways:
- ACM Turing Award, the "Nobel Prize of computing", the highest technical award in the field [2]
- the Loebner Prize is given for progress toward passing the Turing test [3]
- Manchester University, Turing Lectures [4]
- Turing memorial in Manchester [5]
A fine biography is "Alan Turing: the enigma" by Andrew Hodges [6]. The author's web site [7] has additional Turing information.