Tuesday, 17 May 2011, 5:00PM
Barnard's Inn Hall

Undecidable and Decidable Problems in Mathematics: A survey and some reflections, for the centenary of Turing's birth

Professor Angus MacIntyre

What are the limits of proof, and what follows? – A timely look at the life and mathematical work of Alan Turing. As we approach the centenary of his birth, this lecture offers a chance to learn more about perhaps Britain’s most famous modern mathematician.

This is the 2011 joint London Mathematical Society / Gresham College lecture.
The other lectures held in collaboration with the London Mathematical Society include:
    Mathematics: The Next Generation by Professor Peter Cameron
    Home Office Mathematics by Professor Bernard Silverman
    Indra's Pearls: Geometry and Symmetry by Professor Caroline Series
    Mathematics and Smallpox by Professor Tom Körner 
    Cancer can give you maths by Professor Philip Maini
    Multiplying and Dividing by Whole Numbers by Professor Timothy Gowers
    Can maths catch criminals and bring them to justice?    by Professor Christopher Budd

professor-angus-macintyre

Angus Macintyre is a Professor at Queen Mary, University of London and President of the London Mathematical Society.

Read More
Read Less
Related Future Lectures
Related Past Lectures
WATCHED
Part of a series

Mathematics Goes To The Movies

Professor Chris Budd OBE
Tuesday, 10 January 2017 - 1:00PM
WATCHED

The Mathematical Skyline

Professor Simon Salamon
Wednesday, 18 January 2017 - 1:00PM
WATCHED
Part of a series

How Much Maths Can You Eat?

Professor Chris Budd OBE
Tuesday, 14 February 2017 - 1:00PM
WATCHED
Part of a series

Mathematical Materials

Professor Chris Budd OBE
Tuesday, 14 March 2017 - 1:00PM
WATCHED
Part of a series

Energetic Mathematics

Professor Chris Budd OBE
Tuesday, 25 April 2017 - 1:00PM
WATCHED

Mathematics Can Make You Fly?

Dr Carola-Bibiane Schonlieb
Tuesday, 23 May 2017 - 6:00PM
WATCHED
Part of a series

The Challenge of Big Data

Professor Chris Budd OBE
Tuesday, 15 November 2016 - 1:00PM
WATCHED

Leonardo, Rapunzel and the Mathematics of Hair

Professor Raymond E. Goldstein
Wednesday, 9 November 2016 - 6:00PM
WATCHED
Part of a conference

Leibniz (1646-1716) and the Curve of Quickest Descent

Professor Jan van Maanen
Thursday, 27 October 2016 - 6:00PM
WATCHED
Part of a conference

Fractal Curves: From the Esoteric to the Ubiquitous

Professor Kenneth Falconer
Thursday, 27 October 2016 - 4:30PM
WATCHED
Part of a conference

Archimedes and the Mathematics of Spirals

Dr Snezana Lawrence
Thursday, 27 October 2016 - 4:00PM
WATCHED
Part of a series

What have Mathematicians Done for Us?

Professor Chris Budd OBE
Tuesday, 11 October 2016 - 1:00PM
WATCHED
Part of a series

Mathematics, Measurement and Money

Professor Norman Biggs
Tuesday, 24 May 2016 - 6:00PM
WATCHED
Part of a series

The Secret Mathematicians

Professor Marcus du Sautoy OBE
Wednesday, 21 May 2014 - 6:00PM
WATCHED
Part of a series

Mathematics: The Next Generation

Professor Peter Cameron
Tuesday, 14 May 2013 - 6:00PM
WATCHED
Part of a series

Home Office Mathematics

Professor Bernard Silverman FRS
Tuesday, 15 May 2012 - 6:00PM
WATCHED
Part of a series

Indra’s Pearls: Geometry and Symmetry

Professor Caroline Series
Tuesday, 4 May 2010 - 6:00PM
WATCHED
Part of a series

Mathematics and Smallpox

Professor Tom Körner
Tuesday, 5 May 2009 - 12:00AM
WATCHED

The Enigma Machine: How it Works

Professor Raymond Flood
Tuesday, 19 April 2016 - 1:10PM
WATCHED

The Fly Puzzle and Von Neumann's Response

Professor Raymond Flood
Tuesday, 19 April 2016 - 1:05PM
WATCHED

Three Great Mathematicians: Hardy, Littlewood, and Hardy-Littlewood

Professor Raymond Flood
Tuesday, 15 March 2016 - 1:05PM
WATCHED
Part of a series

Explaining Relativity with a Pencil

Professor Raymond Flood
Tuesday, 20 October 2015 - 1:20PM
WATCHED
Part of a series

Principles of Relativity: Einstein and Galileo

Professor Raymond Flood
Tuesday, 20 October 2015 - 1:15PM
WATCHED
Part of a series

Einstein and the Photo-Electric Effect

Professor Raymond Flood
Tuesday, 20 October 2015 - 1:05PM