Academic Philosophy Events in the Netherlands
All events in academic philosophy
- This event has passed.
Talk by Albert Visser: “Clash of the Titans: Markov versus Smullyan”
28 September @ 15:30 - 17:00
Next week Albert Visser (Utrecht) will deliver a talk in The Utrecht Logic in Progress Series (TULIPS). Details of the event can be found below. This is a hybrid meeting. If you would like to attend this meeting online in MS Teams, please email the organizers for a link.
Title: “Clash of the Titans: Markov versus Smullyan”
Date: September 28th
Time: 15.30 – 17.00
Location: Drift 6, room 0.07
Abstract: 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.
On behalf of the organizers,
and Colin Caret
About the OZSW event calendar
The OZSW event calendar lists academic philosophy events organized by/at Dutch universities, and is offered by the OZSW as a service to the research community. Please check the event in question – through their website or organizer – to find out if you could participate and whether registration is required. Obviously we carry no responsibility for non-OZSW events.