Academic Philosophy Events in the Netherlands
All events in academic philosophy
- This event has passed.
TULIPS, Jaap van Oosten (Utrecht)
16 March @ 16:00 - 17:30
Next week at TULIPS (The Utrecht Logic in Progress Seminar) we have a talk by Jaap van Oosten (Utrecht). Please note that this talk starts later than usual. This is a hybrid event. Please contact the organizers if you would like a link to the online meeting.
Date: March 16th
Location: Stijlkamer (Janskerkhof 13, room 0.06)
Title: Partial Combinatory Algebras, between realizability and oracle computation
Abstract: Starting with a bit of history of the notion of PCAs (or “Schönfinkel Algebras”), we examine their role as building blocks of various notions of realizability. An extremely important construction is that of the “realizability topos RT(A)” on a PCA A. Immediately, notions from pure topos theory start to find their way into the study of PCAs. It will be argued that PCAs stand on the threshold between topos theory and abstract higher order computability theory (à la Longley-Normann). Particularly forceful is the work of Takeyuki Kihara.
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.