Formal Methods Wiki
(Added cover image)
Tag: sourceedit
(Added reviews, etc.)
 
(11 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
[[File:The_Turing_Guide_cover.jpeg|thumb|Cover of ''The Turing Guide''.]]
 
[[File:The_Turing_Guide_cover.jpeg|thumb|Cover of ''The Turing Guide''.]]
[[File:Turing in slate.jpg|thumb|Sculpture of {{wp|Alan Turing}} in {{wp|slate}} by {{wp|Stephen Kettle}}, now at {{wp|Bletchley Park}}.]]
 
   
A book associated with the ''[[Turing's Worlds]]'' event and similar Turing-related events in {{wp|Cambridge}} and at {{wp|Bletchley Park}} in 2012 is planned for 2017, published by {{wp|Oxford University Press}}. The volume is titled '''''The Turing Guide''''', written by {{wp|Jack Copeland}}, [[Jonathan Bowen]], [http://www.ppls.ed.ac.uk/people/mark-sprevak Mark Sprevak], [[Wikipedia:Robin Wilson (mathematician)|Robin Wilson]], and others. It includes 42 contributed chapters by experts in the field and some contemporaries of {{wp|Alan Turing}} and is aimed at the general reader with an interest in Turing's life and work.
+
'''''The Turing Guide''''', written by {{wp|Jack Copeland}}, [[Jonathan Bowen]], [http://www.ppls.ed.ac.uk/people/mark-sprevak Mark Sprevak], [[Wikipedia:Robin Wilson (mathematician)|Robin Wilson]], and others, is a book about the life and work of the {{wp|mathematician}}, {{wp|philosopher}}, and foundational "{{wp|computer scientist}}" {{wp|Alan Turing}}. It includes 42 contributed chapters by experts in the field and some contemporaries of {{wp|Alan Turing}} and is aimed at the general reader with an interest in Turing's life and work. The book grew out of the ''[[Turing's Worlds]]'' event in {{wp|Oxford}} and similar Turing-related events at {{wp|Cambridge}} and {{wp|Bletchley Park}} in 2012 was published in January 2017 by {{wp|Oxford University Press}}.
   
 
==Alan Turing==
 
==Alan Turing==
 
[[File:Turing in slate.jpg|thumb|Sculpture of {{wp|Alan Turing}} in {{wp|slate}} by {{wp|Stephen Kettle}}, now at {{wp|Bletchley Park}}.]]
 
{{wp|Alan Turing}} was born on 23rd June, 1912. Although probably most well-known to the public for his work at {{wp|Bletchley Park}} in the pioneering days that saw the birth of modern practical computing, Turing achieved fame well before {{wp|World War II}} with a seminal account of theoretical computation and his solution to the {{wp|Entscheidungsproblem}}. As such, he could be considered the founding father of {{wp|formal methods}}. He was also an Olympic-class marathon runner, who refused to conform to the narrow sexual standards of the day and was persecuted for it, while still undertaking fundamental and seminal research on {{wp|Artificial Intelligence}}, {{wp|computer programming}}, and even {{wp|mathematical biology}}.
 
{{wp|Alan Turing}} was born on 23rd June, 1912. Although probably most well-known to the public for his work at {{wp|Bletchley Park}} in the pioneering days that saw the birth of modern practical computing, Turing achieved fame well before {{wp|World War II}} with a seminal account of theoretical computation and his solution to the {{wp|Entscheidungsproblem}}. As such, he could be considered the founding father of {{wp|formal methods}}. He was also an Olympic-class marathon runner, who refused to conform to the narrow sexual standards of the day and was persecuted for it, while still undertaking fundamental and seminal research on {{wp|Artificial Intelligence}}, {{wp|computer programming}}, and even {{wp|mathematical biology}}.
   
Line 21: Line 21:
 
Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness.
 
Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness.
   
Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them.
+
Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in {{wp|Bletchley Park}}, {{wp|King’s College, Cambridge}}, and {{wp|Oxford University}}, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them.
   
<!--
 
For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40.
 
-->
 
 
With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap.
 
With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap.
  +
 
For those interested in personal recollections, Chapters 2, 3, 11-13, 15-17, 35, and 38 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 25–31, and 41. Mathematical perspectives can be found in Chapters 36–40. Historical perspectives can be found in Chapters 1, 4, 8-10, 12, 17-24, and 42.
   
 
It is hoped that readers will enjoy this volume as part of their library and that they will dip into it whenever you wish to enter the multifaceted world of Alan Turing.
 
It is hoped that readers will enjoy this volume as part of their library and that they will dip into it whenever you wish to enter the multifaceted world of Alan Turing.
  +
  +
==Reviews==
  +
The book has been reviewed in a number of publications and online, including:<ref>[https://global.oup.com/academic/product/the-turing-guide-9780198747826?cc=gb&lang=en&# The Turing Guide: Reviews and Awards], {{wp|Oxford University Press}}.</ref>
  +
  +
* ''{{wp|Amazon.co.uk}}''.<ref>[https://www.amazon.co.uk/product-reviews/0198747829 Customer Reviews: The Turing Guide], ''{{wp|Amazon.co.uk}}'', 2017.</ref>
  +
* ''{{wp|American Mathematical Society}}''.<ref>[https://www.ams.org/journals/notices/201904/rnoti-p556.pdf Only Human. A review by Bjørn Kjos-Hanssen], ''{{wp|American Mathematical Society}}'', 2019.</ref>
  +
* ''{{wp|Engineering & Technology}}''.<ref>Lenton, Dominic, [https://eandt.theiet.org/content/articles/2017/03/book-review-the-turing-guide-alan-turings-life-and-work/ Book reviews: The Turing Guide’, Alan Turing's life and work], ''{{wp|Engineering & Technology}}'', 14 March 2017.</ref>
  +
* ''{{wp|Formal Aspects of Computing}}''.<ref>[[Wikipedia:Cliff Jones (computer scientist)|Jones, Cliff]], The Turing Guide. ''{{wp|Formal Aspects of Computing}}, 29:1121–1122, 2017. {{doi|10.1007/s00165-017-0446-y}}</ref>
  +
* ''{{wp|Goodreads}}''.<ref>Clegg, Brian, [https://www.goodreads.com/review/show/1918232179 Brian Clegg's Reviews > The Turing Guide], ''{{wp|Goodreads}}'', 19 February 2017.</ref>
  +
* ''{{wp|Mathematical Association of America}}''.<ref>Schulte, Tom, [https://www.maa.org/press/maa-reviews/the-turing-guide The Turing Guide: MAA Review, ''{{wp|Mathematical Association of America}}'', 4 July 2017.</ref>
  +
* ''{{wp|New Scientist}}''.<ref>[[Wikipedia:W. Andrew Robinson|Robinson, Andrew]], [https://www.newscientist.com/article/mg23331072-700-the-turing-guide-last-words-on-an-enigmatic-codebreaker/ The Turing Guide: Last words on an enigmatic codebreaker?], ''{{wp|New Scientist}}'', 4 January 2017.</ref>
  +
* ''[[Wikipedia:Nuncius (journal)|Nuncius]]''.<ref>Petrocelli, Carla, [http://booksandjournals.brillonline.com/content/journals/10.1163/18253911-03301015 The Turing Guide, by Jack Copeland, Jonathan Bowen, Mark Sprevak, and Robin Wilson], ''[[Wikipedia:Nuncius (journal)|Nuncius]]'', '''33'''(1):166–168, 2018. [[Wikipedia:Brill Publishers|Brill]]. {{doi|10.1163/18253911-03301015}}</ref>
  +
* ''{{wp|Physics World}}''.<ref>[[Wikipedia:Vint Cerf|Cerf, Vint]], [http://physicsworld.com/cws/article/indepth/2018/jan/18/the-man-behind-the-machine The man behind the machine], ''{{wp|Physics World}}'', January 2018, pages 38–39.</ref>
  +
* ''{{wp|WeChat}}''.<ref>Han, Bao, [https://mp.weixin.qq.com/s/JcdromoslivadmFmEf8SVQ 枷锁与馈赠<nowiki>|</nowiki>认识真实的图灵 ,一位如谜的解谜者, ''{{wp|WeChat}}'', 3 April 2018. (In Chinese.)</ref>
  +
  +
==Other Turing books==
  +
* {{wp|Andrew Hodges}}, ''{{wp|Alan Turing: The Enigma}}'' (1983).
  +
* {{wp|Charles Petzold}}, ''{{wp|The Annotated Turing}}'' (2008).
   
 
==See also==
 
==See also==
  +
* [[:File:The_Turing_Guide_flyer.pdf|Flyer for ''The Turing Guide'']] ({{wp|PDF}})
* ''[[Turing's Worlds]]'' centenary event in Oxford, UK, 23-24 June 2012
+
* ''[[Turing's Worlds]]'' centenary event in Oxford, UK, 23–24 June 2012
  +
  +
==References==
  +
{{reflist}}
   
 
==External links==
 
==External links==
  +
*[[Wikipedia:The Turing Guide]]
 
*[https://global.oup.com/academic/product/the-turing-guide-9780198747833 OUP information]
 
*[https://global.oup.com/academic/product/the-turing-guide-9780198747833 OUP information]
 
*[https://www.amazon.com/exec/obidos/ASIN/0198747837/bookseaiam Amazon USA information]
 
*[https://www.amazon.com/exec/obidos/ASIN/0198747837/bookseaiam Amazon USA information]
Line 40: Line 62:
 
{{DEFAULTSORT:Turing Guide}}
 
{{DEFAULTSORT:Turing Guide}}
 
[[Category:Books]]
 
[[Category:Books]]
[[Category:2014]]
 
 
[[Category:United Kingdom]]
 
[[Category:United Kingdom]]
 
[[Category:2017]]
 
[[Category:2017]]
 
[[Category:Alan Turing]]

Latest revision as of 14:55, 2 April 2020

The Turing Guide cover

Cover of The Turing Guide.

The Turing Guide, written by Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, and others, is a book about the life and work of the mathematician, philosopher, and foundational "computer scientist" Alan Turing. It includes 42 contributed chapters by experts in the field and some contemporaries of Alan Turing and is aimed at the general reader with an interest in Turing's life and work. The book grew out of the Turing's Worlds event in Oxford and similar Turing-related events at Cambridge and Bletchley Park in 2012 was published in January 2017 by Oxford University Press.

Alan Turing[]

Turing in slate

Sculpture of Alan Turing in slate by Stephen Kettle, now at Bletchley Park.

Alan Turing was born on 23rd June, 1912. Although probably most well-known to the public for his work at Bletchley Park in the pioneering days that saw the birth of modern practical computing, Turing achieved fame well before World War II with a seminal account of theoretical computation and his solution to the Entscheidungsproblem. As such, he could be considered the founding father of formal methods. He was also an Olympic-class marathon runner, who refused to conform to the narrow sexual standards of the day and was persecuted for it, while still undertaking fundamental and seminal research on Artificial Intelligence, computer programming, and even mathematical biology.

Overview[]

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply.

The book is divided into eight parts, covering different aspects of Turing’s life and work:

  • Part I presents various biographical aspects of Turing, some from a personal point of view.
  • Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science.
  • Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently.
  • Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester.
  • Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950.
  • Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited.
  • Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester.

Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness.

Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College, Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them.

With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap.

For those interested in personal recollections, Chapters 2, 3, 11-13, 15-17, 35, and 38 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 25–31, and 41. Mathematical perspectives can be found in Chapters 36–40. Historical perspectives can be found in Chapters 1, 4, 8-10, 12, 17-24, and 42.

It is hoped that readers will enjoy this volume as part of their library and that they will dip into it whenever you wish to enter the multifaceted world of Alan Turing.

Reviews[]

The book has been reviewed in a number of publications and online, including:[1]

Other Turing books[]

See also[]

References[]

External links[]