Welcome back to the TMS! The first talk of 2017 will be given by Dr Tamara von Glehn.
Speaker: Dr Tamara von Glehn
Title: Logic in other universes
Abstract: When doing ordinary mathematics, we don’t usually think too hard about exactly what logical rules are being used. But sometimes using for example the law of excluded middle or the axiom of choice can have unexpected consequences. In this talk I will explore some alternatives of classical logic. There are other ‘mathematical universes’, or toposes, in which different logical axioms can hold. I will introduce some of the structures used to express this logic, and describe what mathematics can look like inside a topos.
The talk will take place tonight at 8:30PM in the Winstanley Lecture Theatre. As usual there will be free port and juice served before the talk at 8:15PM. This talk is for members only, but there will be a chance to sign up for TMS life membership for £2.50.