Turing, Alan

From New World Encyclopedia
 
 
(46 intermediate revisions by 8 users not shown)
Line 1: Line 1:
{{Infobox Biography
+
{{Copyedited}}{{Paid}}{{Approved}}{{Images OK}}{{Submitted}}
| subject_name  = Alan Turing
+
{{epname|Turing, Alan}}
| image_name    = Alan Turing.jpg
+
[[File:AlanTuring-Bletchley.jpg|right|thumb|200px|Alan Turing Statue, on display at Bletchley Park]]
| image_size    = 220x242px
+
'''Alan Mathison Turing''' (June 23, 1912 June 7, 1954) was an [[England|English]] [[mathematics|mathematician]], [[logic|logician]], cryptographer and one of the originators of modern [[computer science]]. In 1936, Turing developed the concept of “Turing machines,” theoretical devices that could mechanically perform mathematical computations by following a specific table of instructions. Turing machines formalized the concept of the [[algorithm]] and helped to determine the limits of computability in mathematical functions (Church–Turing thesis). The concept of a “universal Turing machine” which could incorporate the functions of numerous lesser Turing machines laid the groundwork for computer programming.
| image_caption  =
 
| date_of_birth  = [[June 23]], [[1912]]
 
| place_of_birth = [[London]], [[England]]
 
| date_of_death  = [[June 7]], [[1954]]
 
| place_of_death =
 
| occupation    = [[Mathematician]], [[Logician]], [[Cryptographer]]
 
| spouse        =
 
| parents        = Julius Mathison Turing, Ethel Stoney Turing
 
| children      =
 
}}
 
'''Alan Mathison Turing''', [[Order of the British Empire|OBE]] ([[June 23]], [[1912]] – [[June 7]], [[1954]]), was an [[England|English]] [[mathematician]], [[logician]], and [[cryptographer]].  
 
  
Turing is often considered to be the father of modern [[computer science]]. Turing provided an influential formalisation of the concept of the [[algorithm]] and computation with the [[Turing machine]], formulating the now widely accepted "Turing" version of the [[Church–Turing thesis]], namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the [[Turing test]], he made a significant and characteristically provocative contribution to the debate regarding [[artificial intelligence]]: whether it will ever be possible to say that a machine is [[consciousness|conscious]] and can [[thought|think]]. He later worked at the [[National Physical Laboratory, UK|National Physical Laboratory]], creating one of the first designs for a stored-program computer, although it was never actually built. In 1947 he moved to the [[Victoria University of Manchester|University of Manchester]] to work, largely on software, on the [[Manchester Mark I]], then emerging as one of the world's earliest true computers.
+
During [[World War II]], Turing worked at Bletchley Park, Britain's codebreaking center, and was for a time head of Hut 8, the section responsible for [[Germany|German]] naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the “bombe,” an electromechanical machine that could detect the settings for the German “Enigma” code machine.
 +
{{toc}}
 +
In 1950, Turing published an article, "Computing Machinery and Intelligence" (''Mind'', October 1950), proposing that it was possible for a computer to simulate all the processes of human intelligence, and suggesting the “Turing test” to determine the intelligence of a machine. He worked at the National Physical Laboratory in England, creating one of the first designs for a stored-program computer, although it was never actually built. In 1947 he moved to the University of Manchester to work on software for the Manchester Mark I, one of the world's earliest true computers.
  
During the [[Second World War]], Turing worked at [[Bletchley Park]], Britain's [[cryptanalysis|codebreaking]] centre, and was for a time head of [[Hut 8]], the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the [[bombe]], an electromechanical machine that could find settings for the [[Enigma machine]].
+
==Life==
 +
=== Childhood and Youth ===
 +
Turing was conceived in 1911 in Chatrapur, [[India]]. His father, Julius Mathison Turing, was a member of the Indian civil service. Julius and his wife Sara (''née'' Stoney) wanted Alan to be brought up in [[England]], so they returned to Maida Vale, [[London]], where Turing was born June 23, 1912, as recorded by a blue plaque on the outside of the building, now the Colonnade Hotel.<ref>Andrew Hodges, ''Alan Turing: The Enigma'' (New York: Simon & Schuster, 1983, ISBN 0671492071), 5.</ref><ref name=scrapbook>Andrew Hodges, [http://www.turing.org.uk/turing/scrapbook/memorial.html The Alan Turing Internet Scrapbook,] The Alan Turing Home Page. Retrieved July 27, 2007.</ref> His father's civil service commission was still active, and during Turing's childhood his parents traveled between Guildford, England and India, leaving their two sons to stay with friends in England, rather than risk their health in the British colony. Very early in life, Turing showed signs of the genius he was to display more prominently later. He is said to have taught himself to read in three weeks, and to have shown an early affinity for numbers and puzzles.
  
In 1952, Turing was convicted of "acts of gross indecency" after admitting to a sexual relationship with a man in Manchester. He was placed on probation and required to undergo [[hormone therapy]]. Turing died after eating an apple laced with [[cyanide]] in 1954. His death was ruled as suicide.
+
His parents enrolled him at St. Michael's, a day school, at the age of six. The headmistress recognized his genius immediately, as did many of his subsequent educators. In 1926, at the age of 14, he went on to Sherborne School in Dorset. His first day of term coincided with a transportation strike in England; he was so determined to attend his first day at Sherborne that he rode his bike unaccompanied more than sixty miles from Southampton to the school, stopping overnight at an inn and making headlines in the local press.
  
== Childhood and youth ==
+
Turing's natural inclination toward mathematics and science did not earn him the respect of his teachers at Sherborne, a famous and expensive British public school, whose concept of education placed more emphasis on the classics than on science. His headmaster wrote to his parents: "I hope he will not fall between two schools. If he is to stay at public school, he must aim at becoming ''educated''. If he is to be solely a ''Scientific Specialist'', he is wasting his time at a public school."<ref>Hodges 1983, 26.</ref>
Turing was conceived in 1911 in Chatrapur, [[India]]. His father, Julius Mathison Turing, was a member of the [[Indian civil service]]. Julius and wife Sara (''née'' Stoney) wanted Alan to be brought up in [[England]], so they returned to [[Maida Vale]]<ref>[http://www.english-heritage.org.uk/server/show/nav.001002006005/chooseLetter/T "English heritage Blue Plaques- Alan Turing"]</ref>, [[London]], where Alan Turing was born June 23, 1912, as recorded by a [[blue plaque]] on the outside of the building, now the Colonnade Hotel.<ref>Hodges, 1983, p. 5</ref><ref>{{cite web | url=http://www.turing.org.uk/turing/scrapbook/memorial.html | title=The Alan Turing Internet Scrapbook | accessdate=2006-09-26}}</ref> His father's civil service commission was still active, and during Turing's childhood years his parents travelled between [[Guildford]], England and India, leaving their two sons to stay with friends in England, rather than risk their health in the British colony. Very early in life, Turing showed signs of the genius he was to display more prominently later. He is said to have taught himself to read in three weeks, and to have shown an early affinity for numbers and puzzles.
 
  
His parents enrolled him at St Michael's, a day school, at the age of six. The headmistress recognised his genius early on, as did many of his subsequent educators. In 1926, at the age of 14, he went on to [[Sherborne School]] in [[Dorset]]. His first day of term coincided with a [[general strike]] in England, and so determined was he to attend his first day that he rode his bike unaccompanied more than 60 miles from [[Southampton]] to school, stopping overnight at an inn — a feat reported in the local press.
+
Turing continued to show remarkable ability in the studies he loved, solving advanced problems in 1927 without having even studied elementary calculus. In 1928, at the age of sixteen, Turing encountered [[Albert Einstein]]'s work; not only did he grasp it, but he extrapolated Einstein's questioning of [[Isaac Newton]]'s laws of motion from a text in which this was never made explicit.
  
Turing's natural inclination toward mathematics and science did not earn him respect with the teachers at Sherborne, a famous and expensive [[public school (England)|public school]], whose definition of education placed more emphasis on the [[classics]]. His headmaster wrote to his parents: "I hope he will not fall between two schools. If he is to stay at public school, he must aim at becoming ''educated''. If he is to be solely a ''Scientific Specialist'', he is wasting his time at a public school".<ref>Hodges, 1983, p. 26</ref>
+
Turing was encouraged at school by a friend, Christopher Morcom, who unfortunately died suddenly only a few weeks into their last term at Sherborne, from complications of bovine [[tuberculosis]].
  
Despite this, Turing continued to show remarkable ability in the studies he loved, solving advanced problems in 1927 without having even studied elementary [[calculus]]. In 1928, aged 16, Turing encountered [[Albert Einstein]]'s work; not only did he grasp it, but he extrapolated Einstein's questioning of [[Newton's laws of motion]] from a text in which this was never made explicit.
+
=== University and His Work on Computability ===
 +
[[Image:KingsCollegeChapel.jpg|thumb|320px|The computer room at King's College, Cambridge, is now named after Turing, who became a student there in 1931 and a fellow in 1935]]
 +
Turing failed to win a scholarship to Trinity College, [[University of Cambridge|Cambridge]], because he was unwilling to work as hard on his classical studies as on science and mathematics. Instead he became an undergraduate at the college of his second choice, King's College, Cambridge from 1931 to 1934, graduating with a distinguished degree, and in 1935 was elected a fellow at King's on the strength of a dissertation on the Gaussian error function.
  
[[Image:KingsCollegeChapel.jpg|thumb|320px|The computer room at King's is now named after Turing, who became a student there in 1931 and a Fellow in 1935.]]
+
In his momentous paper "On Computable Numbers, with an Application to the Entscheidungsproblem" (submitted on May 28, 1936), Turing proposed what are now called “Turing machines,” formal and simple devices which could perform any conceivable mathematical function if it were representable as an algorithm (Turing machines are still the central object of study in theory of computation). He went on to prove that there was no solution to the ''Entscheidungsproblem'' by showing that it is not possible to decide algorithmically whether a given Turing machine will ever halt. While his proof was published subsequent to [[Alonzo Church]]'s equivalent proof in respect to his ''lambda calculus'', Turing's work was considerably more accessible and intuitive.  
  
Turing's hopes and ambitions at school were raised by his strong feelings for his friend Christopher Morcom, with whom he fell in love, though the feeling was not reciprocated. Morcom died suddenly only a few weeks into their last term at Sherborne, from complications of [[bovine]] [[tuberculosis]], contracted after drinking infected cow's milk as a boy.
+
Turing spent most of 1937 and 1938 at [[Princeton University]], studying under Alonzo Church. In 1938 he obtained his Ph.D. from Princeton; his dissertation introduced the notion of relative computing, in which Turing machines are augmented with so-called "oracles," functions that perform operations outside of the machine, such as intuitive judgments made by a human mathematician, allowing a study of problems that cannot be solved by a Turing machine.
  
== University and his work on computability ==
+
Back in Cambridge in 1939, Turing attended lectures by [[Ludwig Wittgenstein]] about the foundations of mathematics.<ref>Hodges 1983, 152.</ref> The two argued and disagreed, with Turing defending formalism, and Wittgenstein arguing that mathematics is overvalued and does not discover any absolute truths.<ref>Hodges 1983, 153-154.</ref>
Turing's unwillingness to work as hard on his classical studies as on science and mathematics meant he failed to win a scholarship to [[Trinity College, Cambridge]], and went on to the college of his second choice, [[King's College, Cambridge]]. He was an undergraduate from 1931 to 1934, graduating with a distinguished degree, and in 1935 was elected a fellow at King's on the strength of a dissertation on the Gaussian [[error function]].
 
  
[[Image:Turingbus.jpg|left|thumb|320px|Alan Turing, on the steps of the bus, with members of the Walton Athletic Club, 1946.]]
+
=== Cryptanalysis ===
In his momentous paper "On Computable Numbers, with an Application to the ''[[Entscheidungsproblem]]''" (submitted on May 28, 1936), Turing reformulated [[Kurt Gödel]]'s 1931 results on the limits of proof and computation, substituting Gödel's universal arithmetic-based formal language by what are now called [[Turing machine]]s, formal and simple devices. He proved that such a machine would be capable of performing any conceivable mathematical problem if it were representable as an [[algorithm]], even if no actual Turing machine would be likely to have practical applications, being much slower than alternatives.
+
[[Image:Turing_flat.jpg|thumb|250px|Two cottages in the stable yard at Bletchley Park. Turing worked here from 1939–1940 until he moved to Hut 8]]
 +
During [[World War II]], Turing was an important participant in the British efforts at Bletchley Park to break German ciphers. Building on cryptanalysis work carried out in Poland before the war, he contributed several insights into breaking both the German Enigma machine and the Lorenz SZ 40/42 (a teletype cipher attachment codenamed "Tunny" by the British), and was, for a time, head of Hut 8, the section responsible for reading German naval signals.
  
Turing machines are to this day the central object of study in [[computation|theory of computation]]. He went on to prove that there was no solution to the ''[[Entscheidungsproblem]]'' by first showing that the [[halting problem]] for Turing machines is [[undecidable]]: it is not possible to decide algorithmically whether a given Turing machine will ever halt. While his proof was published subsequent to [[Alonzo Church]]'s equivalent proof in respect to his [[lambda calculus]], Turing's work is considerably more accessible and intuitive. It was also novel in its notion of a "Universal (Turing) Machine", the idea that such a machine could perform the tasks of any other machine. The paper also introduces the notion of [[definable number]]s.
+
Since September 1938, Turing had been working part-time for the Government Code and Cypher School (GCCS), the British codebreaking organization. He worked on the problem of the German “Enigma” machine, and collaborated with Dilly Knox, a senior GCCS codebreaker.<ref>Jack Copeland, "Colossus and the Dawning of the Computer Age," in ''Action This Day'' (2001), 352.</ref> On September 4, 1939, the day after Britain declared war on Germany, Turing reported to Bletchley Park, the wartime station of GCCS.<ref name="copeland378">B. Jack Copeland (ed.), ''Colossus: The Secrets of Bletchley Park's Codebreaking Computers'' (New York: Oxford University Press, 2006, ISBN 019284055X), 378.</ref>
  
Most of 1937 and 1938 he spent at [[Princeton University]], studying under Alonzo Church. In 1938 he obtained his [[Doctor of Philosophy|Ph.D.]] from Princeton; his dissertation introduced the notion of relative computing where Turing machines are augmented with so-called [[oracle machine|oracles]], allowing a study of problems that cannot be solved by a Turing machine.
+
===The Turing-Welchman Bombe===
 +
[[Image:Bombe-rebuild.jpg|thumbnail|300px|Replica of a bombe machine]]
 +
Within weeks of arriving at Bletchley Park,<ref name="copeland378"/> Turing had devised an electromechanical machine which could help break Enigma: the bombe, named after the Polish-designed ''bomba''. The bombe, with an enhancement suggested by mathematician Gordon Welchman, became the primary tool used to read Enigma traffic.
 +
 
 +
The bombe searched for the correct settings of the Enigma rotors, and required a suitable "crib," a piece of matching plaintext and ciphertext. For each possible setting of the rotors, the bombe performed a chain of logical deductions based on the crib, implemented electrically. The bombe detected when a contradiction had occurred, and ruled out that setting, moving onto the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. Turing's first bombe was installed on March 18, 1940.<ref>Hodges 1983, 191.</ref> By the end of the war, over two hundred bombes were in operation.
 +
 
 +
===Hut 8 and Naval Enigma===
 +
In December 1940, Turing solved the naval Enigma indicator system, which was more complex than the indicator systems used by the other services. Turing also invented a Bayesian statistical technique termed "Banburismus" to assist in breaking Naval Enigma. Banburismus could rule out certain orders of the Enigma rotors, reducing time needed to test settings on the bombes.
 +
 
 +
In the spring of 1941, Turing proposed marriage to a Hut 8 coworker, Joan Clarke, but the engagement was broken off by mutual agreement during the summer.
 +
 
 +
In July 1942, Turing devised a technique termed ''Turingismus'' or ''Turingery'' for use against the "Fish" Lorenz cipher. He also introduced the Fish team to Tommy Flowers, who went on to design the Colossus computer.<ref>Copeland 2006, 72.</ref> It is a frequent misconception that Turing was a key figure in the design of Colossus; this was not the case.<ref>Copeland 2006, 382-383.</ref>
 +
 
 +
In November 1942, Turing traveled to the [[United States]] and worked with U.S. Navy cryptanalysts on Naval Enigma and bombe construction in [[Washington, D.C.]], and assisted at Bell Labs with the development of secure speech devices. He returned to Bletchley Park in March 1943. During his absence, Conel Hugh O'Donel Alexander had officially assumed the position of head of Hut 8. Alexander had been ''de facto'' head for some time, Turing having little interest in the day-to-day running of the section. Turing became a general consultant for cryptanalysis at Bletchley Park.
 +
 
 +
In the latter part of the war, teaching himself electronics at the same time, Turing undertook (assisted by engineer Donald Bayley) the design of a portable machine codenamed ''Delilah'' to allow secure voice communications. Intended for different applications, Delilah lacked capability for use with long-distance radio transmissions, and was completed too late to be used in the war. Though Turing demonstrated it to officials by encrypting/decrypting a recording of a speech by [[Winston Churchill]], Delilah was not adopted for use by the military.
 +
 
 +
In 1945, Turing was awarded the Order of the British Empire for his wartime services, but his work remained secret for many years. A biography published by the Royal Society shortly after his death recorded:
 +
 
 +
<blockquote>Three remarkable papers written just before the war, on three diverse mathematical subjects, show the quality of the work that might have been produced if he had settled down to work on some big problem at that critical time. For his work at the Foreign Office he was awarded the OBE.<ref>M. H. A. Newman, “Alan Mathison Turing,” ''Biographical Memoirs of Fellows of the Royal Society'', vol. 1 (The Royal Society, 1955), 254.</ref></blockquote>
  
Back in Cambridge in 1939, he attended lectures by [[Ludwig Wittgenstein]] about the [[foundations of mathematics]].<ref>Hodges, 1983, p. 152</ref> The two argued and disagreed, with Turing defending [[formalism]] and Wittgenstein arguing that mathematics is overvalued and does not discover any absolute truths.<ref>Hodges, 1983, p. 153-154</ref>
+
=== Early Computers and the Turing Test ===
 +
Turing achieved world-class marathon standards of his era. His best time of 2 hours, 46 minutes, 3 seconds, was only 11 minutes slower than the winner in the 1948 Summer Olympics.<ref>Lucy Sherriff, [http://www.theregister.co.uk/2004/10/29/turing_statue_surrey "Turing honoured with bronze statue,"] ''The Register'' (October 29, 2004). Retrieved July 27, 2007.</ref><ref name=scrapbook /><ref>"Athletics: Marathon and Decathlon Championships," ''The Times'' (August 25, 1947).</ref>
 +
From 1945 to 1947 Turing was at the National Physical Laboratory, where he worked on the design of the Automatic Computing Engine (ACE). In a paper given on February 19, 1946, he presented the first complete design of a stored-program computer in Britain. Although he succeeded in designing the ACE, there were delays in starting the project and Turing became disillusioned. In late 1947, he returned to Cambridge for a sabbatical year. While he was at Cambridge, ACE was completed in his absence and executed its first program on May 10, 1950.
  
== Cryptanalysis ==
+
In 1949 Turing became deputy director of the computing laboratory at University of Manchester, and worked on software for one of the earliest true computers, the Manchester Mark I. During this time he continued to do more abstract work, and in "Computing Machinery and Intelligence" (''Mind'', October 1950), Turing addressed the problem of [[artificial intelligence]], and proposed an experiment now known as the Turing test, an attempt to define a standard by which a machine could be called "sentient."
[[Image:Turing_flat.jpg|thumb|240px|Two cottages in the stable yard at Bletchley Park. Turing worked here from 1939–1940 until he moved to Hut 8.]]
 
During the [[Second World War]], Turing was a main participant in the efforts at [[Bletchley Park]] to break German ciphers. Building on cryptanalysis work carried out in Poland before the war, he contributed several insights into breaking both the [[Enigma machine]] and the [[Lorenz SZ 40/42]] (a teletype cipher attachment codenamed "Tunny" by the British), and was, for a time, head of Hut 8, the section responsible for reading German naval signals.
 
  
Since September 1938, Turing had been working part-time for the [[Government Code and Cypher School]] (GCCS), the British codebreaking organisation. He worked on the problem of the German Enigma machine, and collaborated with [[Dilly Knox]], a senior GCCS codebreaker.<ref>Jack Copeland, "Colossus and the Dawning of the Computer Age", p. 352 in ''Action This Day'', 2001</ref> On [[4 September]] [[1939]], the day after Britain declared war on Germany, Turing reported to [[Bletchley Park]], the wartime station of GCCS.<ref name="copeland378">Copeland, 2006, p. 378</ref>
+
In 1948, Turing, working with his former undergraduate colleague, D. G. Champernowne, began writing a chess program for a computer that did not yet exist. In 1952, lacking a computer powerful enough to execute the program, Turing played a game in which he simulated the computer, taking about half an hour per move. The game<ref>Chessgame.com, [http://www.chessgames.com/perl/chessgame?gid=1356927 Alan Turing vs Alick Glennie]. Retrieved July 27, 2007.</ref> was recorded; the program lost to Turing's colleague Alick Glennie, although it is said that it won a game against Champernowne's wife.
  
===The Turing-Welchman bombe===
+
=== Pattern Formation and Mathematical Biology ===
[[Image:Bombe-rebuild.jpg|thumbnail|300px|Replica of a bombe machine]]
+
From 1952 until his death in 1954, Turing worked on mathematical biology, specifically [[morphogenesis]]. He published a paper on the subject called "The Chemical Basis of Morphogenesis" in 1952, putting forth the Turing hypothesis of pattern formation.<ref>Max Planck Society, [http://www.sciencedaily.com/releases/2006/11/061128093244.htm “Control Mechanism For Biological Pattern Formation Decoded,”] ''ScienceDaily'' (November 30, 2006). Retrieved July 27, 2007.</ref>His central interest in the field was understanding Fibonacci phyllotaxis, the existence of Fibonacci numbers in plant structures. He used reaction-diffusion equations which are now central to the field of pattern formation. Later papers went unpublished until 1992 when ''Collected Works of A.M. Turing'' was published.
Within weeks of arriving at Bletchley Park,<ref name="copeland378"/> Turing had devised an electromechanical machine which could help break Enigma: the [[bombe]], named after the Polish-designed ''[[Bomba (cryptography)|bomba]]''. The bombe, with an enhancement suggested by mathematician [[Gordon Welchman]], became the primary tool used to read Enigma traffic.
 
  
The bombe searched for the correct settings of the Enigma rotors, and required a suitable "[[crib (cryptanalysis)|crib]]": a piece of matching [[plaintext]] and [[ciphertext]]. For each possible setting of the rotors, the bombe performed a chain of logical deductions based on the crib, implemented electrically. The bombe detected when a contradiction had occurred, and ruled out that setting, moving onto the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. Turing's bombe was first installed on [[18 March]] [[1940]].<ref>Hodges, 1983, p. 191</ref> Over 200 bombes were in operation by the end of the war.{{Fact|date=February 2007}}
+
=== Prosecution for Homosexual Acts and Death===
 +
Turing was a [[homosexuality|homosexual]] during a period when homosexual acts were illegal in England and homosexuality was regarded as a mental illness. In 1952, Arnold Murray, a 19-year-old recent acquaintance of his<ref>Hodges, 449-455.</ref> helped an accomplice to break into Turing's house, and Turing went to the police to report the crime. As a result of the police investigation, Turing acknowledged a relationship with Murray, and they were charged with gross indecency under Section 11 of the Criminal Law Amendment Act of 1885. Turing was unrepentant and was convicted. He was given a choice between imprisonment or undergoing hormonal treatment. In order to avoid going to jail, he accepted the estrogen hormone injections, which lasted for a year, with side effects including the development of breasts. His conviction led to a removal of his security clearance and prevented him from continuing consultancy for General Command Headquarters on cryptographic matters.
  
===Hut 8 and Naval Enigma===
+
In 1954, Turing died of [[cyanide]] poisoning at the age of 41, apparently from a cyanide-laced [[apple]] found half-eaten by his bedside. The apple itself was never tested for contamination with cyanide, and cyanide poisoning as a cause of death was established by a post-mortem. Most believe that his death was intentional, and the death was ruled a [[suicide]], but his mother insisted that the ingestion an accident due to his careless storage of laboratory chemicals.<ref>Hodges 1983, 488-489.</ref> The possibility of assassination has also been suggested;<ref>Jim Holt, [http://www.newyorker.com/archive/2006/02/06/060206crbo_books “Code-Breaker: The life and death of Alan Turing,”] ''The New Yorker'' (February 6, 2006). Retrieved April 17, 2007.</ref> at that time Turing's homosexuality would have been perceived as a security risk.
In December 1940, Turing solved the naval Enigma indicator system, which was more complex than the indicator systems used by the other services. Turing also invented a [[Bayesian]] statistical technique termed "[[Banburismus]]" to assist in breaking Naval Enigma. Banburismus could rule out certain orders of the Enigma rotors, reducing time needed to test settings on the bombes.
 
  
In the spring of 1941, Turing proposed marriage to Hut 8 co-worker [[Joan Clarke]], although the engagement was broken off by mutual agreement in the summer.
+
=== Posthumous Recognition ===
 +
[[Image:Alan Turing Memorial Closer.jpg|left|thumbnail|200px|Alan Turing memorial statue in Sackville Park]]
 +
Since 1966, the Turing Award has been given annually by the Association for Computing Machinery to a person for technical contributions to the computing community. Various tributes to Turing have been made in Manchester, the city where he worked towards the end of his life. In 1994 a stretch of the Manchester city inner ring road was named Alan Turing Way and a statue of Turing was unveiled in Manchester on June 23, 2001 in Sackville Park.  
  
In July 1942, Turing devised a technique termed ''Turingismus'' or ''Turingery'' for use against the "Fish" Lorenz cipher. He also introduced the Fish team to [[Tommy Flowers]], who went on to design the [[Colossus computer]].<ref>Copeland, 2006, pp. 72</ref> A frequent misconception is that Turing was a key figure in the design of Colossus; this was not the case.<ref>Copeland, 2006, pp. 382-383</ref>
+
A celebration of Turing's life and achievements arranged by the British Logic Colloquium and the British Society for the History of Mathematics was held on June 5, 2004, at the University of Manchester, and the Alan Turing Institute was initiated in the university that summer.
  
Turing travelled to the United States in November 1942 and worked with US Navy cryptanalysts on Naval Enigma and bombe construction in Washington, and assisted at [[Bell Labs]] with the development of [[secure speech]] devices. He returned to Bletchley Park in March 1943. During his absence, [[Conel Hugh O'Donel Alexander|Hugh Alexander]] had officially assumed the position of head of Hut 8, although Alexander had been ''de facto'' head for some time, Turing having little interest in the day-to-day running of the section. Turing became a general consultant for cryptanalysis at Bletchley Park.
+
On June 23, 1998, on what would have been Turing's 86th birthday, Andrew Hodges, his biographer, unveiled an official English Heritage Blue Plaque on his childhood home in Warrington Crescent, [[London]], now the Colonnade Hotel.<ref>Andrew Hodges, [http://www.turing.org.uk/bio/oration.html “Unveiling the official Blue Plaque on Alan Turing's Birthplace,] Alan Turing Home Page. Retrieved July 27, 2007.</ref> To mark the fiftieth anniversary of his death, a memorial plaque was unveiled on June 7, 2004, at his former residence, Hollymeade, in Wilmslow.
 +
[[Image:Turing_Plaque.jpg|thumbnail|250px|Plaque marking Turing's home]]
  
In the latter part of the war, teaching himself electronics at the same time, Turing undertook (assisted by engineer [[Donald Bayley]]) the design of a portable machine codenamed ''[[Delilah (secure speech)|Delilah]]'' to allow [[secure voice]] communications. Intended for different applications, Delilah lacked capability for use with long-distance radio transmissions, and  was completed too late to be used in the war. Though Turing demonstrated it to officials by encrypting/decrypting a recording of a [[Winston Churchill]] speech, Delilah was not adopted for use.
+
Various universities have honored Alan Turing for his achievements in computing. On October 28, 2004, a bronze statue of Alan Turing sculpted by John W. Mills was unveiled at the University of Surrey <ref>[http://www.surrey.ac.uk/about/corporate/documents/200405annualreport.pdf Year in Review] University of Surrey Annual Report 2004-2005. Retrieved March 4, 2015.</ref> The statue marking the fiftieth anniversary of Turing's death, portrays Turing carrying his books across the campus. The Polytechnic University of [[Puerto Rico]] and Los Andes University of Bogotá, [[Colombia]], both have computer laboratories named after Turing. The University of Texas at Austin has an honors computer science program named the Turing Scholars. [[Carnegie Mellon University]] has a granite bench, situated in The Hornbostel Mall, with the name "Alan Turing" carved across the top, "Read" down the left leg, and "Write" down the other.
  
In 1945, Turing was awarded the [[Order of the British Empire|OBE]] for his wartime services, but his work remained secret for many years. A biography published by the Royal Society shortly after his death recorded:  
+
===Government Apology and Pardon===
 +
In 2009, after receiving a petition with over 30,000 signatures, [[Prime Minister of the United Kingdom|British Prime Minister]] [[Gordon Brown]] made an official public apology on behalf of the British government for "the appalling way he was treated." In December 2013, [[Elizabeth II|Queen Elizabeth II]] granted Turing a posthumous [[pardon]] for his conviction for gross indecency.<ref>[http://cryptome.org/2013/12/turing-pardon.pdf Royal Pardon for Alan Turing] Retrieved March 4, 2015.</ref><ref>Oliver Wright, [http://www.independent.co.uk/news/people/news/alan-turing-gets-royal-pardon-for-gross-indecency—61-years-after-he-poisoned-himself-9023116.html Alan Turing gets his royal pardon for 'gross indecency' – 61 years after he poisoned himself] ''The Independent'', December 23, 2013. Retrieved March 4, 2015.</ref> The Queen officially pronounced Turing pardoned in August 2014.<ref>Thom Senzee, [http://www.advocate.com/world/2014/08/22/queens-decree-alan-turing-now-officially-pardoned With Queen's Decree, Alan Turing Is Now Officially Pardoned] ''Advocate.com'', August 22, 2014. Retrieved March 4, 2015.</ref>
  
:"Three remarkable papers written just before the war, on three diverse mathematical subjects, show the quality of the work that might have been produced if he had settled down to work on some big problem at that critical time. For his work at the Foreign Office he was awarded the OBE."<ref>Newman, 1955, p254</ref>
+
==Thought and Works==
 +
Turing was a pioneer in the field of [[computer science]] and [[artificial intelligence]]. His initial work on mathematical [[logic]] developed ways in which the mathematical calculations made by the human mind using logic, could be carried out as self-generating mechanical processes independent of the human mind. His early work was concerned with cataloging infallible logical processes and recognizing the limitations of such computations.
  
== Early computers and the Turing Test ==
+
During [[World War II]], Turing became involved in working on [[encryption]] and decoding for the military, and many scholars consider this work to have been a distraction from his work in logic and mathematics. However, it was while working on the problems of decoding encrypted German messages that Turing built his first real computing “machines,” incorporating logical processes to sort through vast amounts of information and identify possible solutions for the human code breakers. He also realized the potential of using [[electrical circuit]]s to store and mechanically process data according to written instructions.  
[[Image:Turingrunning.jpeg|frame|left|Turing achieved world-class [[marathon]] standards of his era. His best time of 2 hours, 46 minutes, 3 seconds, was only 11 minutes slower than the winner in the [[1948 Summer Olympics|1948 Olympic Games]].<ref>Lucy Sherriff, {{cite web | title="Turing honoured with bronze statue" | url=http://www.theregister.co.uk/2004/10/29/turing_statue_surrey}}, The Register (October 29 2004)</ref><ref>{{cite web | title="Alan Turing Scrapbook" | url=http://www.turing.org.uk/turing/scrapbook/run.html}}</ref><ref>The Times, "Athletics: Marathon and Decathlon Championships", (25 August 1947)</ref>]]
 
From 1945 to 1947 he was at the [[National Physical Laboratory, UK|National Physical Laboratory]], where he worked on the design of the [[ACE (computer)|ACE]] (Automatic Computing Engine).  He presented a paper on [[February 19]], [[1946]], which was the first complete design of a [[Von Neumann architecture|stored-program computer]] in Britain.  Although he succeeded in designing the ACE, there were delays in starting the project and he became disillusioned.  In late 1947 he returned to Cambridge for a sabbatical year. While he was at Cambridge, ACE was completed in his absence and executed its first program on [[May 10]], [[1950]].  In 1949 he became deputy director of the computing laboratory at the [[Victoria University of Manchester|University of Manchester]], and worked on software for one of the earliest true computers — the [[Manchester Mark I]]. During this time he continued to do more abstract work, and in "[[Computing machinery and intelligence]]" (Mind, October 1950), Turing addressed the problem of [[artificial intelligence]], and proposed an experiment now known as the [[Turing test]], an attempt to define a standard for a machine to be called "sentient".
 
  
In 1948, Turing, working with his former undergraduate colleague, [[D.G. Champernowne]], began writing a chess program for a computer that did not yet exist. In 1952, lacking a computer powerful enough to execute the program, Turing played a game in which he simulated the computer, taking about half an hour per move. [http://www.chessgames.com/perl/chessgame?gid=1356927  The game] was recorded; the program lost to Turing's colleague [[Alick Glennie]], although it is said that it won a game against Champernowne's wife.
+
After World War II, Turing became involved in writing some of the first computer software programs, even before computers were built. Beyond this, however, he conceived of the idea that all the thinking processes of the human brain could possibly be duplicated using some form of logical process. While considering whether a machine could be constructed to play chess, he came to included the possibility of making errors as part of his concept of intelligence; a truly intelligent being is not an infallible being, but one that makes errors, recognizes them and then “learns” from the experience.  
  
== Pattern formation and mathematical biology ==
+
Turing’s major contribution to science and philosophy was his treatment of symbolic logic as a new branch of applied mathematics, opening it up to physical and engineering applications. Turing’s preference for working independently and in isolation enabled him to see logic from a unique perspective and to synthesize mathematical logic and the philosophy of mind. He said that he took on the challenge of solving the difficult German U-Boat Enigma code because no one else wanted to attempt it, and he was able to work on it by himself. As a result of his isolation, however, many of his ideas were not promulgated until later&mdash;for example, in the textbooks of Davis (1958) and Minsky (1967). Certain concepts developed by Turing still remain central to the development of computer science and artificial intelligence.
  
Turing worked from 1952 until his death in 1954 on [[mathematical biology]], specifically [[morphogenesis]]. He published one paper on the subject called "The Chemical Basis of Morphogenesis" in 1952, putting forth the Turing hypothesis of pattern formation.<sup>[http://www.sciencedaily.com/releases/2006/11/061128093244.htm]</sup> His central interest in the field was understanding [[Leonardo of Pisa|Fibonacci]] [[phyllotaxis]], the existence of [[Fibonacci number]]s in plant structures. He used [[reaction-diffusion equation]]s which are now central to the field of [[pattern formation]]. Later papers went unpublished until 1992 when ''Collected Works of A.M. Turing'' was published.
+
===Turing Machines===
 +
In his momentous paper "On Computable Numbers, with an Application to the ''Entscheidungsproblem''" (submitted on May 28, 1936), Turing reformulated [[Kurt Gödel]]'s 1931 results on the limits of proof and computation, substituting Gödel's universal arithmetic-based formal language with what are now called “Turing machines,” formal and simple logical devices. Turing developed the concept of his "machines" in response to the lectures of the topologist M. H. A. (Max) Newman, which discussed Gödel's 1931 proof of the formal incompleteness of logical systems rich enough to include arithmetic, and Hilbert’s "Entscheidungsproblem" (decision problem). The problem was whether there existed some universal method which could be used to determine that any given mathematical proposition was provable or not. The term “mechanical” had often been used to characterize the formal way in which Hilbert approached the problem, and Turing adapted the concept of a “machine” which could perform mathematical calculations.
  
== Prosecution for homosexual acts and Turing's death ==
+
Turing “machines” were theoretical devices which broke down mathematical calculations into simple atomic units. Though the machines did not exist in physical reality, they could be feasibly be constructed on the model of a teleprinter, with an infinite paper tape that could move through it backwards or forwards, and a ‘head’ that could read, erase and print new symbols. The tape was divided into squares, one next to the other, which could each contain one of a finite alphabet of symbols. The machine operated according to a finite table, or set, of instructions. The machine would scan one square of the tape at a time, and, according to the symbol in that square, perform one of the instructions in the table: print or erase a symbol on the scanned square or move forward or backward to scan the adjacent square. A “state register” would document the state of the Turing machine at each step. The number of different possible states was always finite, and there was one special ''start state'' by which the state register was initialized. Every part of the machine; its alphabet of symbols, its table of instructions, its number of possible states, and its actions of printing, erasing and moving forward or backward were ''finite'', ''discrete'' and ''distinguishable.'' Only the potentially unlimited amount of paper tape gave the machine the possibility of carrying on its computation infinitely. No actual Turing machine would be likely to have practical applications, since using them was much slower than alternative methods of calculation.
Turing was a homosexual during a period when homosexual acts were illegal in England and homosexuality was regarded as a mental illness. In 1952, Arnold Murray, a 19-year-old recent acquaintance of his<ref>cf. Hodges, pp.449-455</ref> helped an accomplice to break into Turing's house, and Turing went to the police to report the crime. As a result of the police investigation, Turing acknowledged a sexual relationship with Murray, and they were charged with gross indecency under [[Criminal Law Amendment Act of 1885#Section 11|Section 11]] of the Criminal Law Amendment Act of 1885.  Turing was unrepentant and was convicted. He was given the choice between imprisonment and probation, conditional on him undergoing [[hormone|hormonal]] [[chemical castration|treatment]] designed to reduce [[libido]]. In order to avoid going to jail, he accepted the [[estrogen|oestrogen]] hormone injections, which lasted for a year, with side effects including the [[gynecomastia|development of breasts]]. His conviction led to a removal of his security clearance and prevented him from continuing consultancy for [[GCHQ]] on cryptographic matters.
 
  
In 1954, he died of [[cyanide]] [[poisoning]], apparently from a cyanide-laced apple he left half-eaten. The apple itself was never tested for contamination with cyanide, and cyanide poisoning as a cause of death was established by a post-mortem. Most believe that his death was intentional, and the death was ruled a [[suicide]]. His mother, however, strenuously argued that the ingestion was accidental due to his careless storage of laboratory chemicals. Biographer Andrew Hodges suggests that Turing may have killed himself in this ambiguous way quite deliberately, to give his mother some plausible deniability.<ref>Hodges, 1983, pp. 488-489</ref> The possibility of assassination has also been suggested:<ref>Holt, 2006</ref> Turing's homosexuality would then have been perceived as a security risk.
+
[[Image:Turing machine 2a.png|thumb|right|300px|In some models
 +
the tape moves and the unused tape is truly ''blank''. The instruction to be performed (<code>q4</code>) is shown over the scanned square. Drawing after Kleene (1952), p. 375.]]
  
== Posthumous recognition ==
+
[[Image:Turing_machine_2b.png|thumb|right|300px|In some models
Since 1966, the [[Turing Award]] has been given annually by the [[Association for Computing Machinery]] to a person for technical contributions to the computing community. It is widely considered to be the computing world's equivalent to the [[Nobel Prize]].
+
the ''head'' moves along the stationary tape.
 +
The instruction to be performed (<code>q1</code>) is shown inside the head.
 +
In this model the "blank" tape is all 0's.
 +
The shaded squares, including the blank scanned by the head, and
 +
the squares marked 1, 1, B, and the head symbol, constitute the system state. Drawing after Minsky (1967), p. 121.]]
  
Various tributes to Turing have been made in Manchester, the city where he worked towards the end of his life. In 1994 a stretch of the [[Manchester]] city inner ring road was named Alan Turing Way.
+
Turing argued that any function which could be calculated by means of a mechanical, deterministic (algorithmic) procedure could be calculated by a Turing machine. Turing developed a thesis which stated that any function which could not be computed by a Turing machine was beyond the limitations of computing agents.  
[[Image:Alan Turing Memorial Closer.jpg|left|thumbnail|200px|Alan Turing memorial statue in [[Whitworth Gardens|Sackville Park]]]]
 
A [[Alan Turing Memorial|statue of Turing]] was unveiled in [[Manchester]]
 
<!-- by [[English Heritage]] I am unsure whether this is true or not - the sculptor who made the statute was commissioned by the Alan Turing Memorial Fund
 
Seek http://www.btinternet.com/~glynhughes/sculpture/turing.htm —>
 
on [[June 23]] [[2001]].  It is in [[Sackville Park]], between the [[University of Manchester]] building on Whitworth Street and the [[Canal Street, Manchester|Canal Street]] '[[gay village]]'.
 
A celebration of Turing's life and achievements  arranged by the [[British Logic Colloquium]] and the [[British Society for the History of Mathematics]] was held on [[5 June]] [[2004]] at the [[Victoria University of Manchester|University of Manchester]] and the [[Alan Turing Institute]] was initiated in the university that summer.
 
  
On 23 June 1998, on what would have been Turing's 86th birthday, [[Andrew Hodges]], his biographer, unveiled an official [[English Heritage]] [[Blue Plaque]] on his childhood home in Warrington Crescent, [[London]], now the Colonnade hotel.<ref>{{cite web | url=http://www.turing.org.uk/bio/oration.html | title=Unveiling the official Blue Plaque on Alan Turing's Birthplace | accessdate=2006-09-26}}</ref><ref>{{cite web | url=http://www.blueplaque.com/detail.php?plaque_id=348 | title=About this Plaque - Alan Turing | accessdate=2006-09-25}}</ref>
+
In developing his machines, Turing set out to embody the most general mechanical thinking processes as carried out by a human being. A primary concern in Turing’s thought was how to relate the logical Turing machines to the physical world.
To mark the 50th anniversary of his death, a memorial plaque was unveiled  on June 7 2004 at his former residence, Hollymeade, in Wilmslow.
+
The number of Turing machines was infinite, each corresponding to a different method or mathematical procedure and operating according to a different ‘table of behavior,’ the equivalent of a modern computer program. Turing postulated a “universal machine,” which would have “tables of behavior” complex enough to read the tables of other, simpler, Turing machines and incorporate their functions into its own activities. There could be an infinite number of these universal machines. The universal Turing machines anticipated the way in which modern computer software programs incorporate and relate to hundreds of simpler programs.
[[Image:Turing_Plaque.jpg|thumbnail|200px|Plaque marking Turing's home]]
+
<blockquote>Instruction tables will have to be made up by mathematicians with computing experiences and perhaps a certain puzzle-solving ability. There will probably be a great deal of work to be done, for every known process has got to be translated into instruction table form at some stage.</blockquote>
 +
 +
<blockquote>The process of constructing instruction tables should be very fascinating. There need be no real danger of it ever becoming a drudge, for any processes that are quite mechanical may be turned over to the machine itself. (Alan Turing, 1946)</blockquote>
  
For his achievements in computing, various universities have honoured him.  On October 28 2004 a bronze statue of Alan Turing sculpted by [[John W. Mills]] was unveiled at the [[University of Surrey]] [http://portal.surrey.ac.uk/press/oct2004/281004a/]. The statue marks the 50th anniversary of Turing's death. It portrays Turing carrying his books across the campus. The [[Polytechnic University of Puerto Rico]] and
+
===Artificial Intelligence===
Los Andes University of Bogotá, Colombia, both have computer laboratories named after Turing.
+
After his wartime experiences with the construction of actual computing machines which mechanized human procedures and judgment, Turing began to develop the idea that all processes of human intelligence could be computable. He researched how machines might be made to perform functions that were not purely mechanical in nature, and to speak of simulating “initiative” as well as “discipline.” Turing’s best known paper, "Computing Machinery and Intelligence" (''Mind'', October 1950), his first publication in a philosophical journal, raised many of the questions which are still under discussion today in the field of [[artificial intelligence]], such as whether computers could be made to simulate the physical operation of human [[neuron]]s. Turing argued that the human brain must somehow be organized for intelligence, and that this organization must be able to be realized in some discrete mechanical form.
The [[University of Texas at Austin]] has an honours computer science program named the [[Turing Scholars]].
 
[[Istanbul Bilgi University]] organizes an annual conference on the theory of computation called [http://cs.bilgi.edu.tr/pages/turing_days/ Turing Days.]
 
[[Carnegie Mellon University]] has a granite bench, situated in The Hornbostel Mall, with the name "Alan Turing" carved across the top, "Read" down the left leg, and "Write" down the other.
 
  
The [[Boston, Massachusetts|Boston]] [[GLBT pride]] organization named Turing their 2006 [http://www.bostonpride.org/honorarymarshal.php Honorary Grand Marshal].
+
Turing proposed the “Turing test” for machine intelligence, based on the idea that human intelligence can only be measured and judged by external observation. He bypassed all discussion of the nature of human thought, mind or consciousness by devising a procedure in which a human being and a computer would both communicate by text messages to an impartial judge, who would try to discern which one was the computer and which one was the human being. If the computer could win this competition, it must be considered to be “intelligent.
  
== Turing biographies ==
+
In 1950, Turing wrote on the first page of his “Manual for Users of the Manchester University Computer” (Turing 1950a):
* Turing's mother, Sara Turing, who survived him by many years, wrote a biography of her son glorifying his life. Published in 1959, it could not cover his war work; scarcely 300 copies were sold.<ref>Sara Turing to Lyn Newman, 1967, Library of [[St. John's College, Cambridge]].</ref> Its six-page foreword, by [[Lyn Irvine]], includes reminiscences and is more frequently quoted.
+
<blockquote>Electronic computers are intended to carry out any definite rule of thumb process which could have been done by a human operator working in a disciplined but unintelligent manner. </blockquote>
* Andrew Hodges wrote a definitive biography ''Alan Turing: The Enigma'' in 1983 (see references below).
+
His concept of intelligence involved the possibility of making mistakes in judgement, and also the ability to evaluate future risk and make judgments.
* The play ''Breaking the Code'' by Hugh Whitemore is about the life and death of Turing. In the original [[West End theatre|West End]] and [[Broadway theatre|Broadway]] runs, the role of Turing was played by [[Derek Jacobi]], who also played Turing in a 1996 television adaptation of the play.
+
<blockquote>This … raises the question ‘Can a machine play chess?’ It could fairly easily be made to play a rather bad game. It would be bad because chess requires intelligence. We stated … that the machine should be treated as entirely without intelligence. There are indications however that it is possible to make the machine display intelligence at the risk of its making occasional serious mistakes. By following up this aspect the machine could probably be made to play very good chess.</blockquote>
* Turing is examined in ''[[A Madman Dreams of Turing Machines]]'' by [[Janna Levin]].
+
<blockquote>…I would say that fair play must be given to the machine. Instead of it giving no answer we could arrange that it gives occasional wrong answers. But the human mathematician would likewise make blunders when trying out new techniques… In other words then, if a machine is expected to be infallible, it cannot also be intelligent. There are several mathematical theorems which say almost exactly that. But these theorems say nothing about how much intelligence may be displayed if a machine makes no pretence at infallibility. (Turing, Technical Prospectus, 1946)</blockquote>
*{{cite book | author=Leavitt, David | title=The Man Who Knew Too Much: Alan Turing and the Invention of the Computer | location=New York | publisher=W. W. Norton | year=2005 | id=ISBN 0-393-05236-2}}
 
* ''Code-Breaker'', by Jim Holt is reviewed by the New Yorker here: http://www.newyorker.com/critics/books/?060206crbo_books
 
  
==Further reading==
+
Turing suggested ideas for systems which could modify their own programs, such as nets of logical components (‘unorganized machines’) whose properties could be ‘trained’ into a desired function. He thus predicted neural networks, and anticipated modern “genetical search” algorithms, but was not able to develop these concepts further because electronic computers were then only in the early stages of operation.
* Bodanis, David. ''Electric Universe: How Electricity Switched on the Modern World.''  New York: Three Rivers Press, 2005. ISBN 0-307-33598-4
 
  
== Turing in fiction==
+
At the time of his death, Turing was apparently researching the foundations of [[quantum mechanics]], having earlier studied the theories of [[Arthur Eddington]] and [[John von Neumann]], in an effort to further understand the physiological functions of the human brain.
<!-- Non-trivial references in fiction where Turing makes a significant appearance or is pivotal. —>
 
* Physicist [[Janna Levin]]'s novel ''[[A Madman Dreams of Turing Machines]]'' focuses on the lives of both Alan Turing and [[Kurt Gödel]].
 
* Turing appears as a character in [[Neal Stephenson]]'s ''[[Cryptonomicon]]''.
 
* A young Alan Turing introduces the title character to [[Kurt Gödel|Gödel]]'s first [[Gödel's incompleteness theorem|incompleteness theorem]] in [[Apostolos Doxiadis]]'s novel ''[[Uncle Petros and Goldbach's Conjecture]]''.
 
* In the 1989 ''[[Doctor Who]]'' serial ''[[The Curse of Fenric]]'', the character of Dr Judson is based on Turing.  Turing himself is a narrator of the [[Doctor Who spin-offs#Original fiction|''Doctor Who'' spin-off]] [[Eighth Doctor Adventures|novel]] ''[[The Turing Test]]'' by [[Paul Leonard]].
 
* [[Greg Egan]]'s novella, ''[http://gregegan.customer.netspace.net.au/MISC/ORACLE/Oracle.html Oracle]'', is about an alternate universe version of Turing
 
* In [[John Banville]]'s ''The Untouchable'', the character Alastair Sykes is modeled on Alan Turing.
 
* In [[William Gibson (novelist)|William Gibson]]'s seminal [[cyberpunk]] novel ''[[Neuromancer]]'', the sinister body tasked with the regulation and suppression of artificial intelligences is called the "Turing Registry", and its agents are referred to as the "[[Turing Police]]".
 
* In 1987 German author and playwright [[Rolf Hochhuth]] published the novel ''Alan Turing'' after reading the biography written by Turing's mother.
 
* The 2007 Charlie Higson children's novel "[[Double or Die]]" features Turing as a minor character.
 
  
== See also ==
+
== Turing Biographies ==
* [[List of gay, lesbian or bisexual people]]
+
Turing’s brief life, his involvement in breaking the Enigma code during [[World War II]], his anticipation of modern computer science, and his tragic death have inspired a number of biographies and literary works about him.
* [[Alan Turing's Unorganized Machines]]
+
*Turing's mother, Sara Turing, who survived him by many years, wrote a biography of her son glorifying his life. Published in 1959, it could not cover his war work; scarcely three hundred copies were sold.<ref>Sara Turing to Lyn Newman, 1967, Library of St. John's College, Cambridge.</ref> Its six-page foreword, by Lyn Irvine, includes reminiscences and is more frequently quoted.
* [[Philosophy of information]]
+
* Andrew Hodges wrote a definitive biography ''Alan Turing: The Enigma'' in 1983.
* [[Good-Turing frequency estimation]]
+
* The play ''Breaking the Code'' by Hugh Whitemore is about the life and death of Turing. In the original West End and Broadway runs, the role of Turing was played by Derek Jacobi, who also played Turing in a 1996 television adaptation of the play.
 +
* Turing is examined in ''A Madman Dreams of Turing Machines'' by Janna Levin.
 +
* David Leavitt’s ''The Man Who Knew Too Much: Alan Turing and the Invention of the Computer''.
 +
* The 2014 historical drama film ''The Imitation Game'', directed by Morten Tyldum and starring Benedict Cumberbatch as Turing and Keira Knightley as Joan Clarke, is about Alan Turing breaking the Enigma code with other codebreakers in Bletchley Park.
  
==Footnotes==
+
==Notes==
<div class="references-small">
 
 
<references/>
 
<references/>
</div>
 
  
 
== References ==
 
== References ==
<div class="references-small">
+
* Bodanis, David. ''Electric Universe: How Electricity Switched on the Modern World.'' New York: Three Rivers Press, 2005. ISBN 0307335984
* {{MacTutor Biography|id=Turing|title=Alan Mathison Turing}}
+
* Copeland, B. Jack. "Colossus: Its Origins and Originators." ''IEEE Annals of the History of Computing'' 26(4) (2004): 38–45.
* [[B. Jack Copeland]], (2004) "Colossus: Its Origins and Originators". ''[[IEEE Annals of the History of Computing]]'', 26(4):38&ndash;45.
+
* Copeland, B. Jack (ed.). ''The Essential Turing''. New York: Oxford University Press, 2004. ISBN 0198250797
* B. Jack Copeland, (editor, 2004) ''[http://www.oup.co.uk/isbn/0-19-825079-7 The Essential Turing]''. [[Oxford University Press]], ISBN 0-19-825079-7 (hardback) and ISBN 0-19-825080-0 (paperback).
+
* Copeland, B. Jack (ed.). ''Alan Turing's Automatic Computing Engine.'' New York: Oxford University Press, 2005. ISBN 0198565933
* B. Jack Copeland,  (editor, 2005), ''[http://www.oup.co.uk/isbn/0-19-856593-3 Alan Turing's Automatic Computing Engine]''. [[Oxford University Press]], ISBN 0-19-856593-3.
+
* Copeland, B. Jack (ed.). ''Colossus: The Secrets of Bletchley Park's Codebreaking Computers''. New York: Oxford University Press, 2006. ISBN 019284055X
* B. Jack Copeland (editor, 2006), ''Colossus: The Secrets of Bletchley Park's Codebreaking Computers'', 2006, Oxford University Press, ISBN 0-19-284055-X.
+
* Hodges, Andrew. ''Alan Turing: The Enigma''. New York: Simon & Schuster, 1983. ISBN 0671492071
* [[Andrew Hodges]], (1983/2000). ''Alan Turing: The Enigma''. [[Simon & Schuster]], 1983, ISBN 0-671-49207-1. Also: Walker Publishing Company, 2000.
+
* Leavitt, David. ''The Man Who Knew Too Much: Alan Turing and the Invention of the Computer''. New York: W. W. Norton & Co., 2006. ISBN 0393052362
* M. H. A. Newman, ''Alan Mathison Turing''. Biographical Memoirs of Fellows of the Royal Society, 1955, Volume 1. The Royal Society 1955.
+
* Newman, M. H. A. “Alan Mathison Turing.” ''Biographical Memoirs of Fellows of the Royal Society'', vol. 1. The Royal Society, 1955.
* [[Christof Teuscher]] (editor 2004), ''Alan Turing: Life and Legacy of a Great Thinker''. [[Springer Science+Business Media|Springer-Verlag]], ISBN 3-540-20020-7.
+
* Teuscher, Christof (ed.). ''Alan Turing: Life and Legacy of a Great Thinker''. Springer-Verlag, 2004. ISBN 3540200207
* David M. Yates, (1997) ''Turing's Legacy: A history of computing at the National Physical Laboratory 1945–1995''. London: [[Science Museum, London|Science Museum]],  ISBN 0-901805-94-7.
+
* Turing, Alan Mathison, and B. Jack Copeland. ''The Essential Turing.'' Oxford: Clarendon Press, 2004. ISBN 0198250797
* [[Ludwig Wittgenstein]] (1932/1976) ''Wittgenstein's Lectures on the Foundations of Mathematics (1932–1935)''. Edited by Cora Diamond. Cornell University Press.
+
* Wittgenstein, Ludwig. ''Wittgenstein's Lectures on the Foundations of Mathematics (1932–1935)''. Edited by Cora Diamond. Ithaca, NY: Cornell University Press, 1976.  
* [http://www.nytimes.com/2005/12/18/books/review/18johnson.html Johnson, George (2005) "Enigmatic"]. New York Times Book Review (12/18/2005). Review of David Leavitt, <cite>The Man Who Knew Too Much: Alan Turing and the Invention of the Computer (2005)</cite>.  
+
* Yates, David M. ''Turing's Legacy: A history of computing at the National Physical Laboratory 1945–1995''. London: Science Museum, London, 1997. ISBN 0901805947
* [http://www.newyorker.com/critics/books/articles/060206crbo_books Holt, Jim (2006) "CODE-BREAKER The life and death of Alan Turing."]. The New Yorker (1/30/2006). Review of David Leavitt, <cite>The Man Who Knew Too Much: Alan Turing and the Invention of the Computer (2005)</cite>.
 
</div>
 
  
 
== External links ==
 
== External links ==
{{External links|September 2006}}
+
All links retrieved June 17, 2023.
{{wikiquote}}
 
{{commonscat|Alan Turing}}
 
* [http://www.turing.org.uk/ Alan Turing] site maintained by Andrew Hodges including a [http://www.turing.org.uk/bio/part1.html short biography]
 
* [http://www.alanturing.net/ AlanTuring.net Turing Archive for the History of Computing] by Jack Copeland
 
* [http://www.turingarchive.org The Turing Archive] - contains scans of some unpublished documents and material from the Kings College archive
 
* [http://www.systemtoolbox.com/article.php?history_id=3  Alan Turing &ndash; Towards a Digital Mind: Part 1]
 
* [http://www.time.com/time/time100/scientist/profile/turing.html Time 100:Alan Turing]
 
* [http://plato.stanford.edu/entries/turing/ Stanford Encyclopedia of Philosophy entry]
 
* [http://www.5xm.com/turing/ Hollymeade unveiling of memorial plaque marking 50th anniversary of Turing's untimely death]
 
* [http://www.swintons.net/jonathan/turing.htm Alan Turing and morphogenesis]
 
* [http://www.adeptis.ru/vinci/m_part1_2.html Photos]
 
* [http://www.findagrave.com/cgi-bin/fg.cgi?page=gr&GRid=12651680 More photos]
 
* [http://www.econoculture.com/m/index.php?option=com_content&task=view&id=231&Itemid=46 Morton, Paul Econoculture Interview with David Leavitt about The Man Who Knew Too Much: Alan Turing and the Invention of the Computer February 2 2006]
 
 
 
===Papers===
 
* [http://www.loebner.net/Prizef/TuringArticle.html "Computing machinery and intelligence"]
 
* Turing's paper titled [http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf "On Computable Numbers with an Application to the Entscheidungsproblem"] (PDF)
 
 
 
{{DEFAULTSORT:Turing, Alan}}
 
  
{{Persondata
+
===General===
|NAME=Turing, Alan Mathison
+
* [http://plato.stanford.edu/entries/turing/ Alan Turing] at Stanford Encyclopedia of Philosophy
|ALTERNATIVE NAMES=
+
* [http://www.turing.org.uk/ Alan Turing Home Page] by Andrew Hodges
|SHORT DESCRIPTION=[[Computer scientist]], [[mathematician]], and [[cryptographer]]
+
* [http://www.alanturing.net/ AlanTuring.net: Turing Archive for the History of Computing] by Jack Copeland
|DATE OF BIRTH=[[June 23]], [[1912]]
+
* [http://www.adeptis.ru/vinci/m_part1_2.html Photos]  
|PLACE OF BIRTH=[[Paddington]], [[London]], [[England]]
 
|DATE OF DEATH=[[June 7]], [[1954]]
 
|PLACE OF DEATH=[[Manchester]], [[England]]
 
}}
 
  
[[Category:Alan Turing|Alan Turing]]
+
[[Category:Philosophers]]
[[Category:Alumni of King's College, Cambridge|Turing, Alan]]
+
[[Category:Mathematicians]]
[[Category:Academics of the University of Manchester|Turing, Alan]]
 
[[Category:Artificial intelligence researchers|Turing, Alan]]
 
[[Category:People commemorated by blue plaques|Turing, Alan]]
 
[[Category:British people of World War II|Turing, Alan]]
 
[[Category:British computer scientists|Turing, Alan]]
 
[[Category:British cryptographers]]
 
[[Category:People associated with Bletchley Park|Turing, Alan]]
 
[[Category:Computer designers|Turing, Alan]]
 
[[Category:Computer pioneers|Turing, Alan]]
 
[[Category:English inventors|Turing, Alan]]
 
[[Category:English mathematicians|Turing, Alan]]
 
[[Category:English philosophers|Turing, Alan]]
 
[[Category:English computer scientists|Turing, Alan]]
 
[[Category:Fellows of the Royal Society|Turing, Alan]]
 
[[Category:Formal methods people|Turing, Alan]]
 
[[Category:LGBT history of the United Kingdom|Turing, Alan]]
 
[[Category:LGBT people from England|Turing, Alan]]
 
[[Category:LGBT scientists|Turing, Alan]]
 
[[Category:Long-distance runners|Turing, Alan]]
 
[[Category:Mathematicians who committed suicide|Turing, Alan]]
 
[[Category:Members of the Order of the British Empire|Turing, Alan]]
 
[[Category:Old Shirburnians|Turing, Alan]]
 
[[Category:People prosecuted under anti-homosexuality laws|Turing, Alan]]
 
[[Category:Philosophers of mind|Turing, Alan]]
 
[[Category:Scientists who committed suicide|Turing, Alan]]
 
[[Category:Suicides by poison|Turing, Alan]]
 
[[Category:Cause of death disputed|Turing, Alan]]
 
[[Category:20th century mathematicians|Turing, Alan]]
 
[[Category:20th century philosophers|Turing, Alan]]
 
[[Category:1912 births|Turing, Alan]]
 
[[Category:1954 deaths|Turing, Alan]]
 
[[Category:Erdős number 5|Turing, Alan]]
 
  
{{Link FA|es}}
 
  
[[af:Alan Turing]]
+
{{Credit2|Alan_Turing|106358797|Turing_machine|123345189}}
[[ar:آلان تورنج]]
 
[[ast:Alan Turing]]
 
[[az:Alan Turinq]]
 
[[bn:অ্যালান টুরিং]]
 
[[bs:Alan Turing]]
 
[[br:Alan Turing]]
 
[[bg:Алън Тюринг]]
 
[[ca:Alan Turing]]
 
[[cs:Alan Turing]]
 
[[cy:Alan Turing]]
 
[[da:Alan Turing]]
 
[[de:Alan Turing]]
 
[[et:Alan Turing]]
 
[[el:Άλαν Τούρινγκ]]
 
[[es:Alan Mathison Turing]]
 
[[eo:Alan Turing]]
 
[[eu:Alan Turing]]
 
[[fa:آلن تورینگ]]
 
[[fr:Alan Mathison Turing]]
 
[[ga:Alan Turing]]
 
[[gl:Alan Turing]]
 
[[ko:앨런 튜링]]
 
[[hi:एलेन ट्यूरिंग]]
 
[[hr:Alan Turing]]
 
[[io:Alan Turing]]
 
[[id:Alan Turing]]
 
[[is:Alan Turing]]
 
[[it:Alan Turing]]
 
[[he:אלן טיורינג]]
 
[[ku:Alan Turing]]
 
[[lv:Alans Tjūrings]]
 
[[lb:Alan M. Turing]]
 
[[lt:Alanas Tiuringas]]
 
[[li:Alan Turing]]
 
[[hu:Alan Turing]]
 
[[mk:Алан Тјуринг]]
 
[[mt:Alan Turing]]
 
[[ms:Alan Turing]]
 
[[nl:Alan Turing]]
 
[[ja:アラン・チューリング]]
 
[[no:Alan Turing]]
 
[[nn:Alan Turing]]
 
[[pl:Alan Mathison Turing]]
 
[[pt:Alan Turing]]
 
[[ro:Alan Turing]]
 
[[ru:Тьюринг, Алан Матисон]]
 
[[scn:Alan Turing]]
 
[[simple:Alan Turing]]
 
[[sk:Alan Mathison Turing]]
 
[[sl:Alan Turing]]
 
[[sr:Алан Тјуринг]]
 
[[sh:Alan Turing]]
 
[[fi:Alan Turing]]
 
[[sv:Alan Turing]]
 
[[th:แอลัน ทัวริง]]
 
[[vi:Alan Turing]]
 
[[tr:Alan Turing]]
 
[[uk:Тюринг Алан Матісон]]
 
[[zh:艾伦·图灵]]
 

Latest revision as of 04:33, 17 June 2023

Alan Turing Statue, on display at Bletchley Park

Alan Mathison Turing (June 23, 1912 – June 7, 1954) was an English mathematician, logician, cryptographer and one of the originators of modern computer science. In 1936, Turing developed the concept of “Turing machines,” theoretical devices that could mechanically perform mathematical computations by following a specific table of instructions. Turing machines formalized the concept of the algorithm and helped to determine the limits of computability in mathematical functions (Church–Turing thesis). The concept of a “universal Turing machine” which could incorporate the functions of numerous lesser Turing machines laid the groundwork for computer programming.

During World War II, Turing worked at Bletchley Park, Britain's codebreaking center, and was for a time head of Hut 8, the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the “bombe,” an electromechanical machine that could detect the settings for the German “Enigma” code machine.

In 1950, Turing published an article, "Computing Machinery and Intelligence" (Mind, October 1950), proposing that it was possible for a computer to simulate all the processes of human intelligence, and suggesting the “Turing test” to determine the intelligence of a machine. He worked at the National Physical Laboratory in England, creating one of the first designs for a stored-program computer, although it was never actually built. In 1947 he moved to the University of Manchester to work on software for the Manchester Mark I, one of the world's earliest true computers.

Life

Childhood and Youth

Turing was conceived in 1911 in Chatrapur, India. His father, Julius Mathison Turing, was a member of the Indian civil service. Julius and his wife Sara (née Stoney) wanted Alan to be brought up in England, so they returned to Maida Vale, London, where Turing was born June 23, 1912, as recorded by a blue plaque on the outside of the building, now the Colonnade Hotel.[1][2] His father's civil service commission was still active, and during Turing's childhood his parents traveled between Guildford, England and India, leaving their two sons to stay with friends in England, rather than risk their health in the British colony. Very early in life, Turing showed signs of the genius he was to display more prominently later. He is said to have taught himself to read in three weeks, and to have shown an early affinity for numbers and puzzles.

His parents enrolled him at St. Michael's, a day school, at the age of six. The headmistress recognized his genius immediately, as did many of his subsequent educators. In 1926, at the age of 14, he went on to Sherborne School in Dorset. His first day of term coincided with a transportation strike in England; he was so determined to attend his first day at Sherborne that he rode his bike unaccompanied more than sixty miles from Southampton to the school, stopping overnight at an inn and making headlines in the local press.

Turing's natural inclination toward mathematics and science did not earn him the respect of his teachers at Sherborne, a famous and expensive British public school, whose concept of education placed more emphasis on the classics than on science. His headmaster wrote to his parents: "I hope he will not fall between two schools. If he is to stay at public school, he must aim at becoming educated. If he is to be solely a Scientific Specialist, he is wasting his time at a public school."[3]

Turing continued to show remarkable ability in the studies he loved, solving advanced problems in 1927 without having even studied elementary calculus. In 1928, at the age of sixteen, Turing encountered Albert Einstein's work; not only did he grasp it, but he extrapolated Einstein's questioning of Isaac Newton's laws of motion from a text in which this was never made explicit.

Turing was encouraged at school by a friend, Christopher Morcom, who unfortunately died suddenly only a few weeks into their last term at Sherborne, from complications of bovine tuberculosis.

University and His Work on Computability

The computer room at King's College, Cambridge, is now named after Turing, who became a student there in 1931 and a fellow in 1935

Turing failed to win a scholarship to Trinity College, Cambridge, because he was unwilling to work as hard on his classical studies as on science and mathematics. Instead he became an undergraduate at the college of his second choice, King's College, Cambridge from 1931 to 1934, graduating with a distinguished degree, and in 1935 was elected a fellow at King's on the strength of a dissertation on the Gaussian error function.

In his momentous paper "On Computable Numbers, with an Application to the Entscheidungsproblem" (submitted on May 28, 1936), Turing proposed what are now called “Turing machines,” formal and simple devices which could perform any conceivable mathematical function if it were representable as an algorithm (Turing machines are still the central object of study in theory of computation). He went on to prove that there was no solution to the Entscheidungsproblem by showing that it is not possible to decide algorithmically whether a given Turing machine will ever halt. While his proof was published subsequent to Alonzo Church's equivalent proof in respect to his lambda calculus, Turing's work was considerably more accessible and intuitive.

Turing spent most of 1937 and 1938 at Princeton University, studying under Alonzo Church. In 1938 he obtained his Ph.D. from Princeton; his dissertation introduced the notion of relative computing, in which Turing machines are augmented with so-called "oracles," functions that perform operations outside of the machine, such as intuitive judgments made by a human mathematician, allowing a study of problems that cannot be solved by a Turing machine.

Back in Cambridge in 1939, Turing attended lectures by Ludwig Wittgenstein about the foundations of mathematics.[4] The two argued and disagreed, with Turing defending formalism, and Wittgenstein arguing that mathematics is overvalued and does not discover any absolute truths.[5]

Cryptanalysis

Two cottages in the stable yard at Bletchley Park. Turing worked here from 1939–1940 until he moved to Hut 8

During World War II, Turing was an important participant in the British efforts at Bletchley Park to break German ciphers. Building on cryptanalysis work carried out in Poland before the war, he contributed several insights into breaking both the German Enigma machine and the Lorenz SZ 40/42 (a teletype cipher attachment codenamed "Tunny" by the British), and was, for a time, head of Hut 8, the section responsible for reading German naval signals.

Since September 1938, Turing had been working part-time for the Government Code and Cypher School (GCCS), the British codebreaking organization. He worked on the problem of the German “Enigma” machine, and collaborated with Dilly Knox, a senior GCCS codebreaker.[6] On September 4, 1939, the day after Britain declared war on Germany, Turing reported to Bletchley Park, the wartime station of GCCS.[7]

The Turing-Welchman Bombe

Replica of a bombe machine

Within weeks of arriving at Bletchley Park,[7] Turing had devised an electromechanical machine which could help break Enigma: the bombe, named after the Polish-designed bomba. The bombe, with an enhancement suggested by mathematician Gordon Welchman, became the primary tool used to read Enigma traffic.

The bombe searched for the correct settings of the Enigma rotors, and required a suitable "crib," a piece of matching plaintext and ciphertext. For each possible setting of the rotors, the bombe performed a chain of logical deductions based on the crib, implemented electrically. The bombe detected when a contradiction had occurred, and ruled out that setting, moving onto the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. Turing's first bombe was installed on March 18, 1940.[8] By the end of the war, over two hundred bombes were in operation.

Hut 8 and Naval Enigma

In December 1940, Turing solved the naval Enigma indicator system, which was more complex than the indicator systems used by the other services. Turing also invented a Bayesian statistical technique termed "Banburismus" to assist in breaking Naval Enigma. Banburismus could rule out certain orders of the Enigma rotors, reducing time needed to test settings on the bombes.

In the spring of 1941, Turing proposed marriage to a Hut 8 coworker, Joan Clarke, but the engagement was broken off by mutual agreement during the summer.

In July 1942, Turing devised a technique termed Turingismus or Turingery for use against the "Fish" Lorenz cipher. He also introduced the Fish team to Tommy Flowers, who went on to design the Colossus computer.[9] It is a frequent misconception that Turing was a key figure in the design of Colossus; this was not the case.[10]

In November 1942, Turing traveled to the United States and worked with U.S. Navy cryptanalysts on Naval Enigma and bombe construction in Washington, D.C., and assisted at Bell Labs with the development of secure speech devices. He returned to Bletchley Park in March 1943. During his absence, Conel Hugh O'Donel Alexander had officially assumed the position of head of Hut 8. Alexander had been de facto head for some time, Turing having little interest in the day-to-day running of the section. Turing became a general consultant for cryptanalysis at Bletchley Park.

In the latter part of the war, teaching himself electronics at the same time, Turing undertook (assisted by engineer Donald Bayley) the design of a portable machine codenamed Delilah to allow secure voice communications. Intended for different applications, Delilah lacked capability for use with long-distance radio transmissions, and was completed too late to be used in the war. Though Turing demonstrated it to officials by encrypting/decrypting a recording of a speech by Winston Churchill, Delilah was not adopted for use by the military.

In 1945, Turing was awarded the Order of the British Empire for his wartime services, but his work remained secret for many years. A biography published by the Royal Society shortly after his death recorded:

Three remarkable papers written just before the war, on three diverse mathematical subjects, show the quality of the work that might have been produced if he had settled down to work on some big problem at that critical time. For his work at the Foreign Office he was awarded the OBE.[11]

Early Computers and the Turing Test

Turing achieved world-class marathon standards of his era. His best time of 2 hours, 46 minutes, 3 seconds, was only 11 minutes slower than the winner in the 1948 Summer Olympics.[12][2][13] From 1945 to 1947 Turing was at the National Physical Laboratory, where he worked on the design of the Automatic Computing Engine (ACE). In a paper given on February 19, 1946, he presented the first complete design of a stored-program computer in Britain. Although he succeeded in designing the ACE, there were delays in starting the project and Turing became disillusioned. In late 1947, he returned to Cambridge for a sabbatical year. While he was at Cambridge, ACE was completed in his absence and executed its first program on May 10, 1950.

In 1949 Turing became deputy director of the computing laboratory at University of Manchester, and worked on software for one of the earliest true computers, the Manchester Mark I. During this time he continued to do more abstract work, and in "Computing Machinery and Intelligence" (Mind, October 1950), Turing addressed the problem of artificial intelligence, and proposed an experiment now known as the Turing test, an attempt to define a standard by which a machine could be called "sentient."

In 1948, Turing, working with his former undergraduate colleague, D. G. Champernowne, began writing a chess program for a computer that did not yet exist. In 1952, lacking a computer powerful enough to execute the program, Turing played a game in which he simulated the computer, taking about half an hour per move. The game[14] was recorded; the program lost to Turing's colleague Alick Glennie, although it is said that it won a game against Champernowne's wife.

Pattern Formation and Mathematical Biology

From 1952 until his death in 1954, Turing worked on mathematical biology, specifically morphogenesis. He published a paper on the subject called "The Chemical Basis of Morphogenesis" in 1952, putting forth the Turing hypothesis of pattern formation.[15]His central interest in the field was understanding Fibonacci phyllotaxis, the existence of Fibonacci numbers in plant structures. He used reaction-diffusion equations which are now central to the field of pattern formation. Later papers went unpublished until 1992 when Collected Works of A.M. Turing was published.

Prosecution for Homosexual Acts and Death

Turing was a homosexual during a period when homosexual acts were illegal in England and homosexuality was regarded as a mental illness. In 1952, Arnold Murray, a 19-year-old recent acquaintance of his[16] helped an accomplice to break into Turing's house, and Turing went to the police to report the crime. As a result of the police investigation, Turing acknowledged a relationship with Murray, and they were charged with gross indecency under Section 11 of the Criminal Law Amendment Act of 1885. Turing was unrepentant and was convicted. He was given a choice between imprisonment or undergoing hormonal treatment. In order to avoid going to jail, he accepted the estrogen hormone injections, which lasted for a year, with side effects including the development of breasts. His conviction led to a removal of his security clearance and prevented him from continuing consultancy for General Command Headquarters on cryptographic matters.

In 1954, Turing died of cyanide poisoning at the age of 41, apparently from a cyanide-laced apple found half-eaten by his bedside. The apple itself was never tested for contamination with cyanide, and cyanide poisoning as a cause of death was established by a post-mortem. Most believe that his death was intentional, and the death was ruled a suicide, but his mother insisted that the ingestion an accident due to his careless storage of laboratory chemicals.[17] The possibility of assassination has also been suggested;[18] at that time Turing's homosexuality would have been perceived as a security risk.

Posthumous Recognition

Alan Turing memorial statue in Sackville Park

Since 1966, the Turing Award has been given annually by the Association for Computing Machinery to a person for technical contributions to the computing community. Various tributes to Turing have been made in Manchester, the city where he worked towards the end of his life. In 1994 a stretch of the Manchester city inner ring road was named Alan Turing Way and a statue of Turing was unveiled in Manchester on June 23, 2001 in Sackville Park.

A celebration of Turing's life and achievements arranged by the British Logic Colloquium and the British Society for the History of Mathematics was held on June 5, 2004, at the University of Manchester, and the Alan Turing Institute was initiated in the university that summer.

On June 23, 1998, on what would have been Turing's 86th birthday, Andrew Hodges, his biographer, unveiled an official English Heritage Blue Plaque on his childhood home in Warrington Crescent, London, now the Colonnade Hotel.[19] To mark the fiftieth anniversary of his death, a memorial plaque was unveiled on June 7, 2004, at his former residence, Hollymeade, in Wilmslow.

Plaque marking Turing's home

Various universities have honored Alan Turing for his achievements in computing. On October 28, 2004, a bronze statue of Alan Turing sculpted by John W. Mills was unveiled at the University of Surrey [20] The statue marking the fiftieth anniversary of Turing's death, portrays Turing carrying his books across the campus. The Polytechnic University of Puerto Rico and Los Andes University of Bogotá, Colombia, both have computer laboratories named after Turing. The University of Texas at Austin has an honors computer science program named the Turing Scholars. Carnegie Mellon University has a granite bench, situated in The Hornbostel Mall, with the name "Alan Turing" carved across the top, "Read" down the left leg, and "Write" down the other.

Government Apology and Pardon

In 2009, after receiving a petition with over 30,000 signatures, British Prime Minister Gordon Brown made an official public apology on behalf of the British government for "the appalling way he was treated." In December 2013, Queen Elizabeth II granted Turing a posthumous pardon for his conviction for gross indecency.[21][22] The Queen officially pronounced Turing pardoned in August 2014.[23]

Thought and Works

Turing was a pioneer in the field of computer science and artificial intelligence. His initial work on mathematical logic developed ways in which the mathematical calculations made by the human mind using logic, could be carried out as self-generating mechanical processes independent of the human mind. His early work was concerned with cataloging infallible logical processes and recognizing the limitations of such computations.

During World War II, Turing became involved in working on encryption and decoding for the military, and many scholars consider this work to have been a distraction from his work in logic and mathematics. However, it was while working on the problems of decoding encrypted German messages that Turing built his first real computing “machines,” incorporating logical processes to sort through vast amounts of information and identify possible solutions for the human code breakers. He also realized the potential of using electrical circuits to store and mechanically process data according to written instructions.

After World War II, Turing became involved in writing some of the first computer software programs, even before computers were built. Beyond this, however, he conceived of the idea that all the thinking processes of the human brain could possibly be duplicated using some form of logical process. While considering whether a machine could be constructed to play chess, he came to included the possibility of making errors as part of his concept of intelligence; a truly intelligent being is not an infallible being, but one that makes errors, recognizes them and then “learns” from the experience.

Turing’s major contribution to science and philosophy was his treatment of symbolic logic as a new branch of applied mathematics, opening it up to physical and engineering applications. Turing’s preference for working independently and in isolation enabled him to see logic from a unique perspective and to synthesize mathematical logic and the philosophy of mind. He said that he took on the challenge of solving the difficult German U-Boat Enigma code because no one else wanted to attempt it, and he was able to work on it by himself. As a result of his isolation, however, many of his ideas were not promulgated until later—for example, in the textbooks of Davis (1958) and Minsky (1967). Certain concepts developed by Turing still remain central to the development of computer science and artificial intelligence.

Turing Machines

In his momentous paper "On Computable Numbers, with an Application to the Entscheidungsproblem" (submitted on May 28, 1936), Turing reformulated Kurt Gödel's 1931 results on the limits of proof and computation, substituting Gödel's universal arithmetic-based formal language with what are now called “Turing machines,” formal and simple logical devices. Turing developed the concept of his "machines" in response to the lectures of the topologist M. H. A. (Max) Newman, which discussed Gödel's 1931 proof of the formal incompleteness of logical systems rich enough to include arithmetic, and Hilbert’s "Entscheidungsproblem" (decision problem). The problem was whether there existed some universal method which could be used to determine that any given mathematical proposition was provable or not. The term “mechanical” had often been used to characterize the formal way in which Hilbert approached the problem, and Turing adapted the concept of a “machine” which could perform mathematical calculations.

Turing “machines” were theoretical devices which broke down mathematical calculations into simple atomic units. Though the machines did not exist in physical reality, they could be feasibly be constructed on the model of a teleprinter, with an infinite paper tape that could move through it backwards or forwards, and a ‘head’ that could read, erase and print new symbols. The tape was divided into squares, one next to the other, which could each contain one of a finite alphabet of symbols. The machine operated according to a finite table, or set, of instructions. The machine would scan one square of the tape at a time, and, according to the symbol in that square, perform one of the instructions in the table: print or erase a symbol on the scanned square or move forward or backward to scan the adjacent square. A “state register” would document the state of the Turing machine at each step. The number of different possible states was always finite, and there was one special start state by which the state register was initialized. Every part of the machine; its alphabet of symbols, its table of instructions, its number of possible states, and its actions of printing, erasing and moving forward or backward were finite, discrete and distinguishable. Only the potentially unlimited amount of paper tape gave the machine the possibility of carrying on its computation infinitely. No actual Turing machine would be likely to have practical applications, since using them was much slower than alternative methods of calculation.

In some models the tape moves and the unused tape is truly blank. The instruction to be performed (q4) is shown over the scanned square. Drawing after Kleene (1952), p. 375.
In some models the head moves along the stationary tape. The instruction to be performed (q1) is shown inside the head. In this model the "blank" tape is all 0's. The shaded squares, including the blank scanned by the head, and the squares marked 1, 1, B, and the head symbol, constitute the system state. Drawing after Minsky (1967), p. 121.

Turing argued that any function which could be calculated by means of a mechanical, deterministic (algorithmic) procedure could be calculated by a Turing machine. Turing developed a thesis which stated that any function which could not be computed by a Turing machine was beyond the limitations of computing agents.

In developing his machines, Turing set out to embody the most general mechanical thinking processes as carried out by a human being. A primary concern in Turing’s thought was how to relate the logical Turing machines to the physical world. The number of Turing machines was infinite, each corresponding to a different method or mathematical procedure and operating according to a different ‘table of behavior,’ the equivalent of a modern computer program. Turing postulated a “universal machine,” which would have “tables of behavior” complex enough to read the tables of other, simpler, Turing machines and incorporate their functions into its own activities. There could be an infinite number of these universal machines. The universal Turing machines anticipated the way in which modern computer software programs incorporate and relate to hundreds of simpler programs.

Instruction tables will have to be made up by mathematicians with computing experiences and perhaps a certain puzzle-solving ability. There will probably be a great deal of work to be done, for every known process has got to be translated into instruction table form at some stage.

The process of constructing instruction tables should be very fascinating. There need be no real danger of it ever becoming a drudge, for any processes that are quite mechanical may be turned over to the machine itself. (Alan Turing, 1946)

Artificial Intelligence

After his wartime experiences with the construction of actual computing machines which mechanized human procedures and judgment, Turing began to develop the idea that all processes of human intelligence could be computable. He researched how machines might be made to perform functions that were not purely mechanical in nature, and to speak of simulating “initiative” as well as “discipline.” Turing’s best known paper, "Computing Machinery and Intelligence" (Mind, October 1950), his first publication in a philosophical journal, raised many of the questions which are still under discussion today in the field of artificial intelligence, such as whether computers could be made to simulate the physical operation of human neurons. Turing argued that the human brain must somehow be organized for intelligence, and that this organization must be able to be realized in some discrete mechanical form.

Turing proposed the “Turing test” for machine intelligence, based on the idea that human intelligence can only be measured and judged by external observation. He bypassed all discussion of the nature of human thought, mind or consciousness by devising a procedure in which a human being and a computer would both communicate by text messages to an impartial judge, who would try to discern which one was the computer and which one was the human being. If the computer could win this competition, it must be considered to be “intelligent.”

In 1950, Turing wrote on the first page of his “Manual for Users of the Manchester University Computer” (Turing 1950a):

Electronic computers are intended to carry out any definite rule of thumb process which could have been done by a human operator working in a disciplined but unintelligent manner.

His concept of intelligence involved the possibility of making mistakes in judgement, and also the ability to evaluate future risk and make judgments.

This … raises the question ‘Can a machine play chess?’ It could fairly easily be made to play a rather bad game. It would be bad because chess requires intelligence. We stated … that the machine should be treated as entirely without intelligence. There are indications however that it is possible to make the machine display intelligence at the risk of its making occasional serious mistakes. By following up this aspect the machine could probably be made to play very good chess.

…I would say that fair play must be given to the machine. Instead of it giving no answer we could arrange that it gives occasional wrong answers. But the human mathematician would likewise make blunders when trying out new techniques… In other words then, if a machine is expected to be infallible, it cannot also be intelligent. There are several mathematical theorems which say almost exactly that. But these theorems say nothing about how much intelligence may be displayed if a machine makes no pretence at infallibility. (Turing, Technical Prospectus, 1946)

Turing suggested ideas for systems which could modify their own programs, such as nets of logical components (‘unorganized machines’) whose properties could be ‘trained’ into a desired function. He thus predicted neural networks, and anticipated modern “genetical search” algorithms, but was not able to develop these concepts further because electronic computers were then only in the early stages of operation.

At the time of his death, Turing was apparently researching the foundations of quantum mechanics, having earlier studied the theories of Arthur Eddington and John von Neumann, in an effort to further understand the physiological functions of the human brain.

Turing Biographies

Turing’s brief life, his involvement in breaking the Enigma code during World War II, his anticipation of modern computer science, and his tragic death have inspired a number of biographies and literary works about him.

  • Turing's mother, Sara Turing, who survived him by many years, wrote a biography of her son glorifying his life. Published in 1959, it could not cover his war work; scarcely three hundred copies were sold.[24] Its six-page foreword, by Lyn Irvine, includes reminiscences and is more frequently quoted.
  • Andrew Hodges wrote a definitive biography Alan Turing: The Enigma in 1983.
  • The play Breaking the Code by Hugh Whitemore is about the life and death of Turing. In the original West End and Broadway runs, the role of Turing was played by Derek Jacobi, who also played Turing in a 1996 television adaptation of the play.
  • Turing is examined in A Madman Dreams of Turing Machines by Janna Levin.
  • David Leavitt’s The Man Who Knew Too Much: Alan Turing and the Invention of the Computer.
  • The 2014 historical drama film The Imitation Game, directed by Morten Tyldum and starring Benedict Cumberbatch as Turing and Keira Knightley as Joan Clarke, is about Alan Turing breaking the Enigma code with other codebreakers in Bletchley Park.

Notes

  1. Andrew Hodges, Alan Turing: The Enigma (New York: Simon & Schuster, 1983, ISBN 0671492071), 5.
  2. 2.0 2.1 Andrew Hodges, The Alan Turing Internet Scrapbook, The Alan Turing Home Page. Retrieved July 27, 2007.
  3. Hodges 1983, 26.
  4. Hodges 1983, 152.
  5. Hodges 1983, 153-154.
  6. Jack Copeland, "Colossus and the Dawning of the Computer Age," in Action This Day (2001), 352.
  7. 7.0 7.1 B. Jack Copeland (ed.), Colossus: The Secrets of Bletchley Park's Codebreaking Computers (New York: Oxford University Press, 2006, ISBN 019284055X), 378.
  8. Hodges 1983, 191.
  9. Copeland 2006, 72.
  10. Copeland 2006, 382-383.
  11. M. H. A. Newman, “Alan Mathison Turing,” Biographical Memoirs of Fellows of the Royal Society, vol. 1 (The Royal Society, 1955), 254.
  12. Lucy Sherriff, "Turing honoured with bronze statue," The Register (October 29, 2004). Retrieved July 27, 2007.
  13. "Athletics: Marathon and Decathlon Championships," The Times (August 25, 1947).
  14. Chessgame.com, Alan Turing vs Alick Glennie. Retrieved July 27, 2007.
  15. Max Planck Society, “Control Mechanism For Biological Pattern Formation Decoded,” ScienceDaily (November 30, 2006). Retrieved July 27, 2007.
  16. Hodges, 449-455.
  17. Hodges 1983, 488-489.
  18. Jim Holt, “Code-Breaker: The life and death of Alan Turing,” The New Yorker (February 6, 2006). Retrieved April 17, 2007.
  19. Andrew Hodges, “Unveiling the official Blue Plaque on Alan Turing's Birthplace,” Alan Turing Home Page. Retrieved July 27, 2007.
  20. Year in Review University of Surrey Annual Report 2004-2005. Retrieved March 4, 2015.
  21. Royal Pardon for Alan Turing Retrieved March 4, 2015.
  22. Oliver Wright, Alan Turing gets his royal pardon for 'gross indecency' – 61 years after he poisoned himself The Independent, December 23, 2013. Retrieved March 4, 2015.
  23. Thom Senzee, With Queen's Decree, Alan Turing Is Now Officially Pardoned Advocate.com, August 22, 2014. Retrieved March 4, 2015.
  24. Sara Turing to Lyn Newman, 1967, Library of St. John's College, Cambridge.

References
ISBN links support NWE through referral fees

  • Bodanis, David. Electric Universe: How Electricity Switched on the Modern World. New York: Three Rivers Press, 2005. ISBN 0307335984
  • Copeland, B. Jack. "Colossus: Its Origins and Originators." IEEE Annals of the History of Computing 26(4) (2004): 38–45.
  • Copeland, B. Jack (ed.). The Essential Turing. New York: Oxford University Press, 2004. ISBN 0198250797
  • Copeland, B. Jack (ed.). Alan Turing's Automatic Computing Engine. New York: Oxford University Press, 2005. ISBN 0198565933
  • Copeland, B. Jack (ed.). Colossus: The Secrets of Bletchley Park's Codebreaking Computers. New York: Oxford University Press, 2006. ISBN 019284055X
  • Hodges, Andrew. Alan Turing: The Enigma. New York: Simon & Schuster, 1983. ISBN 0671492071
  • Leavitt, David. The Man Who Knew Too Much: Alan Turing and the Invention of the Computer. New York: W. W. Norton & Co., 2006. ISBN 0393052362
  • Newman, M. H. A. “Alan Mathison Turing.” Biographical Memoirs of Fellows of the Royal Society, vol. 1. The Royal Society, 1955.
  • Teuscher, Christof (ed.). Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag, 2004. ISBN 3540200207
  • Turing, Alan Mathison, and B. Jack Copeland. The Essential Turing. Oxford: Clarendon Press, 2004. ISBN 0198250797
  • Wittgenstein, Ludwig. Wittgenstein's Lectures on the Foundations of Mathematics (1932–1935). Edited by Cora Diamond. Ithaca, NY: Cornell University Press, 1976.
  • Yates, David M. Turing's Legacy: A history of computing at the National Physical Laboratory 1945–1995. London: Science Museum, London, 1997. ISBN 0901805947

External links

All links retrieved June 17, 2023.

General


Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

The history of this article since it was imported to New World Encyclopedia:

Note: Some restrictions may apply to use of individual images which are separately licensed.