Sign up to our mailing list by sending a blank email to invariantsociety-subscribe@maillist.ox.ac.uk

A Logic with Computable Infinite Expressions, for Foundational Study

Catrin Campbell-Moore, Undergraduate Maths Seminar

Date Icon Week 7, Monday
Time Icon 4:00pm

It would be good to find a logic which can characterise the natural numbers. In order to give a logic that can both express the natural numbers and have certain other desirable properties we need to allow infinite conjunctions. In this talk I will explain why and will describe the logic which only allows sentences that have computable syntax.