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

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?