Formal Methods Wiki
(Added cover image)
Tag: sourceedit
(Links)
Tag: sourceedit
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.
   
 
<!--
 
<!--
Line 31: Line 31:
   
 
==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
   

Revision as of 11:49, 18 October 2016

The Turing Guide cover

Cover of The Turing Guide.

Turing in slate

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

A book associated with the Turing's Worlds event and similar Turing-related events in Cambridge and at Bletchley Park in 2012 is planned for 2017, published by Oxford University Press. The volume is titled The Turing Guide, written by Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson, and others. 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.

Alan Turing

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.

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.

See also

External links