Please remove me from your mailing list and thanks for your help, Mark On 15 Jan 2014, at 04:00, [email protected] wrote:
> Send phil-events mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.cam.ac.uk/mailman/listinfo/phil-events > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of phil-events digest..." > > > Today's Topics: > > 1. Logic Seminar (Michael Potter) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 14 Jan 2014 17:36:59 +0000 > From: Michael Potter <[email protected]> > Subject: [CamPhilEvents] Logic Seminar > To: [email protected], [email protected] > Message-ID: <[email protected]> > Content-Type: text/plain; charset=us-ascii > > 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. > > > > ------------------------------ > > _______________________________________________________ > Sent by the CamPhilEvents mailing list. To unsubscribe or > change your membership options, please visit the list > information page: http://bit.ly/CamPhilEvents > > Posts are archived here: http://bit.ly/CamPhilEventsArchive > > End of phil-events Digest, Vol 28, Issue 6 > ****************************************** _____________________________________________________ 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
