Formal Methods Wiki
Register
m (Categories)
m (New entry)
Tag: sourceedit
Line 1: Line 1:
  +
[[File:Turing in slate.jpg|thumb|Sculpture of {{wp|Alan Turing}} in {{wp|slate}} by {{wp|Stephen Kettle}}, now at {{wp|Bletchley Park}}.]]
#REDIRECT [[Turing's Worlds#Book]]
 
  +
  +
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 and 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.
  +
  +
==Alan Turing==
  +
{{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}}.
  +
  +
==See also==
  +
* ''[[Turing's Worlds]]'' centenary event in Oxford, UK, 23-24 June 2012
  +
  +
==External links==
  +
*[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.co.uk/exec/obidos/ASIN/0198747837/booksearch06 Amazon UK information]
   
 
{{DEFAULTSORT:Turing Guide}}
 
{{DEFAULTSORT:Turing Guide}}

Revision as of 11:27, 18 October 2016

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 and 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.

See also

External links