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 |
|---|
