For more information about this meeting, contact Jason Rute, Stephen Simpson, Jan Reimann.
|Title:||Introduction to Kleene's realizability interpretation of intuitionistic number theory|
|Speaker:||Sankha Basu, Penn State|
|Kleene, in his 1945 paper "On the interpretation of intuitionistic number theory", introduced the notion of recursive realizability. The notion of realizability provides a connection between intuitionism and the theory of recursive functions. Since then, over the last 70 years, this has developed into a major subject of interest, and has infiltrated many other realms of the study of logic and foundations. In this talk, I will introduce and discuss the above notion of recursive realizability as laid out in Kleene's "Introduction to Metamathematics", published in 1948.|
Room Reservation Information
|Date:||04 / 22 / 2014|
|Time:||02:30pm - 03:45pm|