Yeah, there are all sorts of layers we can add, especially regarding complexity (i.e. resource usage limits, rather than simple yes/no questions of decidability

Yeah, there are all sorts of layers we can add, especially regarding complexity (i.e. resource usage limits, rather than simple yes/no questions of decidability). It's interesting to consider P = NP as a physical law, although that's certainly more tenuous than the Church-Turing thesis, etc.