Speaker: Gordon Slade (UBC)

In theory, proof assistants are a useful tool for validating mathematical claims. We will use simplicial topology as a case study to look at what goes into formalizing mathematics from pen and paper to the digital world. This is based on previous work with Stefan Friedl focused on formalizing stellar subdivisions of simplicial complexes. I will present a few anecdotal stories from our project that demonstrate some of the challenges involved. Topics include (but are not limited to) what changes when we introduce types to topology, decidability and computational complexity concerns, and what to do when the proof is left as an exercise for the reader.

Join us in the Logic Colloquium!

Xinhe Wu (NCSU):

“Vague Identity: A Uniform Approach”

There are numerous apparent examples of vague identity, i.e. examples where two objects appear to be neither determinately identical nor determinately distinct. Philosophers disagree on whether the source of vagueness in identity is semantic or ontic/metaphysical. In this talk, I explore the use of Boolean-valued models as a many-valued semantic framework for identity. I argue that this semantics works well with both a semantic and ontic conception of vague identity. I also discuss, in the context of Boolean-valued logic, responses to the Evans’ argument under the two conceptions.

All welcome!

https://logic.uconn.edu/calendar/

https://svenhirsch.com/

Mini-Conference

Speakers include:

Bas van Fraassen
Robert Stalnaker
Cian Dorr
Melissa Fusco
Calum McNamara

Abstract: TBA

Join us in the Logic Colloquium for a talk by Zeynep Soysal (Rochester)!

Details t.b.a.

https://logic.uconn.edu/calendar/