Academic Philosophy Events in the Netherlands

All events in academic philosophy

Submit your own event

Loading Events

« All Events

  • This event has passed.

TULIPS, Jaap van Oosten (Utrecht)

16 March 2023 @ 16:00 - 17:30

Description

Read More
Dear all, 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 Time: 16.00-17.30 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…
Dear all, 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 Time: 16.00-17.30 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, Rosalie Iemhoff Johannes Korbmacher, and Colin Caret

Details

Date:
16 March 2023
Time:
16:00 - 17:30

Dear all,

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

Time: 16.00-17.30

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,

Rosalie Iemhoff

Johannes Korbmacher,

and Colin Caret

Submit your own event

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.