Check out my first novel, midnight's simulacra!

Cobham's thesis

From dankwiki

The assertion that only those problems in P are efficiently computable.