PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson, Jan Reimann.

Title:A model of intuitionism based on Turing degrees
Seminar:Logic Seminar
Speaker:Sankha Basu, Pennsylvania State University
Abstract:
For any topological space T, let Sh(T) be the category of sheaves of sets over T. It is well known that the topos Sh(T) is a model of higher-order intuitionistic logic. We now consider the special case T = D = the partial ordering of Turing degrees with the topology of upward closed sets. We argue that the Muchnik topos, Sh(D), is a rigorous implementation of Kolmogorov's nonrigorous 1932 interpretation of intuitionism as a "calculus of problems."

Room Reservation Information

Room Number:MB315
Date:10 / 30 / 2012
Time:02:30pm - 03:45pm