[Colloquium] Prof. Soare's Talk

[Donna Brooms]

>             LECTURES ON TURING
> by
> ROBERT SOARE
> Paul Snowden Russell Distinguished Service Professor
> of Mathematics and Computer Science
> ---------------------------------------------------------
> The world community celebrated the centennial of Alan Turing in June,
> 2012. While at Cambridge University for four months in 2012, I gave a
> number of opening plenary addresses and invited papers on Turing to
> the British mathematical and scientific community.
> - Opening Plenary Address to Annual Meeting of the British Mathematial
> Colloquium (BMC), April 16, 2012 (the UK equivalent of the AMS).
> - Opening Plenary Address to Royal Society Meeting on Turing
> at Chicheley Hall, June 12, 2012.
> - Lead paper in Philosophical Transactions of the Royal Society A,
> volume on Turing, 2012.
> ------------------------------------------------------------
> I will now give some of this material in a series of lectures to the
> University of Chicago community beginning with:
> ** LECTURE 1. ** Mathematics and the Turing Renaissance
> (Why mathematics is an art as well a science)
> Wed. Jan. 16, 2013, 1:30-2:30, Ryerson 277.
> ** LECTURE 2. ** Why Turing's Thesis is not a Thesis
> Fri. Jan. 18, 2013, 1:30-2:30, Ryerson 277.
> (Abstracts will follow soon.)
> --------------------------------------------------------------
> These lectures are for a general scientific audience with no special
> knowledge of mathematical logic or computable functions. However, for
> those desiring some background on the foundations of mathematics and
> computability there will be a preliminary lecture.
> ** LECTURE 0. ** Foundations of Computability
> Mon. Jan. 14, 2013, 1:30-2:30, Ryerson 277.
> We will review papers by Hilbert, von Neumann, Herbrand Goedel,
> Church, Post, and Kleene, on the ideas leading up to Turing's work.
> ------------------------------------------------------------