Speaker: Dr. Jason Swanson (University of Central Florida)
When: Friday, November 4, 2022 (11/04/22)
Time: 1pm – 2pm
Where: MSB 318
Introduction to mathematical logic II: A calculus for propositional logic.
Abstract: This is the first in a series of talks about mathematical logic. We follow the text, *A
Concise Introduction to Mathematical Logic* by Rautenberg. This series will survey the material
covered in the first three chapters. These chapters introduce propositional and first order logic.
After that, the book continues with logic programming and model theory. Then, in Chapter 6,
Rautenberg presents Gödel’s incompleteness theorem. Topics in the first three chapters include
models, Hilbert calculi, completeness, and compactness.