This thesis seems to be limited to a narrow corner of computer science akin to Turing's work: what is computable, etc.

Lucky for us that's only a narrow corner I guess?