His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Kanyang trabaho ay ng malaking kahalagahan sa matematikal na lohika, recursion teorya, at sa panteorya computer science.