A guided tour in good old logic
Date(s) : 15/01/2026 iCal
17h00 - 18h00
Abstract: Starting from a question that seems quite naive, I will introduce some tools to try and see that its answer is not so straightforward.During this journey, we will revisit standard notions of (first-order) logic such as Godel theorems, Kleene realizability, forcing, constructibility and constructivism (which is very different from constructibility;)…
This talk will focus much more on intuition than on technical details (which will be kept to the bare minimum if more details are not requested).
No prior knowledge in mathematics, logic, computer science (nor any other esoteric science) is needed, it will be pure popularization 🙂
At the end and depending on time, I may give a short opening on one of my current research topic.
Emplacement
Luminy - salle 500-504b
Catégories
