European Mathematical Society - Mark Sprevak
https://euro-math-soc.eu/author/mark-sprevak
enThe Turing Guide
https://euro-math-soc.eu/review/turing-guide
<div class="field field-name-field-review-review field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even"><div class="tex2jax"><p>
Jack Copeland is a professor at the University of Canterbury, NZ, director of the <a href="http://www.alanturing.net/">Turing Archive for the History of Computing</a>, co-director of the <a href="http://www.turing.ethz.ch/" target="_blank">Turing Center of the ETH Zürich</a>, and he has written or edited several books about Turing and his work. So he seems to be also the driving force behind this new collection of papers devoted to the life and the legacy of Alan Turing. Only four authors are explicitly mentioned on the cover of this book, but the collection contains 42 papers authored by 33 persons with very diverse backgrounds. Fifteen of the 42 papers were (co)authored by Copeland. Four of the papers by older authors (three of them have known or collaborated with Turing) are published posthumously.</p>
<p>
Alan Turing (1912-1954) hardly needs any introduction. Most people will know him as a codebreaker of the German Enigma at Bletchley Park during the second World War. They probably also have heard of his tragic death covered by a veil of uncertainty: was it an accident or suicide. He was convicted in 1952 to chemical castration for having a gay relationship. Only in 2013 he was rehabilitated by a royal pardon. Some may also have an idea of what a Turing Test is. A mathematician or a computer scientist will almost certainly also know that he proved independently but almost simultaneously with Alonso Church that Hilbert's <em>Entscheidungsproblem</em> was unsolvable. Turing proved it by reducing it to a halting problem which is undecidable on a universal Turing Machine. Many books and even films tell the story of Turing and of all the activities at Bletchley Park. The Turing Centenary Year 2012 which triggered the publication of many more and the recent (loosely biographical) film <em>The Imitation Game</em> (2014) have spread the knowledge about Turing in a broader audience. Bletchley Park may now be a major tourist attraction park, but the confidentiality that was kept by the British authorities about what was developed there during the war concerning cryptanalysis and the early digital computers has delayed the historical disclosure of the role played by Turing and other scientists in that period. Somewhat less known, but very familiar to biologists is Turing's work on morphogenesis which he developed during a later stage in his life. The book has eight parts that cluster papers about eight different aspects of Turing's life and legacy.</p>
<p>
Thus Turing was much more than just a codebreaker. His universal machine was an essential theoretical model in proving results about the foundations of mathematics, logic, and computer science. Because of his work at Bletchley Park while the first digital computing machines were being assembled during and just after the war, he was intensively involved in writing original software, a user's manual, and he has even contributed to the design of circuits and hardware. The introduction of machines that could be instructed to perform less trivial tasks raised concern about the future of Artificial Intelligence and Turing contributed with several variants of his Turing test in an attempt to define what intelligence really meant. He called his ultimate version of 1950 the 'imitation game'.</p>
<p>
It should not be forgotten, that, even though his scientific interest and contributions are broad, Turing was fundamentally a mathematician. It is less known that his Kings College Fellow Dissertation (1935) involved a proof of the Central Limit Theorem. It was little known that this was proved already in 1920 by Jarl Lindeberg and so Turing's result was never published. He also worked on group theory, in particular the word problem, on number theory (the Riemann hypothesis and normal numbers) and of course the code breaking involved statistical analysis and hypothesis testing. Turing exploited these statistics in his algorithms Banburismus and later Turingery. After the war he was also doing numerical analysis (LU decomposition, error analysis,...). His work on morphogenesis was also mathematical and involved diffusion equations that model the random behaviour of the morphogenes.</p>
<p>
This collection of papers is produced for an interested but general audience. Formulas are kept to a minimum and technical discussion is maintained at an accessible level. It may not be the best choice to read as a first introduction to Turing and his work. Better introductions that are less chopped up in different papers are available. On the other hand, if you have read already several books about Turing and his work, I am sure you will find here some anecdotes and historical facts that you did not know yet in each of the eight parts of the book.</p>
<p>
A first part is biographical. The timeline by Copeland is useful to place everything in a proper historical sequence. There is a testimony of Sir John Dermot Turing, Alan's nephew, and another by the late Peter Hilton an Oxford professor who worked with Turing at Bletchley Park.<br />
Part two is more history in which Copeland explains about the Universal Turing Machine conceived by Turing to solve the Entscheidungsproblem. It has also a noteworthy contribution by Stephen Wolfram, the creator Mathematica and Wolfram-alpha, who praises Turing for initiating computer science.<br />
The third part is the most extensive one and puts the codebreaking and Bletchley Park in the spotlight. Some of the texts are by people who worked there and who give an account of how everyday life was during the war, other papers are explaining how the Enigma machine worked and how it could be broken.<br />
In part four the first computers as they developed after the war are in the focus. The Colossus machines were computers that were used since 1943 for codebreaking, These facts were only declassified in 2000 so that one got the impression that the original ideas and prototypes came from von Neumann at Princeton who developed the ENIAC and the EDVAC. However, the University of Manchester had a small scale computer <em>Baby</em> (1948) that was running a few months before the ENIAC and Turing at the National Physical Laboratory developed the Automatic Computing Engine (ACE) that was operational in 1950. Turing even wrote a manual on how to program the machine to play musical notes.<br />
The fifth part is about computers and the mind: chess computers, neural computing, and the working of the human brain. It also has a remarkable text by novelist David Leavitt about Turing and the paranormal.<br />
The next two parts are about Turing's biological (morphogenesis) and mathematical (cf. supra) contributions. The final part has two papers contemplating the Turing thesis (1936) which claims that a Turing machine can do any task a human computer can do. Similar claims were made by Zuse and Church, but whether the whole universe can be seen as a computer, obviously depends on what you call a computer.<br />
In the last chapter about Turing's legacy in different disciplines we find many references to books and other media that can be consulted for further information.</p>
<p>
The remaining pages offer a short biography of the contributors, references to some books about Turing, and a list of published papers by Turing. The many references and notes from the contributions are also gathered at the end. The book ends with a very detailed index, which is of course very welcome and obviously non-trivial with that many different authors.</p>
<p>
In summary, this is a welcome addition to the existing generally accessible literature that gives additional testimony of the brilliant mind of Alan Turing. There is historical as well as technical material that will be appreciated also by specialists whatever their discipline: history, mathematics, biology, computer science, or philosophy.</p>
</div></div></div></div><div class="field field-name-field-review-reviewer field-type-text field-label-inline clearfix"><div class="field-label">Reviewer: </div><div class="field-items"><div class="field-item even">Adhemar Bultheel</div></div></div><div class="field field-name-field-review-desc field-type-text-long field-label-hidden"><div class="field-items"><div class="field-item even"><div class="tex2jax"><p>
This is a collection of papers about Alan Turing, his life and legacy. It has biographical and historical details and explains the influence of Turing on codebreaking, artificial intelligence, computer science, mathematics, biology, and philosophy.</p>
</div></div></div></div><span class="vocabulary field field-name-field-review-author field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Author: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/author/jack-copeland" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Jack Copeland</a></li><li class="vocabulary-links field-item odd"><a href="/author/jonathan-bowen" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Jonathan Bowen</a></li><li class="vocabulary-links field-item even"><a href="/author/mark-sprevak" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Mark Sprevak</a></li><li class="vocabulary-links field-item odd"><a href="/author/robin-wilson" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Robin Wilson</a></li><li class="vocabulary-links field-item even"><a href="/author/et-al" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">et. al</a></li></ul></span><span class="vocabulary field field-name-field-review-publisher field-type-taxonomy-term-reference field-label-inline clearfix"><h2 class="field-label">Publisher: </h2><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/publisher/oxford-university-press" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">oxford university press</a></li></ul></span><div class="field field-name-field-review-pub field-type-number-integer field-label-inline clearfix"><div class="field-label">Published: </div><div class="field-items"><div class="field-item even">2017</div></div></div><div class="field field-name-field-review-isbn field-type-text field-label-inline clearfix"><div class="field-label">ISBN: </div><div class="field-items"><div class="field-item even">978-0-1987-4782-6 (hbk), 978-0-1987-4783-3 (pbk)</div></div></div><div class="field field-name-field-review-price field-type-text field-label-inline clearfix"><div class="field-label">Price: </div><div class="field-items"><div class="field-item even">£ 75.00 (hbk), £ 19.99 (pbk)</div></div></div><div class="field field-name-field-review-pages field-type-number-integer field-label-inline clearfix"><div class="field-label">Pages: </div><div class="field-items"><div class="field-item even">576</div></div></div><span class="vocabulary field field-name-field-review-class field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/imu/history-mathematics" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">History of Mathematics</a></li></ul></span><div class="field field-name-field-review-website field-type-text field-label-hidden"><div class="field-items"><div class="field-item even"><a href="https://global.oup.com/academic/product/the-turing-guide-9780198747833" title="Link to web page">https://global.oup.com/academic/product/the-turing-guide-9780198747833</a></div></div></div><span class="vocabulary field field-name-field-review-msc field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc/00-general" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00 General</a></li></ul></span><span class="vocabulary field field-name-field-review-msc-full field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc-full/00-01" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00-01</a></li></ul></span><span class="vocabulary field field-name-field-review-msc-other field-type-taxonomy-term-reference field-label-hidden"><ul class="vocabulary-list"><li class="vocabulary-links field-item even"><a href="/msc-full/00a99" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00a99</a></li><li class="vocabulary-links field-item odd"><a href="/msc-full/00a09" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00a09</a></li><li class="vocabulary-links field-item even"><a href="/msc-full/00a65" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">00a65</a></li><li class="vocabulary-links field-item odd"><a href="/msc-full/01a60" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">01a60</a></li><li class="vocabulary-links field-item even"><a href="/msc-full/03d10" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">03D10</a></li><li class="vocabulary-links field-item odd"><a href="/msc-full/03b07" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">03B07</a></li><li class="vocabulary-links field-item even"><a href="/msc-full/68-06" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">68-06</a></li><li class="vocabulary-links field-item odd"><a href="/msc-full/68q05" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">68Q05</a></li><li class="vocabulary-links field-item even"><a href="/msc-full/92c15" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">92C15</a></li></ul></span>Tue, 13 Mar 2018 07:33:47 +0000Adhemar Bultheel48322 at https://euro-math-soc.euhttps://euro-math-soc.eu/review/turing-guide#comments