This is a good article. Click here for more information.

Alan Turing

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Alan Turing

Alan Turing Aged 16.jpg
Turing c. 1928 at age 16
Born
Alan Mathison Turing

(1912-06-23)23 June 1912
Maida Vale, London, United Kingdom
Died7 June 1954(1954-06-07) (aged 41)
Wilmslow, Cheshire, United Kingdom
Cause of deathSuicide (disputed) by cyanide poisoning
Resting placeAshes scattered in gardens of Woking Crematorium
NationalityEnglish
EducationSherborne School
Alma mater
Known for
Partner(s)Joan Clarke
(engaged in 1941; did not marry)
AwardsSmith's Prize (1936)
Scientific career
Fields
Institutions
ThesisSystems of Logic Based on Ordinals (1938)
Doctoral advisorAlonzo Church[2]
Doctoral studentsRobin Gandy,[2][3] Beatrice Worsley[4]
InfluencesMax Newman[5]
Signature
Alan Turing signature.svg

Alan Mathison Turing OBE FRS (/ˈtjʊərɪŋ/; 23 June 1912 – 7 June 1954) was an English[6] mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist.[7] Turing was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer.[8][9][10] Turing is widely considered to be the father of theoretical computer science and artificial intelligence.[11] Despite these accomplishments, he was never fully recognised in his home country during his lifetime due to his homosexuality and because much of his work was covered by the Official Secrets Act.

During the Second World War, Turing worked for the Government Code and Cypher School (GC&CS) at Bletchley Park, Britain's codebreaking centre that produced Ultra intelligence. For a time he led Hut 8, the section that was responsible for German naval cryptanalysis. Here, he devised a number of techniques for speeding the breaking of German ciphers, including improvements to the pre-war Polish bombe method, an electromechanical machine that could find settings for the Enigma machine.

Turing played a crucial role in cracking intercepted coded messages that enabled the Allies to defeat the Nazis in many crucial engagements, including the Battle of the Atlantic, and in so doing helped win the war.[12][13] Due to the problems of counterfactual history, it is hard to estimate the precise effect Ultra intelligence had on the war,[14] but at the upper end it has been estimated that this work shortened the war in Europe by more than two years and saved over 14 million lives.[12]

After the war Turing worked at the National Physical Laboratory, where he designed the Automatic Computing Engine. The Automatic Computing Engine was one of the first designs for a stored-program computer. In 1948, Turing joined Max Newman's Computing Machine Laboratory, at the Victoria University of Manchester, where he helped develop the Manchester computers[15] and became interested in mathematical biology. He wrote a paper on the chemical basis of morphogenesis[1] and predicted oscillating chemical reactions such as the Belousov–Zhabotinsky reaction, first observed in the 1960s.

Turing was prosecuted in 1952 for homosexual acts; the Labouchere Amendment of 1885 had mandated that "gross indecency" was a criminal offence in the UK. He accepted chemical castration treatment, with DES, as an alternative to prison. Turing died in 1954, 16 days before his 42nd birthday, from cyanide poisoning. An inquest determined his death as a suicide, but it has been noted that the known evidence is also consistent with accidental poisoning.

In 2009, following an Internet campaign, British Prime Minister Gordon Brown made an official public apology on behalf of the British government for "the appalling way he was treated". Queen Elizabeth II granted Turing a posthumous pardon in 2013. The "Alan Turing law" is now an informal term for a 2017 law in the United Kingdom that retroactively pardoned men cautioned or convicted under historical legislation that outlawed homosexual acts.[16]

Early life and education[edit]

Family[edit]

Turing was born in Maida Vale, London,[7] while his father, Julius Mathison Turing (1873–1947), was on leave from his position with the Indian Civil Service (ICS) at Chatrapur, then in the Madras Presidency and presently in Odisha state, in India.[17][18] Turing's father was the son of a clergyman, the Rev. John Robert Turing, from a Scottish family of merchants that had been based in the Netherlands and included a baronet. Turing's mother, Julius' wife, was Ethel Sara Turing (née Stoney 1881–1976),[7] daughter of Edward Waller Stoney, chief engineer of the Madras Railways. The Stoneys were a Protestant Anglo-Irish gentry family from both County Tipperary and County Longford, while Ethel herself had spent much of her childhood in County Clare.[19]

Julius' work with the ICS brought the family to British India, where his grandfather had been a general in the Bengal Army. However, both Julius and Ethel wanted their children to be brought up in Britain, so they moved to Maida Vale,[20] London, where Alan Turing was born on 23 June 1912, as recorded by a blue plaque on the outside of the house of his birth,[21][22] later the Colonnade Hotel.[17][23] Turing had an elder brother, John (the father of Sir John Dermot Turing, 12th Baronet of the Turing baronets).[24]

Turing's father's civil service commission was still active and during Turing's childhood years Turing's parents travelled between Hastings in the United Kingdom[25] and India, leaving their two sons to stay with a retired Army couple. At Hastings, Turing stayed at Baston Lodge, Upper Maze Hill, St Leonards-on-Sea, now marked with a blue plaque.[26] The plaque was unveiled on 23 June 2012, the centenary of Turing's birth.[27]

Very early in life, Turing showed signs of the genius that he was later to display prominently.[28] His parents purchased a house in Guildford in 1927, and Turing lived there during school holidays. The location is also marked with a blue plaque.[29]

School[edit]

Turing's parents enrolled him at St Michael's, a day school at 20 Charles Road, St Leonards-on-Sea, at the age of six. The headmistress recognised his talent early on, as did many of his subsequent teachers.

Between January 1922 and 1926, Turing was educated at Hazelhurst Preparatory School, an independent school in the village of Frant in Sussex (now East Sussex).[30] In 1926, at the age of 13, he went on to Sherborne School, a boarding independent school in the market town of Sherborne in Dorset. The first day of term coincided with the 1926 General Strike, in Britain, but Turing was so determined to attend, that he rode his bicycle unaccompanied 60 miles (97 km) from Southampton to Sherborne, stopping overnight at an inn.[31]

Turing c. 1928 at age 16

Turing's natural inclination towards mathematics and science did not earn him respect from some of the teachers at Sherborne, whose definition of education placed more emphasis on the classics. His headmaster wrote to his parents: "I hope he will not fall between two stools. 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".[32] Despite this, Turing continued to show remarkable ability in the studies he loved, solving advanced problems in 1927 without having studied even elementary calculus. In 1928, aged 16, Turing encountered Albert Einstein's work; not only did he grasp it, but it is possible that he managed to deduce Einstein's questioning of Newton's laws of motion from a text in which this was never made explicit.[33]

Christopher Morcom[edit]

At Sherborne, Turing formed a significant friendship with fellow pupil Christopher Collan Morcom (13 July 1911 – 13 February 1930),[34] who has been described as Turing's "first love". Their relationship provided inspiration in Turing's future endeavours, but it was cut short by Morcom's death, in February 1930, from complications of bovine tuberculosis, contracted after drinking infected cow's milk some years previously.[35][36][37]

The event caused Turing great sorrow. He coped with his grief by working that much harder on the topics of science and mathematics that he had shared with Morcom. In a letter to Morcom's mother, Frances Isobel Morcom (née Swan), Turing wrote:

I am sure I could not have found anywhere another companion so brilliant and yet so charming and unconceited. I regarded my interest in my work, and in such things as astronomy (to which he introduced me) as something to be shared with him and I think he felt a little the same about me ... I know I must put as much energy if not as much interest into my work as if he were alive, because that is what he would like me to do.[38]

Turing's relationship with Morcom's mother continued long after Morcom's death, with her sending gifts to Turing, and him sending letters, typically on Morcom's birthdays.[39] A day before the third anniversary of Morcom's death (13 February 1933), he wrote to Mrs. Morcom:

I expect you will be thinking of Chris when this reaches you. I shall too, and this letter is just to tell you that I shall be thinking of Chris and of you tomorrow. I am sure that he is as happy now as he was when he was here. Your affectionate Alan.[40]

Some have speculated that Morcom's death was the cause of Turing's atheism and materialism.[41] Apparently, at this point in his life he still believed in such concepts as a spirit, independent of the body and surviving death. In a later letter, also written to Morcom's mother, Turing wrote:

Personally, I believe that spirit is really eternally connected with matter but certainly not by the same kind of body ... as regards the actual connection between spirit and body I consider that the body can hold on to a 'spirit', whilst the body is alive and awake the two are firmly connected. When the body is asleep I cannot guess what happens but when the body dies, the 'mechanism' of the body, holding the spirit is gone and the spirit finds a new body sooner or later, perhaps immediately.[42]

University and work on computability[edit]

After Sherborne, Turing studied as an undergraduate from 1931 to 1934 at King's College, Cambridge,[7] where he was awarded first-class honours in mathematics. In 1935, at the age of 22, he was elected a Fellow of King's College on the strength of a dissertation in which he proved the central limit theorem.[43] Unknown to the committee, the theorem had already been proven, in 1922, by Jarl Waldemar Lindeberg.[44] A blue plaque at the college was unveiled on the centenary of his birth on 23 June 2012 and is now installed at the college's Keynes Building on King's Parade.[45][46]

In 1936, Turing published his paper "On Computable Numbers, with an Application to the Entscheidungsproblem".[47] It was published in the Proceedings of the London Mathematical Society journal in two parts, the first on 30 November and the second on 23 December.[48] In this paper, Turing reformulated Kurt Gödel's 1931 results on the limits of proof and computation, replacing Gödel's universal arithmetic-based formal language with the formal and simple hypothetical devices that became known as Turing machines. The Entscheidungsproblem (decision problem) was originally posed by German mathematician David Hilbert in 1928. Turing proved that his "universal computing machine" would be capable of performing any conceivable mathematical computation if it were representable as an algorithm. He went on to prove that there was no solution to the decision problem by first showing that the halting problem for Turing machines is undecidable: it is not possible to decide algorithmically whether a Turing machine will ever halt.

King's College, Cambridge, where Turing was a student in 1931 and became a Fellow in 1935. The computer room is named after him.

Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus,[49] Turing's approach is considerably more accessible and intuitive than Church's.[50] It also included a notion of a 'Universal Machine' (now known as a universal Turing machine), with the idea that such a machine could perform the tasks of any other computation machine (as indeed could Church's lambda calculus). According to the Church–Turing thesis, Turing machines and the lambda calculus are capable of computing anything that is computable. John von Neumann acknowledged that the central concept of the modern computer was due to Turing's paper.[51] To this day, Turing machines are a central object of study in theory of computation.

From September 1936 to July 1938, Turing spent most of his time studying under Church at Princeton University,[4] in the second year as a Jane Eliza Procter Visiting Fellow. In addition to his purely mathematical work, he studied cryptology and also built three of four stages of an electro-mechanical binary multiplier.[52] In June 1938, he obtained his PhD from the Department of Mathematics at Princeton;[53] his dissertation, Systems of Logic Based on Ordinals,[54][55] introduced the concept of ordinal logic and the notion of relative computing, where Turing machines are augmented with so-called oracles, allowing the study of problems that cannot be solved by Turing machines. John von Neumann wanted to hire him as his postdoctoral assistant, but he went back to the United Kingdom.[56]

Career and research[edit]

When Turing returned to Cambridge, he attended lectures given in 1939 by Ludwig Wittgenstein about the foundations of mathematics.[57] The lectures have been reconstructed verbatim, including interjections from Turing and other students, from students' notes.[58] Turing and Wittgenstein argued and disagreed, with Turing defending formalism and Wittgenstein propounding his view that mathematics does not discover any absolute truths, but rather invents them.[59]

Cryptanalysis[edit]

During the Second World War, Turing was a leading participant in the breaking of German ciphers at Bletchley Park. The historian and wartime codebreaker Asa Briggs has said, "You needed exceptional talent, you needed genius at Bletchley and Turing's was that genius."[60]

From September 1938, Turing worked part-time with the Government Code and Cypher School (GC&CS), the British codebreaking organisation. He concentrated on cryptanalysis of the Enigma cipher machine used by Nazi Germany, together with Dilly Knox, a senior GC&CS codebreaker.[61] Soon after the July 1939 Warsaw meeting at which the Polish Cipher Bureau gave the British and French details of the wiring of Enigma machine's rotors and their method of decrypting Enigma machine's messages, Turing and Knox developed broader solution.[62] The Polish method relied on an insecure indicator procedure that the Germans were likely to change, which they in fact did in May 1940. Turing's approach was more general, using crib-based decryption for which he produced the functional specification of the bombe (an improvement of the Polish Bomba).[63]

Two cottages in the stable yard at Bletchley Park. Turing worked here in 1939 and 1940, before moving to Hut 8.

On 4 September 1939, the day after the UK declared war on Germany, Turing reported to Bletchley Park, the wartime station of GC&CS.[64] Specifying the bombe was the first of five major cryptanalytical advances that Turing made during the war. The others were: deducing the indicator procedure used by the German navy; developing a statistical procedure for making much more efficient use of the bombes dubbed Banburismus; developing a procedure for working out the cam settings of the wheels of the Lorenz SZ 40/42 (Tunny) dubbed Turingery and, towards the end of the war, the development of a portable secure voice scrambler at Hanslope Park that was codenamed Delilah.

By using statistical techniques to optimise the trial of different possibilities in the code breaking process, Turing made an innovative contribution to the subject. He wrote two papers discussing mathematical approaches, titled The Applications of Probability to Cryptography[65] and Paper on Statistics of Repetitions,[66] which were of such value to GC&CS and its successor GCHQ that they were not released to the UK National Archives until April 2012, shortly before the centenary of his birth. A GCHQ mathematician, "who identified himself only as Richard," said at the time that the fact that the contents had been restricted for some 70 years demonstrated their importance, and their relevance to post-war cryptanalysis:[67]

[He] said the fact that the contents had been restricted "shows what a tremendous importance it has in the foundations of our subject". ... The papers detailed using "mathematical analysis to try and determine which are the more likely settings so that they can be tried as quickly as possible." ... Richard said that GCHQ had now "squeezed the juice" out of the two papers and was "happy for them to be released into the public domain".

Turing had a reputation for eccentricity at Bletchley Park. He was known to his colleagues as "Prof" and his treatise on Enigma was known as the "Prof's Book".[68] According to historian Ronald Lewin, Jack Good, a cryptanalyst who worked with Turing, said of his colleague:

In the first week of June each year he would get a bad attack of hay fever, and he would cycle to the office wearing a service gas mask to keep the pollen off. His bicycle had a fault: the chain would come off at regular intervals. Instead of having it mended he would count the number of times the pedals went round and would get off the bicycle in time to adjust the chain by hand. Another of his eccentricities is that he chained his mug to the radiator pipes to prevent it being stolen.[69]

Peter Hilton recounted his experience working with Turing in Hut 8 in his "Reminiscences of Bletchley Park" from A Century of Mathematics in America:[70]

It is a rare experience to meet an authentic genius. Those of us privileged to inhabit the world of scholarship are familiar with the intellectual stimulation furnished by talented colleagues. We can admire the ideas they share with us and are usually able to understand their source; we may even often believe that we ourselves could have created such concepts and originated such thoughts. However, the experience of sharing the intellectual life of a genius is entirely different; one realizes that one is in the presence of an intelligence, a sensibility of such profundity and originality that one is filled with wonder and excitement. Alan Turing was such a genius, and those, like myself, who had the astonishing and unexpected opportunity, created by the strange exigencies of the Second World War, to be able to count Turing as colleague and friend will never forget that experience, nor can we ever lose its immense benefit to us.

Hilton echoed similar thoughts in the Nova PBS documentary Decoding Nazi Secrets.[71]

While working at Bletchley, Turing, who was a talented long-distance runner, occasionally ran the 40 miles (64 km) to London when he was needed for meetings,[72] and he was capable of world-class marathon standards.[73][74] Turing tried out for the 1948 British Olympic team but he was hampered by an injury. His tryout time for the marathon was only 11 minutes slower than British silver medallist Thomas Richards' Olympic race time of 2 hours 35 minutes. He was Walton Athletic Club's best runner, a fact discovered when he passed the group while running alone.[75][76][77]

In 1946, Turing was appointed an Officer of the Order of the British Empire (OBE) by King George VI for his wartime services, but his work remained secret for many years.[78][79]

Bombe[edit]

Within weeks of arriving at Bletchley Park,[64] Turing had specified an electromechanical machine called the bombe, which could break Enigma more effectively than the Polish bomba kryptologiczna, from which its name was derived. The bombe, with an enhancement suggested by mathematician Gordon Welchman, became one of the primary tools, and the major automated one, used to attack Enigma-enciphered messages.[80]

A complete and working replica of a bombe now at The National Museum of Computing on Bletchley Park

The bombe searched for possible correct settings used for an Enigma message (i.e., rotor order, rotor settings and plugboard settings) using a suitable crib: a fragment of probable plaintext. For each possible setting of the rotors (which had on the order of 1019 states, or 1022 states for the four-rotor U-boat variant),[81] the bombe performed a chain of logical deductions based on the crib, implemented electromechanically.[citation needed]

The bombe detected when a contradiction had occurred and ruled out that setting, moving on to the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. A contradiction would occur when an enciphered letter would be turned back into the same plaintext letter, which was impossible with the Enigma. The first bombe was installed on 18 March 1940.[82]

By late 1941, Turing and his fellow cryptanalysts Gordon Welchman, Hugh Alexander and Stuart Milner-Barry were frustrated. Building on the work of the Poles, they had set up a good working system for decrypting Enigma signals, but their limited staff and bombes meant they could not translate all the signals. In the summer, they had considerable success, and shipping losses had fallen to under 100,000 tons a month; however, they badly needed more resources to keep abreast of German adjustments. They had tried to get more people and fund more bombes through the proper channels, but had failed.[83]

On 28 October they wrote directly to Winston Churchill explaining their difficulties, with Turing as the first named. They emphasised how small their need was compared with the vast expenditure of men and money by the forces and compared with the level of assistance they could offer to the forces.[83] As Andrew Hodges, biographer of Turing, later wrote, "This letter had an electric effect."[84] Churchill wrote a memo to General Ismay, which read: "ACTION THIS DAY. Make sure they have all they want on extreme priority and report to me that this has been done." On 18 November, the chief of the secret service reported that every possible measure was being taken.[84] The cryptographers at Bletchley Park did not know of the Prime Minister's response, but as Milner-Barry recalled, "All that we did notice was that almost from that day the rough ways began miraculously to be made smooth."[85] More than two hundred bombes were in operation by the end of the war.[86]

Statue of Turing by Stephen Kettle at Bletchley Park, commissioned by Sidney Frank, built from half a million pieces of Welsh slate.[87]

Hut 8 and the naval Enigma[edit]

Turing decided to tackle the particularly difficult problem of German naval Enigma "because no one else was doing anything about it and I could have it to myself".[88] In December 1939, Turing solved the essential part of the naval indicator system, which was more complex than the indicator systems used by the other services.[88][89]

That same night, he also conceived of the idea of Banburismus, a sequential statistical technique (what Abraham Wald later called sequential analysis) to assist in breaking the naval Enigma, "though I was not sure that it would work in practice, and was not, in fact, sure until some days had actually broken."[88] For this, he invented a measure of weight of evidence that he called the ban. Banburismus could rule out certain sequences of the Enigma rotors, substantially reducing the time needed to test settings on the bombes.[90] Later this sequential process of accumulating sufficient weight of evidence using decibans (one tenth of a ban) was used in Cryptanalysis of the Lorenz cipher[91]

Turing travelled to the United States in November 1942[92] and worked with US Navy cryptanalysts on the naval Enigma and bombe construction in Washington; he also visited their Computing Machine Laboratory in Dayton, Ohio.

Turing's reaction to the American bombe design was far from enthusiastic:

The American Bombe programme was to produce 336 Bombes, one for each wheel order. I used to smile inwardly at the conception of Bombe hut routine implied by this programme, but thought that no particular purpose would be served by pointing out that we would not really use them in that way. Their test (of commutators) can hardly be considered conclusive as they were not testing for the bounce with electronic stop finding devices. Nobody seems to be told about rods or offiziers or banburismus unless they are really going to do something about it.[93]

During this trip, he also assisted at Bell Labs with the development of secure speech devices.[94] He returned to Bletchley Park in March 1943. During his absence, 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.[95]

Alexander wrote of Turing's contribution:

There should be no question in anyone's mind that Turing's work was the biggest factor in Hut 8's success. In the early days, he was the only cryptographer who thought the problem worth tackling and not only was he primarily responsible for the main theoretical work within the Hut, but he also shared with Welchman and Keen the chief credit for the invention of the bombe. It is always difficult to say that anyone is 'absolutely indispensable', but if anyone was indispensable to Hut 8, it was Turing. The pioneer's work always tends to be forgotten when experience and routine later make everything seem easy and many of us in Hut 8 felt that the magnitude of Turing's contribution was never fully realised by the outside world.[96]

Turingery[edit]

In July 1942, Turing devised a technique termed Turingery (or jokingly Turingismus)[97] for use against the Lorenz cipher messages produced by the Germans' new Geheimschreiber (secret writer) machine. This was a teleprinter rotor cipher attachment codenamed Tunny at Bletchley Park. Turingery was a method of wheel-breaking, i.e., a procedure for working out the cam settings of Tunny's wheels.[98] He also introduced the Tunny team to Tommy Flowers who, under the guidance of Max Newman, went on to build the Colossus computer, the world's first programmable digital electronic computer, which replaced a simpler prior machine (the Heath Robinson), and whose superior speed allowed the statistical decryption techniques to be applied usefully to the messages.[99] Some have mistakenly said that Turing was a key figure in the design of the Colossus computer. Turingery and the statistical approach of Banburismus undoubtedly fed into the thinking about cryptanalysis of the Lorenz cipher,[100][101] but he was not directly involved in the Colossus development.[102]

Delilah[edit]

Following his work at Bell Labs in the US,[103] Turing pursued the idea of electronic enciphering of speech in the telephone system. In the latter part of the war, he moved to work for the Secret Service's Radio Security Service (later HMGCC) at Hanslope Park. At the park, he further developed his knowledge of electronics with the assistance of engineer Donald Bayley. Together they undertook the design and construction of a portable secure voice communications machine codenamed Delilah.[104] The machine was intended for different applications, but it lacked the capability for use with long-distance radio transmissions. In any case, Delilah was completed too late to be used during the war. Though the system worked fully, with Turing demonstrating it to officials by encrypting and decrypting a recording of a Winston Churchill speech, Delilah was not adopted for use.[105] Turing also consulted with Bell Labs on the development of SIGSALY, a secure voice system that was used in the later years of the war.

Early computers and the Turing test[edit]

Plaque, 78 High Street, Hampton

Between 1945 and 1947, Turing lived in Hampton, London,[106] while he worked on the design of the ACE (Automatic Computing Engine) at the National Physical Laboratory (NPL). He presented a paper on 19 February 1946, which was the first detailed design of a stored-program computer.[107] Von Neumann's incomplete First Draft of a Report on the EDVAC had predated Turing's paper, but it was much less detailed and, according to John R. Womersley, Superintendent of the NPL Mathematics Division, it "contains a number of ideas which are Dr. Turing's own".[108] Although ACE was a feasible design, the secrecy surrounding the wartime work at Bletchley Park led to delays in starting the project and he became disillusioned. In late 1947 he returned to Cambridge for a sabbatical year during which he produced a seminal work on Intelligent Machinery that was not published in his lifetime.[109] While he was at Cambridge, the Pilot ACE was being built in his absence. It executed its first program on 10 May 1950, and a number of later computers around the world owe much to it, including the English Electric DEUCE and the American Bendix G-15. The full version of Turing's ACE was not built until after his death.[110]

According to the memoirs of the German computer pioneer Heinz Billing from the Max Planck Institute for Physics, published by Genscher, Düsseldorf, there was a meeting between Turing and Konrad Zuse.[111] It took place in Göttingen in 1947. The interrogation had the form of a colloquium. Participants were Womersley, Turing, Porter from England and a few German researchers like Zuse, Walther, and Billing (for more details see Herbert Bruderer, Konrad Zuse und die Schweiz).

In 1948, Turing was appointed reader in the Mathematics Department at the Victoria University of Manchester. A year later, he became Deputy Director of the Computing Machine Laboratory, where he worked on software for one of the earliest stored-program computers—the Manchester Mark 1. Turing wrote the first version of the Programmer's Manual for this machine, and was recruited by Ferranti as a consultant in the development of their commercialised machine, the Ferranti Mark 1. He continued to be paid consultancy fees by Ferranti until his death.[112] During this time, he continued to do more abstract work in mathematics,[113] and in "Computing Machinery and Intelligence" (Mind, October 1950), Turing addressed the problem of artificial intelligence, and proposed an experiment that became known as the Turing test, an attempt to define a standard for a machine to be called "intelligent". The idea was that a computer could be said to "think" if a human interrogator could not tell it apart, through conversation, from a human being.[114] In the paper, Turing suggested that rather than building a program to simulate the adult mind, it would be better to produce a simpler one to simulate a child's mind and then to subject it to a course of education. A reversed form of the Turing test is widely used on the Internet; the CAPTCHA test is intended to determine whether the user is a human or a computer.

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. By 1950, the program was completed and dubbed the Turochamp.[115] In 1952, he tried to implement it on a Ferranti Mark 1, but lacking enough power, the computer was unable to execute the program. Instead, Turing "ran" the program by flipping through the pages of the algorithm and carrying out its instructions on a chessboard, taking about half an hour per move. The game was recorded.[116] According to Garry Kasparov, Turing's program "played a recognizable game of chess."[117] The program lost to Turing's colleague Alick Glennie, although it is said that it won a game against Champernowne's wife, Isabel.[118]

His Turing test was a significant, characteristically provocative, and lasting contribution to the debate regarding artificial intelligence, which continues after more than half a century.[119]

Pattern formation and mathematical biology[edit]

When Turing was 39 years old in 1951, he turned to mathematical biology, finally publishing his masterpiece "The Chemical Basis of Morphogenesis" in January 1952. He was interested in morphogenesis, the development of patterns and shapes in biological organisms. He suggested that a system of chemicals reacting with each other and diffusing across space, termed a reaction-diffusion system, could account for "the main phenomena of morphogenesis".[120] He used systems of partial differential equations to model catalytic chemical reactions. For example, if a catalyst A is required for a certain chemical reaction to take place, and if the reaction produced more of the catalyst A, then we say that the reaction is autocatalytic, and there is positive feedback that can be modelled by nonlinear differential equations. Turing discovered that patterns could be created if the chemical reaction not only produced catalyst A, but also produced an inhibitor B that slowed down the production of A. If A and B then diffused through the container at different rates, then you could have some regions where A dominated and some where B did. To calculate the extent of this, Turing would have needed a powerful computer, but these were not so freely available in 1951, so he had to use linear approximations to solve the equations by hand. These calculations gave the right qualitative results, and produced, for example, a uniform mixture that oddly enough had regularly spaced fixed red spots. The Russian biochemist Boris Belousov had performed experiments with similar results, but could not get his papers published because of the contemporary prejudice that any such thing violated the second law of thermodynamics. Belousov was not aware of Turing's paper in the Philosophical Transactions of the Royal Society.[121]

Although published before the structure and role of DNA was understood, Turing's work on morphogenesis remains relevant today and is considered a seminal piece of work in mathematical biology.[122] One of the early applications of Turing's paper was the work by James Murray explaining spots and stripes on the fur of cats, large and small.[123][124][125] Further research in the area suggests that Turing's work can partially explain the growth of "feathers, hair follicles, the branching pattern of lungs, and even the left-right asymmetry that puts the heart on the left side of the chest."[126] In 2012, Sheth, et al. found that in mice, removal of Hox genes causes an increase in the number of digits without an increase in the overall size of the limb, suggesting that Hox genes control digit formation by tuning the wavelength of a Turing-type mechanism.[127] Later papers were not available until Collected Works of A. M. Turing was published in 1992.[128]

Personal life[edit]

Part of a series on
LGBT rights
in the United Kingdom
The Union Flag
By location
Policy aspects
Legislation
Culture
Organisations
History
Nuvola LGBT flag.svg LGBT portal

Engagement[edit]

In 1941, Turing proposed marriage to Hut 8 colleague Joan Clarke, a fellow mathematician and cryptanalyst, but their engagement was short-lived. After admitting his homosexuality to his fiancée, who was reportedly "unfazed" by the revelation, Turing decided that he could not go through with the marriage.[129]

Conviction for indecency[edit]

In January 1952, Turing was 39 when he started a relationship with Arnold Murray, a 19-year-old unemployed man. Just before Christmas, Turing was walking along Manchester's Oxford Road when he met Murray just outside the Regal Cinema and invited him to lunch. On 23 January, Turing's house was burgled. Murray told Turing that he and the burglar were acquainted, and Turing reported the crime to the police. During the investigation, he acknowledged a sexual relationship with Murray. Homosexual acts were criminal offences in the United Kingdom at that time,[130] and both men were charged with "gross indecency" under Section 11 of the Criminal Law Amendment Act 1885.[131] Initial committal proceedings for the trial were held on 27 February during which Turing's solicitor "reserved his defence", i.e., did not argue or provide evidence against the allegations.

Turing was later convinced by the advice of his brother and his own solicitor, and he entered a plea of guilty.[132] The case, Regina v. Turing and Murray, was brought to trial on 31 March 1952.[133] Turing was convicted and given a choice between imprisonment and probation. His probation would be conditional on his agreement to undergo hormonal physical changes designed to reduce libido. He accepted the option of injections of what was then called stilboestrol (now known as diethylstilbestrol or DES), a synthetic oestrogen; this feminization of his body was continued for the course of one year. The treatment rendered Turing impotent and caused breast tissue to form,[134] fulfilling in the literal sense Turing's prediction that "no doubt I shall emerge from it all a different man, but quite who I've not found out".[135][136] Murray was given a conditional discharge.[137]

Turing's conviction led to the removal of his security clearance and barred him from continuing with his cryptographic consultancy for the Government Communications Headquarters (GCHQ), the British signals intelligence agency that had evolved from GC&CS in 1946, though he kept his academic job. He was denied entry into the United States after his conviction in 1952, but was free to visit other European countries. Turing was never accused of espionage but, in common with all who had worked at Bletchley Park, he was prevented by the Official Secrets Act from discussing his war work.[138]

Death[edit]

On 8 June 1954, Turing's housekeeper found him dead at the age of 41; he had died the previous day. Cyanide poisoning was established as the cause of death.[139] When his body was discovered, an apple lay half-eaten beside his bed, and although the apple was not tested for cyanide,[140] it was speculated that this was the means by which Turing had consumed a fatal dose. An inquest determined that he had committed suicide. Andrew Hodges and another biographer, David Leavitt, have both speculated that Turing was re-enacting a scene from the Walt Disney film Snow White and the Seven Dwarfs (1937), his favourite fairy tale. Both men noted that (in Leavitt's words) he took "an especially keen pleasure in the scene where the Wicked Queen immerses her apple in the poisonous brew".[141] Turing's remains were cremated at Woking Crematorium on 12 June 1954,[142] and his ashes were scattered in the gardens of the crematorium, just as his father's had been.[143]

Philosophy professor Jack Copeland has questioned various aspects of the coroner's historical verdict. He suggested an alternative explanation for the cause of Turing's death: the accidental inhalation of cyanide fumes from an apparatus used to electroplate gold onto spoons. The potassium cyanide was used to dissolve the gold. Turing had such an apparatus set up in his tiny spare room. Copeland noted that the autopsy findings were more consistent with inhalation than with ingestion of the poison. Turing also habitually ate an apple before going to bed, and it was not unusual for the apple to be discarded half-eaten.[144] In addition, Turing had reportedly borne his legal setbacks and hormone treatment (which had been discontinued a year previously) "with good humour" and had shown no sign of despondency prior to his death. He even set down a list of tasks that he intended to complete upon returning to his office after the holiday weekend.[144] Turing's mother believed that the ingestion was accidental, resulting from her son's careless storage of laboratory chemicals.[145] Biographer Andrew Hodges theorised that Turing arranged the delivery of the equipment to deliberately allow his mother plausible deniability with regard to any suicide claims.[146]

Turing's OBE currently held in Sherborne School archives

Conspiracy theorists pointed out that Turing was the cause of intense anxiety to the British authorities at the time of his death. The secret services feared that communists would entrap prominent homosexuals and use them to gather intelligence. Turing was still engaged in highly classified work when he was also a practising homosexual who holidayed in European countries near the Iron Curtain. According to the conspiracy theory, it is possible that the secret services considered him too great a security risk and assassinated one of the most brilliant minds in their employ.[147]

It has been suggested that Turing's belief in fortune-telling may have caused his depressed mood.[143] As a youth, Turing had been told by a fortune-teller that he would be a genius. Shortly before his death, during a day-trip to St Annes-on-Sea with the Greenbaum family,[when?] Turing again decided to consult a fortune-teller.[143] According to the Greenbaums' daughter, Barbara:[148]

But it was a lovely sunny day and Alan was in a cheerful mood and off we went... Then he thought it would be a good idea to go to the Pleasure Beach at Blackpool. We found a fortune-teller's tent[,] and Alan said he'd like to go in[,] so we waited around for him to come back... And this sunny, cheerful visage had shrunk into a pale, shaking, horror-stricken face. Something had happened. We don't know what the fortune-teller said[,] but he obviously was deeply unhappy. I think that was probably the last time we saw him before we heard of his suicide.

Government apology and pardon[edit]

In August 2009, British programmer John Graham-Cumming started a petition urging the British government to apologise for Turing's prosecution as a homosexual.[149][150] The petition received more than 30,000 signatures.[151][152] The Prime Minister, Gordon Brown, acknowledged the petition, releasing a statement on 10 September 2009 apologising and describing the treatment of Turing as "appalling":[151][153]

Thousands of people have come together to demand justice for Alan Turing and recognition of the appalling way he was treated. While Turing was dealt with under the law of the time and we can't put the clock back, his treatment was of course utterly unfair and I am pleased to have the chance to say how deeply sorry I and we all are for what happened to him ... So on behalf of the British government, and all those who live freely thanks to Alan's work I am very proud to say: we're sorry, you deserved so much better.[151][154]

In December 2011, William Jones and his Member of Parliament, John Leech, created an e-petition[155] requesting that the British government pardon Turing for his conviction of "gross indecency":[156]

We ask the HM Government to grant a pardon to Alan Turing for the conviction of "gross indecency". In 1952, he was convicted of "gross indecency" with another man and was forced to undergo so-called "organo-therapy"—chemical castration. Two years later, he killed himself with cyanide, aged just 41. Alan Turing was driven to a terrible despair and early death by the nation he'd done so much to save. This remains a shame on the British government and British history. A pardon can go some way to healing this damage. It may act as an apology to many of the other gay men, not as well-known as Alan Turing, who were subjected to these laws.[155]

The petition gathered over 37,000 signatures,[155][157] and was submitted to Parliament by the Manchester MP John Leech but the request was discouraged by Justice Minister Lord McNally, who said:[158]

A posthumous pardon was not considered appropriate as Alan Turing was properly convicted of what at the time was a criminal offence. He would have known that his offence was against the law and that he would be prosecuted. It is tragic that Alan Turing was convicted of an offence that now seems both cruel and absurd—particularly poignant given his outstanding contribution to the war effort. However, the law at the time required a prosecution and, as such, long-standing policy has been to accept that such convictions took place and, rather than trying to alter the historical context and to put right what cannot be put right, ensure instead that we never again return to those times.[159]

John Leech, the MP for Manchester Withington (2005–15), submitted several bills to Parliament[160] and led a high-profile campaign to secure the pardon. Leech made the case in the House of Commons that Turing's contribution to the war made him a national hero and that it was "ultimately just embarrassing" that the conviction still stood.[161] Leech continued to take the bill through Parliament and campaigned for several years until it was passed.[162] Leech is now regularly described as the "architect" of Turing's pardon and subsequently the Alan Turing Law which went on to secure pardons for 75,000 other men and women convicted of similar crimes.[163][164] At the UK premiere of a film based on Turing's life, The Imitation Game, the producers thanked Leech for bringing the topic to public attention and securing Turing's pardon.[165] His campaign turned to acquiring pardons for the 75,000 other men convicted of the same crime. Leech's campaign gained public support from leading scientists, including Stephen Hawking.[166] He is often described as the "architect" of 'Turing's Law', which used Turing's pardon as a precedent to eventually successfully grant a posthumous pardon to more than 49,000 other men historically criminally convicted of 'Gross Indecencey'. [167] [168] [169] [170] [171] [172] [173] [174] [175]

On 26 July 2012, a bill was introduced in the House of Lords to grant a statutory pardon to Turing for offences under section 11 of the Criminal Law Amendment Act 1885, of which he was convicted on 31 March 1952.[176] Late in the year in a letter to The Daily Telegraph, the physicist Stephen Hawking and 10 other signatories including the Astronomer Royal Lord Rees, President of the Royal Society Sir Paul Nurse, Lady Trumpington (who worked for Turing during the war) and Lord Sharkey (the bill's sponsor) called on Prime Minister David Cameron to act on the pardon request.[177] The government indicated it would support the bill,[178][179][180] and it passed its third reading in the Lords in October.[181]

At the bill's second reading in the House of Commons on 29 November 2013, Conservative MP Christopher Chope objected to the bill, delaying its passage. The bill was due to return to the House of Commons on 28 February 2014,[182] but before the bill could be debated in the House of Commons,[183] the government elected to proceed under the royal prerogative of mercy. On 24 December 2013, Queen Elizabeth II signed a pardon for Turing's conviction for "gross indecency", with immediate effect.[184] Announcing the pardon, Lord Chancellor Chris Grayling said Turing deserved to be "remembered and recognised for his fantastic contribution to the war effort" and not for his later criminal conviction.[157][185] The Queen officially pronounced Turing pardoned in August 2014.[186] The Queen's action is only the fourth royal pardon granted since the conclusion of the Second World War.[187] Pardons are normally granted only when the person is technically innocent, and a request has been made by the family or other interested party; neither condition was met in regard to Turing's conviction.[188]

In a letter to the Prime Minister, David Cameron, human rights advocate Peter Tatchell criticised the decision to single out Turing due to his fame and achievements when thousands of others convicted under the same law have not received pardons.[189] Tatchell also called for a new investigation into Turing's death:

A new inquiry is long overdue, even if only to dispel any doubts about the true cause of his death—including speculation that he was murdered by the security services (or others). I think murder by state agents is unlikely. There is no known evidence pointing to any such act. However, it is a major failing that this possibility has never been considered or investigated.[190]

In September 2016, the government announced its intention to expand this retroactive exoneration to other men convicted of similar historical indecency offences, in what was described as an "Alan Turing law".[191][192] The Alan Turing law is now an informal term for the law in the United Kingdom, contained in the Policing and Crime Act 2017, which serves as an amnesty law to retroactively pardon men who were cautioned or convicted under historical legislation that outlawed homosexual acts. The law applies in England and Wales.[193]

Legacy[edit]

Awards, honours, and tributes[edit]

The Alan Turing Building at the University of Manchester in 2008

Turing was appointed an officer of the Order of the British Empire 1946.[79] He was also elected a Fellow of the Royal Society (FRS) in 1951.[8]

Turing has been honoured in various ways in Manchester, the city where he worked towards the end of his life. In 1994, a stretch of the A6010 road (the Manchester city intermediate ring road) was named "Alan Turing Way". A bridge carrying this road was widened, and carries the name Alan Turing Bridge. A statue of Turing was unveiled in Manchester on 23 June 2001 in Sackville Park, between the University of Manchester building on Whitworth Street and Canal Street. The memorial statue depicts the "father of computer science" sitting on a bench at a central position in the park. Turing is shown holding an apple. The cast bronze bench carries in relief the text 'Alan Mathison Turing 1912–1954', and the motto 'Founder of Computer Science' as it could appear if encoded by an Enigma machine: 'IEKYF ROMSI ADXUO KVKZC GUBJ'. However, the meaning of the coded message is disputed, as the 'u' in 'computer' matches up with the 'u' in 'ADXUO'. As a letter encoded by an enigma machine can not appear as itself, the actual message behind the code is uncertain.[194]

Turing memorial statue plaque in Sackville Park, Manchester

A plaque at the statue's feet reads 'Father of computer science, mathematician, logician, wartime codebreaker, victim of prejudice'. There is also a Bertrand Russell quotation: "Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture." The sculptor buried his own old Amstrad computer under the plinth as a tribute to "the godfather of all modern computers".[195]

In 1999, Time magazine named Turing as one of the 100 Most Important People of the 20th century and stated, "The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine."[9]

Centenary celebrations[edit]

To mark the 100th anniversary of Turing's birth, the Turing Centenary Advisory Committee (TCAC) co-ordinated the Alan Turing Year, a year-long programme of events around the world honouring Turing's life and achievements. The TCAC, chaired by S. Barry Cooper with Turing's nephew Sir John Dermot Turing acting as Honorary President, worked with the University of Manchester faculty members and a broad spectrum of people from Cambridge University and Bletchley Park.

Historic England controversy[edit]

In May 2020 it was reported by Gay Star News that a 12-foot (3.7 m) high steel sculpture, to honour Turing, designed by Sir Antony Gormley, was planned to be installed in King's College, Cambridge. Historic England, however, was quoted as saying that the abstract work of 19 steel slabs "... would be at odds with the existing character of the College. This would result in harm, of a less than substantial nature, to the significance of the listed buildings and landscape, and by extension the conservation area."[196]

References[edit]

  1. ^ a b Alan Turing publications indexed by Google Scholar Edit this at Wikidata
  2. ^ a b Alan Turing at the Mathematics Genealogy Project
  3. ^ Gandy, Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics (PhD thesis). University of Cambridge. doi:10.17863/CAM.16125. EThOS uk.bl.ethos.590164. Archived from the original on 9 December 2017. Retrieved 9 December 2017. Free to read
  4. ^ a b Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.). Engineering Trustworthy Software Systems. SETSS 2018. Lecture Notes in Computer Science. 11430. Cham: Springer. pp. 202–235. doi:10.1007/978-3-030-17601-3_5.
  5. ^ Grattan-Guinness, Ivor, Chapter 40, Turing's mentor, Max Newman. In Copeland, B. Jack; Bowen, Jonathan P.; Wilson, Robin; Sprevak, Mark (2017). The Turing Guide. Oxford University Press. ISBN 978-0-19-874782-6.
  6. ^ "Who was Alan Turing?". The British Library. Archived from the original on 23 July 2019. Retrieved 29 July 2019.
  7. ^ a b c d Anon (2017). "Turing, Alan Mathison". Who's Who. ukwhoswho.com (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U243891. (subscription or UK public library membership required) (subscription required)
  8. ^ a b Newman, M.H.A. (1955). "Alan Mathison Turing. 1912–1954". Biographical Memoirs of Fellows of the Royal Society. 1: 253–263. doi:10.1098/rsbm.1955.0019. JSTOR 769256.
  9. ^ a b Gray, Paul (29 March 1999). "Alan Turing – Time 100 People of the Century". Time. Archived from the original on 19 January 2011. Retrieved 10 January 2011. Providing a blueprint for the electronic digital computer. The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.
  10. ^ Sipser 2006, p. 137
  11. ^ Beavers 2013, p. 481
  12. ^ a b Copeland, Jack (18 June 2012). "Alan Turing: The codebreaker who saved 'millions of lives'". BBC News Technology. Archived from the original on 11 October 2014. Retrieved 26 October 2014.
  13. ^ A number of sources state that Winston Churchill said that Turing made the single biggest contribution to Allied victory in the war against Nazi Germany. However, both The Churchill Centre and Turing's biographer Andrew Hodges have stated they know of no documentary evidence to support this claim, nor of the date or context in which Churchill supposedly said it, and the Churchill Centre lists it among their Churchill 'Myths', see Schilling, Jonathan (8 January 2015). "Churchill Said Turing Made the Single Biggest Contribution to Allied Victory". The Churchill Centre: Myths. Archived from the original on 17 February 2015. Retrieved 9 January 2015. and Hodges, Andrew. "Part 4: The Relay Race". Update to Alan Turing: The Enigma. Archived from the original on 20 January 2015. Retrieved 9 January 2015. A BBC News profile piece that repeated the Churchill claim has subsequently been amended to say there is no evidence for it. See Spencer, Clare (11 September 2009). "Profile: Alan Turing". BBC News. Archived from the original on 13 December 2017. Retrieved 17 February 2015. Update 13 February 2015
  14. ^ See for example Richelson, Jeffery T. (1997). A Century of Spies: Intelligence in the Twentieth Century. New York: Oxford University Press. p. 296. and Hartcup, Guy (2000). The Effect of Science on the Second World War. Basingstoke, Hampshire: Macmillan Press. pp. 96–99.
  15. ^ Leavitt 2007, pp. 231–233
  16. ^ "'Alan Turing law': Thousands of gay men to be pardoned". BBC News. 20 October 2016. Archived from the original on 20 October 2016. Retrieved 20 October 2016.
  17. ^ a b Hodges 1983, p. 5
  18. ^ "The Alan Turing Internet Scrapbook". Alan Turing: The Enigma. Archived from the original on 14 October 2012. Retrieved 2 January 2012.
  19. ^ Phil Maguire, "An Irishman's Diary", p. 5. The Irish Times, 23 June 2012.
  20. ^ "London Blue Plaques". English Heritage. Archived from the original on 3 September 2009. Retrieved 10 February 2007.
  21. ^ The Scientific Tourist In London: #17 Alan Turing's Birth Place Archived 21 September 2013 at the Wayback Machine, Nature. London Blog
  22. ^ Plaque #381 on Open Plaques.
  23. ^ "The Alan Turing Internet Scrapbook". Archived from the original on 20 July 2011. Retrieved 26 September 2006.
  24. ^ Sir John Dermot Turing Archived 18 October 2017 at the Wayback Machine on the Bletchley Park website.
  25. ^ Hodges 1983, p. 6
  26. ^ "Plaque unveiled at Turing's home in St Leonards". Hastings & St. Leonards Observer. 29 June 2012. Archived from the original on 12 September 2017. Retrieved 3 July 2017.
  27. ^ "St Leonards plaque marks Alan Turing's early years". BBC News. 25 June 2012. Archived from the original on 3 December 2017. Retrieved 3 July 2017.
  28. ^ Jones, G. James (11 December 2001). "Alan Turing – Towards a Digital Mind: Part 1". System Toolbox. Archived from the original on 3 August 2007. Retrieved 27 July 2007.
  29. ^ "Guildford Dragon NEWS". The Guildford Dragon. 29 November 2012. Archived from the original on 19 October 2013. Retrieved 31 October 2013.
  30. ^ Alan Mathison (April 2016). "Alan Turing Archive – Sherborne School (ARCHON CODE: GB1949)" (PDF). Sherborne School, Dorset. Archived (PDF) from the original on 26 December 2016. Retrieved 5 February 2017.
  31. ^ Hofstadter, Douglas R. (1985). Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books. p. 484. ISBN 978-0-465-04566-2. OCLC 230812136.
  32. ^ Hodges & March 1983, p. 26
  33. ^ Hodges 1983, p. 34
  34. ^ https://oldshirburnian.org.uk/wp-content/uploads/2015/01/Obituary-for-Christopher-Morcom-The-Shirburnian-March-1930.pdf
  35. ^ Caryl, Christian (19 December 2014). "Poor Imitation of Alan Turing". New York Review of Books. Archived from the original on 7 January 2015. Retrieved 9 January 2015.
  36. ^ Rachel Hassall, 'The Sherborne Formula: The Making of Alan Turing' Archived 15 April 2014 at the Wayback Machine 'Vivat!' 2012/13
  37. ^ Teuscher, Christof, ed. (2004). Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. ISBN 978-3-540-20020-8. OCLC 53434737.
  38. ^ Hodges 1983, p. 61
  39. ^ Hodges, Andrew (2012). Alan Turing: The Enigma. Princeton University Press. p. 87. ISBN 978-0-691-15564-7.
  40. ^ Hodges, Andrew (2012). Alan Turing: The Enigma. Princeton University Press. p. 90. ISBN 978-0-691-15564-7.
  41. ^ Paul Gray, Alan Turing Archived 19 January 2011 at the Wayback Machine Time Magazine's Most Important People of the Century, p. 2
  42. ^ Hodges 1983, pp. 82–83
  43. ^ See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2 Decembre 2009 Archived 21 April 2018 at the Wayback Machine Journal Electronique d'Histoire des Probabilités et de la Statistique
  44. ^ Hodges 1983, pp. 88, 94
  45. ^ "Blue plaque to commemorate Alan Turing". King's College, Cambridge. Archived from the original on 7 December 2018. Retrieved 8 December 2018.
  46. ^ "Turing plaque fixed in place". King's College, Cambridge. Archived from the original on 9 December 2018. Retrieved 8 December 2018.
  47. ^ Turing 1937
  48. ^ B. Jack Copeland; Carl J. Posy; Oron Shagrir (2013). Computability: Turing, Gödel, Church, and Beyond. MIT Press. p. 211. ISBN 9780262018999.
  49. ^ Church 1936
  50. ^ Grime, James (February 2012). "What Did Turing Do for Us?". NRICH. University of Cambridge. Archived from the original on 4 March 2016. Retrieved 28 February 2016.
  51. ^ "von Neumann ... firmly emphasised to me, and to others I am sure, that the fundamental conception is owing to Turing—insofar as not anticipated by Babbage, Lovelace and others." Letter by Stanley Frankel to Brian Randell, 1972, quoted in Jack Copeland (2004) The Essential Turing, p. 22.
  52. ^ Hodges 1983, p. 138
  53. ^ Turing, A.M. (1939). "Systems of Logic Based on Ordinals". Proceedings of the London Mathematical Society. s2-45: 161–228. doi:10.1112/plms/s2-45.1.161. hdl:21.11116/0000-0001-91CE-3.
  54. ^ Turing, Alan (1938). Systems of Logic Based on Ordinals (PhD thesis). Princeton University. doi:10.1112/plms/s2-45.1.161. ProQuest 301792588.
  55. ^ Turing, A.M. (1938). "Systems of Logic Based on Ordinals" (PDF). Archived (PDF) from the original on 23 October 2012. Retrieved 4 February 2012.CS1 maint: ref=harv (link)
  56. ^ John Von Neumann: The Scientific Genius Who Pioneered the Modern Computer, Game Theory, Nuclear Deterrence, and Much More, Norman MacRae, 1999, American Mathematical Society, Chapter 8
  57. ^ Hodges 1983, p. 152
  58. ^ Cora Diamond (ed.), Wittgenstein's Lectures on the Foundations of Mathematics, University of Chicago Press, 1976
  59. ^ Hodges 1983, pp. 153–154
  60. ^ Briggs, Asa (21 November 2011). Britain's Greatest Codebreaker (TV broadcast). UK Channel 4.
  61. ^ Copeland, Jack (2001). "Colossus and the Dawning of the Computer Age". In Smith, Michael; Erskine, Ralph (eds.). Action This Day. Bantam. p. 352. ISBN 9780593049105.
  62. ^ Copeland 2004a, p. 217
  63. ^ Clark, Liat (18 June 2012). "Turing's achievements: codebreaking, AI and the birth of computer science (Wired UK)". Wired. Archived from the original on 2 November 2013. Retrieved 31 October 2013.
  64. ^ a b Copeland, 2006 p. 378.
  65. ^ Turing, Alan (c. 1941). "The Applications of Probability to Cryptography". The National Archives (United Kingdom): HW 25/37. Archived from the original on 7 April 2015. Retrieved 25 March 2015.CS1 maint: ref=harv (link)
  66. ^ Turing, Alan (c. 1941). "Paper on Statistics of Repetitions". The National Archives (United Kingdom): HW 25/38. Archived from the original on 8 April 2015. Retrieved 25 March 2015.CS1 maint: ref=harv (link)
  67. ^ Vallance, Chris (19 April 2012). "Alan Turing papers on code breaking released by GCHQ". BBC News. Archived from the original on 4 October 2012. Retrieved 20 April 2012.
  68. ^ Hodges 1983, p. 208
  69. ^ Lewin 1978, p. 57
  70. ^ Hilton, Peter. "A Century of Mathematics in America, Part 1, Reminiscences of Bletchley Park" (PDF). Archived (PDF) from the original on 29 August 2019.
  71. ^ Hilton, Peter. "NOVA | Transcripts | Decoding Nazi Secrets | PBS". Archived from the original on 29 August 2019.
  72. ^ Brown, Anthony Cave (1975). Bodyguard of Lies: The Extraordinary True Story Behind D-Day. The Lyons Press. ISBN 978-1-59921-383-5.CS1 maint: ref=harv (link)
  73. ^ Graham-Cumming, John (10 March 2010). "An Olympic honour for Alan Turing". The Guardian. London. Archived from the original on 1 December 2016. Retrieved 10 December 2016.
  74. ^ Butcher, Pat (14 September 2009). "In Praise of Great Men". Globe Runner. Archived from the original on 18 August 2013. Retrieved 23 June 2012.
  75. ^ Hodges, Andrew. "Alan Turing: a short biography". Alan Turing: The Enigma. Archived from the original on 14 September 2013. Retrieved 12 June 2014.
  76. ^ Graham-Cumming, John (10 March 2010). "Alan Turing: a short biography". The Guardian. Archived from the original on 8 November 2014. Retrieved 12 June 2014.
  77. ^ Butcher, Pat (December 1999). "Turing as a runner". The MacTutor History of Mathematics archive. Archived from the original on 13 November 2014. Retrieved 12 June 2014.
  78. ^ "Alan Turing: Colleagues share their memories". BBC News. 23 June 2012. Archived from the original on 7 July 2018. Retrieved 21 June 2018.
  79. ^ a b "This month in history: Alan Turing and the Enigma code". thegazette.co.uk. Archived from the original on 26 June 2019. Retrieved 6 February 2019.
  80. ^ Welchman, Gordon (1997) [1982], The Hut Six story: Breaking the Enigma codes, Cleobury Mortimer, England: M&M Baldwin, p. 81, ISBN 978-0-947712-34-1
  81. ^ Professor Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct".
  82. ^ Oakley 2006, p. 40/03B
  83. ^ a b Hodges 1983, p. 218
  84. ^ a b Hodges 1983, p. 221
  85. ^ Copeland, The Essential Turing, pp. 336–337 Archived 18 February 2015 at the Wayback Machine.
  86. ^ Copeland, Jack; Proudfoot, Diane (May 2004). "Alan Turing, Codebreaker and Computer Pioneer". alanturing.net. Archived from the original on 9 July 2007. Retrieved 27 July 2007.
  87. ^ "Bletchley Park Unveils Statue Commemorating Alan Turing". Archived from the original on 30 June 2007. Retrieved 30 June 2007.
  88. ^ a b c Mahon 1945, p. 14
  89. ^ Leavitt 2007, pp. 184–186
  90. ^ Gladwin, Lee (Fall 1997). "Alan Turing, Enigma, and the Breaking of German Machine Ciphers in World War II" (PDF). Prologue Magazine. Fall 1997: 202–217. Archived (PDF) from the original on 26 June 2019. Retrieved 13 April 2019 – via National Archives.
  91. ^ Good, Jack; Michie, Donald; Timms, Geoffrey (1945), General Report on Tunny: With Emphasis on Statistical Methods, Part 3 Organisation: 38 Wheel-breaking from Key, Page 293, UK Public Record Office HW 25/4 and HW 25/5, archived from the original on 21 April 2019, retrieved 13 April 2019
  92. ^ Hodges 1983, pp. 242–245
  93. ^ Turing, Alan M. (2001). "Visit to National Cash Register Corporation of Dayton, Ohio". Cryptologia. 25 (1): 1–10. doi:10.1080/0161-110191889734.
  94. ^ Hodges 1983, pp. 245–253
  95. ^ "Marshall Legacy Series: Codebreaking – Events". marshallfoundation.org. Archived from the original on 7 April 2019. Retrieved 7 April 2019.
  96. ^ Alexander & circa 1945, p. 42
  97. ^ Copeland 2006, p. 380
  98. ^ Copeland 2006, p. 381
  99. ^ Copeland 2006, p. 72
  100. ^ Gannon 2007, p. 230
  101. ^ Hilton 2006, pp. 197–199
  102. ^ Copeland 2006, pp. 382, 383
  103. ^ Hodges 1983, pp. 245–250
  104. ^ Hodges 1983, p. 273
  105. ^ Hodges 1983, p. 346
  106. ^ Plaque #1619 on Open Plaques.
  107. ^ Copeland 2006, p. 108
  108. ^ Randell, Brian (1980). "A History of Computing in the Twentieth Century: Colossus" (PDF). Archived (PDF) from the original on 27 January 2012. Retrieved 27 January 2012.CS1 maint: ref=harv (link) citing Womersley, J.R. (13 February 1946). "'ACE' Machine Project". Executive Committee, National Physical Laboratory, Teddington, Middlesex.CS1 maint: ref=harv (link)
  109. ^ See Copeland 2004b, pp. 410–432
  110. ^ "Turing at NPL". Archived from the original on 5 July 2015. Retrieved 3 July 2015.
  111. ^ Bruderer, Herbert. "Did Alan Turing interrogate Konrad Zuse in Göttingen in 1947?" (PDF). Archived (PDF) from the original on 21 May 2013. Retrieved 7 February 2013.
  112. ^ Swinton, Jonathan (2019). Alan Turing's Manchester. Manchester: Infang Publishing. ISBN 978-0-9931789-2-4. Archived from the original on 17 February 2019. Retrieved 18 March 2019.
  113. ^ Turing, A.M. (1948). "Rounding-Off Errors in Matrix Processes". The Quarterly Journal of Mechanics and Applied Mathematics. 1: 287–308. doi:10.1093/qjmam/1.1.287. hdl:10338.dmlcz/103139.
  114. ^ Harnad, Stevan (2008) The Annotation Game: On Turing (1950) on Computing, Machinery and Intelligence Archived 18 October 2017 at the Wayback Machine. In: Epstein, Robert & Peters, Grace (Eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Springer
  115. ^ Clark, Liat. "Turing's achievements: codebreaking, AI and the birth of computer science". Wired. Archived from the original on 2 November 2013. Retrieved 11 November 2013.
  116. ^ Alan Turing vs Alick Glennie (1952) "Turing Test" Archived 19 February 2006 at the Wayback Machine Chessgames.com
  117. ^ Kasparov, Garry, Smart machines will free us all, The Wall Street Journal, 15–16 April 2017, p. c3
  118. ^ O'Connor, J.J.; Robertson, E.F. "David Gawen Champernowne". MacTutor History of Mathematics archive, School of Mathematics and Statistics, University of St Andrews, Scotland. Archived from the original on 19 October 2017. Retrieved 22 May 2018.
  119. ^ Pinar Saygin, A.; Cicekli, I.; Akman, V. (2000). "Turing Test: 50 Years Later". Minds and Machines. 10 (4): 463–518. doi:10.1023/A:1011288000451. hdl:11693/24987.
  120. ^ Turing, Alan M. (14 August 1952). "The Chemical Basis of Morphogenesis". Philosophical Transactions of the Royal Society of London B. 237 (641). pp. 37–72. Bibcode:1952RSPTB.237...37T. doi:10.1098/rstb.1952.0012.
  121. ^ John Gribbin, Deep Simplicity, p. 126, Random House, 2004
  122. ^ "Turing's Last, Lost work". Archived from the original on 23 August 2003. Retrieved 28 November 2011.
  123. ^ James Murray, How the leopard gets its spots, Scientific American, vol 258, number 3, p. 80, March 1988
  124. ^ James Murray, Mathematical Biology I, 2007, Chapter 6, Springer Verlag
  125. ^ John Gibbin, Deep Simplicity, p. 134, Random House, 2004
  126. ^ Vogel, G. (2012). "Turing Pattern Fingered for Digit Formation". Science. 338 (6113): 1406. Bibcode:2012Sci...338.1406V. doi:10.1126/science.338.6113.1406. PMID 23239707.
  127. ^ Sheth, R.; Marcon, L.; Bastida, M.F.; Junco, M.; Quintana, L.; Dahn, R.; Kmita, M.; Sharpe, J.; Ros, M.A. (2012). "Hox Genes Regulate Digit Patterning by Controlling the Wavelength of a Turing-Type Mechanism". Science. 338 (6113): 1476–1480. Bibcode:2012Sci...338.1476S. doi:10.1126/science.1226804. PMC 4486416. PMID 23239739.
  128. ^ Andrew Hodges. "The Alan Turing Bibliography". turing.org.uk. p. morphogenesis. Archived from the original on 5 September 2015. Retrieved 27 July 2015.
  129. ^ Leavitt 2007, pp. 176–178
  130. ^ Hodges 1983, p. 458
  131. ^ Leavitt 2007, p. 268
  132. ^ Hodges, Andrew (2012). Alan Turing: The Enigma. Princeton University Press. p. 463. ISBN 978-0-691-15564-7.
  133. ^ Hodges, Andrew (2012). Alan Turing: The Enigma. Princeton University Press. p. 471. ISBN 978-0-691-15564-7.
  134. ^ Hodges, Andrew (2012). Alan Turing: The Enigma The Centenary Edition. Princeton University.
  135. ^ Turing, Alan (1952). "Letters of Note: Yours in distress, Alan". Archived from the original on 20 January 2013. Retrieved 16 December 2012.
  136. ^ Hodges, Andrew (2012). Alan Turing: The Enigma. Princeton University Press. p. xxviii. ISBN 978-0-691-15564-7.
  137. ^ Hodges 1983, p. 473
  138. ^ Copeland 2006, p. 143
  139. ^ "Alan Turing. Biography, Facts, & Education". Encyclopædia Britannica. Archived from the original on 11 October 2017. Retrieved 11 October 2017.
  140. ^ Hodges 1983, p. 488
  141. ^ Leavitt 2007, p. 140 and Hodges 1983, pp. 149, 489
  142. ^ Hodges 1983, p. 529
  143. ^ a b c Hodges, Andrew (2012). Alan Turing: The Enigma. Random House. ISBN 978-1-4481-3781-7. Archived from the original on 17 January 2019. Retrieved 16 January 2019.
  144. ^ a b Pease, Roland (23 June 2012). "Alan Turing: Inquest's suicide verdict 'not supportable'". BBC News. Archived from the original on 23 June 2012. Retrieved 23 June 2012. We have ... been recreating the narrative of Turing's life, and we have recreated him as an unhappy young man who committed suicide. But the evidence is not there.
  145. ^ "TURING, Ethel Sara (1881–1976, mother of Alan Turing). Series of 11 autograph letters to Robin Gandy, Guilford, 28 July 1954 – 11 June 1971 (most before 1959), altogether 29 pages, 8vo (2 letters dated 17 May and 26 May 1955 incomplete, lacking continuation leaves, occasional light soiling)". christies.com. Archived from the original on 7 February 2019. Retrieved 6 February 2019.
  146. ^ Hodges 1983, pp. 488, 489
  147. ^ Levy, Joel (2018). Mathematics: A curious history – From Early Number Concepts To The Chaos Theory. London: Andre Deutsch. p. 177. ISBN 9780233005447.
  148. ^ Vincent Dowd (6 June 2014). "What was Alan Turing really like?". BBC. Archived from the original on 17 January 2019. Retrieved 16 January 2019.
  149. ^ Thousands call for Turing apology. BBC News. 31 August 2009. Archived from the original on 31 August 2009. Retrieved 31 August 2009.
  150. ^ Petition seeks apology for Enigma code-breaker Turing. CNN. 1 September 2009. Archived from the original on 5 October 2009. Retrieved 1 September 2009.
  151. ^ a b c Davies, Caroline (11 September 2009). "PM's apology to codebreaker Alan Turing: we were inhumane". The Guardian. UK. Archived from the original on 4 February 2017. Retrieved 10 December 2016.
  152. ^ The petition was only open to UK citizens.
  153. ^ "PM apology after Turing petition". BBC News. 11 September 2009. Archived from the original on 27 May 2012. Retrieved 11 September 2009.
  154. ^ Full text of the Prime Minister's apology Archived 9 November 2012 at the Wayback Machine.
  155. ^ a b c "Grant a pardon to Alan Turing". 6 December 2011. Archived from the original on 10 January 2012.
  156. ^ "Petition to pardon computer pioneer Alan Turing started". BBC News. 6 December 2011. Archived from the original on 19 June 2018. Retrieved 21 June 2018.
  157. ^ a b Wright, Oliver (23 December 2013). "Alan Turing gets his royal pardon for 'gross indecency' – 61 years after he poisoned himself". The Independent. London. Archived from the original on 24 December 2013. Retrieved 21 August 2017.
  158. ^ Wainwright, Martin (7 February 2012). "Government rejects a pardon for computer genius Alan Turing". The Guardian. Archived from the original on 4 February 2017. Retrieved 10 December 2016.
  159. ^ "hansard". Parliament of the United Kingdom. 2 February 2012. Archived from the original on 6 July 2017. Retrieved 29 August 2017.
  160. ^ Stevenson, Alex. "Better late than never, Alan Turing is finally pardoned". politics.co.uk. Archived from the original on 16 August 2016. Retrieved 25 September 2016.
  161. ^ Fitzgerald, Todd (24 September 2016). "Alan Turing's court convictions go on display for the first time". manchestereveningnews.co.uk. Archived from the original on 25 September 2016. Retrieved 25 September 2016.
  162. ^ "MP calls for pardon for computer pioneer Alan Turing". BBC News. 1 February 2012. Archived from the original on 2 July 2016. Retrieved 25 September 2016.
  163. ^ "Archived copy". Archived from the original on 19 July 2019. Retrieved 19 July 2019.CS1 maint: archived copy as title (link)
  164. ^ "Archived copy". Archived from the original on 16 July 2019. Retrieved 19 July 2019.CS1 maint: archived copy as title (link)
  165. ^ "My proudest day as a Liberal Democrat". Liberal Democrat Voice. Archived from the original on 24 June 2018. Retrieved 24 June 2018.
  166. ^ Britton, Paul (24 December 2013). "Alan Turing pardoned by The Queen for his 'unjust and discriminatory' conviction for homosexuality". Manchester Evening News. Archived from the original on 24 June 2018. Retrieved 24 June 2018.
  167. ^ "John Leech secures historic deal with Government on 'Alan Turing Law'". outnewsglobal.com. 20 October 2016.
  168. ^ Barlow, Nigel (3 November 2018). "Turing on £50 note will be painful reminder of what we lost"".
  169. ^ "Alan Turing announced as face of new £50 banknote". 15 July 2019.
  170. ^ editor, Larry Elliott Economics; Halliday, Josh (15 July 2019). "Alan Turing to feature on new £50 banknote" – via www.theguardian.com.CS1 maint: extra text: authors list (link)
  171. ^ "This is who is on the new £50 note". www.thegayuk.com. 15 July 2019.
  172. ^ Bloom, Dan (23 October 2016). "Tory refuses to apologise for 'killing bad law' pardoning thousands of gay men". mirror.
  173. ^ "Alan Turing's 'fearless approach to problems and intellectual curiosity' praised". Dunfermline Press.
  174. ^ "The Alan Turing Law finally pardons thousands of unfairly convicted gay and bisexual men". University of Manchester. 31 January 2017.
  175. ^ "Bank of England honours Alan Turing on £50 note". QNews. 15 July 2019.
  176. ^ "Bill". Parliament of the United Kingdom. 26 July 2012. Archived from the original on 2 November 2013. Retrieved 31 October 2013.
  177. ^ Pearse, Damian, "Alan Turing should be pardoned, argue Stephen Hawking and top scientists" Archived 4 February 2017 at the Wayback Machine, The Guardian, 13 December 2012. Retrieved 15 December 2012.
  178. ^ Watt, Nicholas (19 July 2013). "Enigma codebreaker Alan Turing to be given posthumous pardon". The Guardian. London. Archived from the original on 4 January 2017. Retrieved 10 December 2016.
  179. ^ Worth, Dan (30 October 2013). "Alan Turing pardon sails through House of Lords". V3. Archived from the original on 24 December 2013. Retrieved 24 December 2013.
  180. ^ "Alan Turing (Statutory Pardon) Bill". Archived from the original on 5 July 2013. Retrieved 20 July 2013.CS1 maint: ref=harv (link)
  181. ^ Roberts, Scott (2 December 2013). "Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill". Pink News. Archived from the original on 25 December 2013. Retrieved 24 December 2013.
  182. ^ Roberts, Scott (2 December 2013). "Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill". PinkNews. Archived from the original on 12 June 2018. Retrieved 20 June 2018.
  183. ^ "Alan Turing (Statutory Pardon) Bill". Archived from the original on 2 November 2013. Retrieved 24 December 2013.CS1 maint: ref=harv (link)
  184. ^ Swinford, Steven (23 December 2013). "Alan Turing granted Royal pardon by the Queen". The Daily Telegraph. Archived from the original on 2 May 2018. Retrieved 5 April 2018.
  185. ^ "Royal pardon for codebreaker Alan Turing". BBC News. 24 December 2013. Archived from the original on 24 December 2013. Retrieved 24 December 2013.
  186. ^ "With Queen's Decree, Alan Turing Is Now Officially Pardoned". Advocate.com. Archived from the original on 1 November 2014. Retrieved 1 November 2014.
  187. ^ Pardoned: Alan Turing, Computing patriarch. Time Magazine, vol. 183, no. 1, 13 January 2014, p. 14. Retrieved 6 January 2014.
  188. ^ Davies, Caroline (24 December 2013). "Codebreaker Turing is given posthumous royal pardon". The Guardian. London. pp. 1, 6.
  189. ^ Tatchell, Peter (24 December 2013). "Alan Turing: Was He Murdered By the Security Services?". The Huffington Post UK. Archived from the original on 29 December 2013. Retrieved 29 December 2013.
  190. ^ Tatchell, Peter (27 December 2013). "The Big Questions: Do we need an inquiry into the death of Alan Turing? Should Britain boycott Sochi?". The Independent. Archived from the original on 15 February 2017. Retrieved 14 February 2017.
  191. ^ "Government 'committed' to Alan Turing gay pardon law". BBC News. 22 September 2016. Archived from the original on 22 September 2016. Retrieved 22 September 2016.
  192. ^ Cowburn, Ashley (21 September 2016). "Theresa May committed to introducing the 'Alan Turing Law'". The Independent. Archived from the original on 22 September 2016. Retrieved 22 September 2016.
  193. ^ Participation, Expert. "Policing and Crime Act 2017". Government of the United Kingdom. Archived from the original on 5 March 2019. Retrieved 6 February 2019.
  194. ^ "What does the code on the Alan Turing Memorial actually say?". Random Hacks. 23 September 2010. Archived from the original on 28 June 2018. Retrieved 28 June 2018.
  195. ^ "Computer buried in tribute to genius". Manchester Evening News. 17 February 2007. Archived from the original on 4 November 2013. Retrieved 7 December 2014.
  196. ^ Reid-Smith, Tris (1 May 2020). "Heritage watchdog objects to statue of gay hero Alan Turing at Kings College Cambridge". Gay Star News. Retrieved 8 May 2020.

Sources[edit]