Simon's Semester Tutorials by Juliette Kennedy
IMPAN, University of Gdansk and the Armenian Center of Gdansk
Lecture 1 Info
Date: December 5, 2023
Time: 14:10-15:10
Place: University of Gdansk, Room A113
Title: How first order is first order logic?
Notes: Slides
Recording: Video
Lecture 2 Info
Date: December 5, 2023
Time: 15:20-16:20
Place: University of Gdansk, Room A113
Title: Extracting syntax from semantics
Notes: Slides
Recording: Video
Lecture 3 Info
Date: December 7, 2023
Time: 16:00-17:00
Place: University of Gdansk, Department of Mathematics, Room D003
Title: On the mathematical sublime
Info: Cross-listed as Gdansk Logic Colloquium
Notes: Slides
Recording: Video