TULIPS – The Utrecht Logic in Progress Series

Upcoming Talks

2023

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

 

Title and Abstract coming soon!

​Time: 15.30 – 17.00

Location: Drift 6, room 0.07

 

Title and Abstract coming soon!

​Time: 15.30 – 17.00

Location: Janskerkhof 13, room 0.06 (Stijlkamer)

 

Title and Abstract coming soon!

​Time: 15.30 – 17.00

Location: Janskerkhof 13, room 0.06 (Stijlkamer)