Louise Hay Logic Seminar
Hunter Chase
UIC
Capturing complexity with logical systems
Abstract: Despite its power in (infinite) model theory, first-order logic is largely in adequate when dealing with finite structures. It is incapable of capturing relatively simple properties, such as graph connectivity. We discuss other systems of logic and their ability to capture various complexity classes.
Thursday April 25, 2019 at 4:00 PM in 427 SEO