The first Logic Seminar of the term will be this Thursday at 4.15pm in the graduate common room of the Faculty. Michael Gabbay will give a talk on "Computation and the Church-Turing thesis, a proof-theoretic approach". All welcome, Part II Mathematical Logic students included.
Michael Potter Abstract I will present a proof-theoretic foundation for (mostly) familiar computational connectives along the lines of proof theoretic foundations of familiar logical connectives. I argue that this gives an intuitive analysis of the informal concept of a computation together with a proof of the Church-Turing Thesis. _____________________________________________________ To unsubscribe from the CamPhilEvents mailing list, or change your membership options, please visit the list information page: http://bit.ly/CamPhilEvents List archive: http://bit.ly/CamPhilEventsArchive
