Paulo Santos: Universidade Nova de Lisboa & Tübingen University – Carnegie Mellon University

(4 months)


Paulo is a Ph.D student at Nova University, Portugal, and at Tübingen University, Germany. His field of study is proof theory, a subarea of mathematical logic. Under a Fulbright scholarship, Paulo will develop a philosophical thesis on the relationship between systems of recursive functions and proof systems—he advocates that they are one and the same. This thesis will account for Post’s and Turing’s work and will be developed under the supervision of the Patrick Suppes Professor of Philosophy at CMU, Professor Wilfried Sieg.