PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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

Title:Introduction to Kleene's realizability interpretation of intuitionistic number theory
Seminar:Logic Seminar
Speaker:Sankha Basu, Penn State
Abstract:
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

Room Number:MB315
Date:04 / 22 / 2014
Time:02:30pm - 03:45pm