Carnegie Mellon University

Paulo Santos

Paulo Santos

Visiting Scholar

5000 Forbes Avenue
Pittsburgh, PA 15213


Paulo G Santos is a PhD student in Mathematical Logic at FCT-NOVA, Portugal, and Universität Tübingen, Germany; he is also an investigator at CMA, Portugal, and Carl Friedrich von Weizsäcker-Zentrum, Germany. He is currently at the CMU under a Fulbright scholarship.


  • Formal Arithmetic
  • Proof Theory
  • Hilbert's Programs
  • Computability Theory
  • Philosophy of Mathematics