Upcoming Talks
2023
- September 28, Albert Visser (Utrecht)
Clash of the Titans: Markov versus Smullyan
What is a good Gödel numbering? This question has technical, didactical, and philosophical aspects. In my talk, I zoom in on two concrete initial steps towards Gödel numberings, one due Andrey Markov jr. (in 1954) based on SL|2(N) and one due to Raymond Smullyan (in 1961) based on the length-first ordering. I will present these initial steps towards Gödel numberings in some detail and will discuss possible follow-up steps to obtain full Gödel numberings. Then, I use these two examples as illustration of various technical, didactical and philosophical issues.
Time: 15.30 – 17.00
Location: Drift 6, room 0.07
- October 26, Marie Duží (Ostrava)
Title and Abstract coming soon!
Time: 15.30 – 17.00
Location: Drift 6, room 0.07
- November 16, Wessel Kroon (ILLC, Amsterdam)
Title and Abstract coming soon!
Time: 15.30 – 17.00
Location: Janskerkhof 13, room 0.06 (Stijlkamer)
- December 7, Fan Yang (Utrecht)
Title and Abstract coming soon!
Time: 15.30 – 17.00
Location: Janskerkhof 13, room 0.06 (Stijlkamer)