аĿª½±

The titles and abstracts of the talks are listed in alphabetical order by speaker surname. A full programme will be available shortly.

Jonathan Dawes (University of Bath)

Unpublished patterns of thought: Alan Turing’s later work on morphogenesis’

Abstract: Turing’s 1952 publication in mathematical biology provides only a glimpse of his perceptive thinking on the topic. Unpublished archive material reveals the fascinating genesis of much more complex ideas that were re-discovered only in the 1970s. I will discuss the 1952 paper, its context and initial reception, and what can be learned from the archive material about his research programme in his final years.

Janet Foster(аĿª½±Archivist)

Title tba

Andrew Hodges (University of Oxford)

A double enigma: what did Alan Turing do in 1945 and in 1954?

Abstract: Just 75 years ago, Turing gave his own talk to the London Mathematical Society, in the course of which he asserted that all the digital computers then being planned could be regarded as practical versions of the 1936 Universal Turing Machine. Can Turing be said to have originated the digital computer? What happened in 1945? I will first review this highly contentious issue. In the second part of the talk I will address another much debated question, that of how and why he met his death in 1954. In both cases I will try to illustrate the depth of Turing’s experience, both mathematical and personal.

Debbie Marriott (Bank of England)

The Creative Journey of the new £50 banknote design

Abstract: Once the decision to use Turing as the character on the new £50 note was made, the creative journey for the design began.  From the initial concept image to the intricate final detailed design, the £50 design aesthetically represents Turing’s significant achievements from the theoretical underpinnings for the modern computer to the foundations for work on artificial intelligence.

Stephen H. Muggleton (Imperial College London)

Alan Turing and the development of Artificial Intelligence

Abstract: Alan Turing (1912-1954) has been widely celebrated as having laid the foundations for Computer Science, Automated Decryption, Systems Biology and the Turing Test. In this talk we investigate Turing’s motivations and expectations for the development of Machine Intelligence, as expressed in his 1950 article in Mind. We show that many of the trends and developments within Artificial Intelligence (AI) over the last 50 years were foreseen in this foundational paper. In particular, Turing not only describes the use of Computational Logic but also the necessity for the development of Machine Learning in order to achieve human-level AI within a 50 year time-frame. His description of the Child Machine (a machine which learns like an infant) dominates the closing section of the paper, in which he provides suggestions for how AI might be achieved. Turing discusses three alternative suggestions which can be characterised as: 1) AI by programming, 2) AI by ab initio machine learning and 3) AI using logic, probabilities, learning and background knowledge. He argues that there are inevitable limitations in the first two approaches and recommends the third as the most promising. We compare Turing’s three alternatives to developments within AI, and conclude with a discussion of some of the unresolved challenges he posed within the paper.

Sir Dermot Turing

Alan Turing’s ‘wasted years’: the mathematics of World War 2

´¡²ú²õ³Ù°ù²¹³¦³Ù:ÌýUntil the work of Bletchley Park was made public, the mathematical world thought of the war years as ‘wasted’ for Alan Turing. Now we know all about the battle against Enigma – but what, exactly, did Alan Turing do during the war, and what mathematics was involved?