This is a record of the proceedings of the OUSSA 2012 summer school celebrating the life and work of Alan Mathison Turing.

Links generally open in a new window.

Additional online material relating to what we discussed may be posted here from time to time (suggestions welcome!).

Some general Turing material:

- The offical home of all things Turing, maintained by Andrew Hodges
- Jack Copeland's
*Essential Turing*: details are given here. You can view some of it online at Copeland's website - Biographies of Turing are listed here (the review of Leavitt's book gives a fine overview of his life and work)
- The 'official' web biography at the MacTutor History of Mathematics archive
- A listing of all Turing's papers with reproductions
- The Turing Archive for the History of Computing: facsimiles of work by Turing and his contemporaries
- A list of some current books on Turing, his work and his influence.

- Timetable and other admin matters
- Overview: Turing's life, connections and main achievments
- Our experiment with the Central Limit Theorem (first evidence of Turing's genius?)

- Presentation: Alan Turing and the Mathematics of the Unsolvable
- An good source of undecidable problems is this 2012 survey by Bjorn Poonen.
- An accessible series of blog-lectures on undecidability can be found here.
- Related links on Diophantine undecidability are: James P. Jones paper "Diophantine Representation of the Fibonacci Numbers"
and this paper by Yuri Matiasevich (in which some of the characters seems to print strangely but not unreadably).

- Related theorems as described at theoremoftheday.org are: The DPRM Theorem, Haken's Unknot Theorem, Reidemeister's Theorem, and Godel's First and Second Incompleteness Theorems.

- A nice accessible book on Hilbert's 23 problems is
*The Honors Class*by Benjamin Yandell (scroll down to Y here). - John Myhill's (short and readable) paper describing his non-computable derivative is available on the web here.
- It is not so easy to find tangible descriptions of enumerable but non-computable sets. Some examples are given by Harvey Friedman here .

- Presentation: The Chomsky Hierarchy
- Presentation: Turing Machines (with some additional material on the 'Busy Beaver')
- Charles Petzold has written a whole book providing a reader's guide to Turing's 1936 paper. The details are here (scroll down to Petzold.)
- The website for Mike Davey's precision-engineered Turing machine is here.
- The spoof advert by for a lego Turing machine is here. (This is by Anders Nissen and relates to a project at Aarhus University. There is more recent lego machine project at CWI in Amsterdam, which has a film clip here).

- Worksheet for Computer Room session on Tuesday morning
- The Turing machine simulator we used is here.
- Presentation: Machine Intelligence

- Presentation: Does Gödel's Theorem Refute Weak AI?
- A lecture by Andrew Hodges on Turing and Penrose ( Hodges has worked with the latter on mathematical physics)
**The Turing Test**- A fine general discussion of the Turing Test, and a social scientist's viewpoint
- The Loebner Prize
- The three chatbots we experimented with were Eliza, Suzette, and Alice
- David Lodge's novel
*Small Worlds*, in which somebody falls in love with Eliza, has its own Wikipedia page! - A nice paper presenting a paradox on the Turing Test appears on page 90 of this edition of
*The Reasoner* - The famous experiment which suggests our brain acts on our conscious decisions before we are conscious of them was by Benjamin Libet. It is described here.

- Presentation: Cryptography
- Try out codesandciphers.org.uk the website of Tony Sale the Colussus rebuilder
- Bletchley Park home page

- Presentation: Turing and the Riemann Hypothesis

(aka "minor works of Turing" but the slides only covered RH...) - Elementary (checkable on a pocket calculator!) equivalents to RH by Lagarias (described in the presentation) and more recently by Caveney et al.
- There is a very nice paper on Turing's work on RH in this special Turing edition of the
*Notices of the American Mathematical Society*. A more recent paper on Turing and RH is here (2011) . These papers are a bit technical but there is plenty of accessible material on Turing's work as well - A general paper on RH by Brian Conrey (also a bit technical but providing a well-written overview)
- A compilation of sources on RH which is worth checking out
**Other matters...**Morphogenisis: here is a great blog entry, and a nice bit of science reporting from the Guardian.- The youtube clip from the film Blade Runner that we watched. The news story about Leonardo di Caprio playing Alan Turing in the proposed film
*The Imitiaion Game*. The other well-known film featuring (a heterosexual) Turing is Enigma. The 1986 Hugh Whitemore play Breaking the Code was made into a BBC film in 1996.