For more information about this meeting, contact Stephen Simpson, Jan Reimann.
|Title:||A model of intuitionism based on Turing degrees|
|Speaker:||Sankha Basu, Pennsylvania State University|
|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
|Date:||10 / 30 / 2012|
|Time:||02:30pm - 03:45pm|