Graduate Student Seminar (GSS) Talk

September 22, 2021 - 3:00 PM to 3:45 PM
Fretwell 315

Title: Towards Gödel’s Theorems Pt 2
Speaker: Hayden Pecoraro
Description: An overview of the logical landscape with an introduction to languages, models, recursion, Peano Arithmetic, and codings.