Il est connu pour son travail en calculabilité, logique et fondements des mathématiques.
Il a publié de nombreux articles et livres sur ces sujets, notamment "La théorie de la calculabilité" et "Les fondements de la logique mathématique". Ses contributions ont eu un impact significatif sur la compréhension des mathématiques modernes.