Mathematical logic
Mathematics
Kurt Gödel
National University of Singapore
Philosophy
Knowledge
Academia
Theodore Slaman
Computability theory