Absolutely. I didn't mean to imply it wouldn't be interesting. It just wouldn't have any impact on the question of P vs NP from a logocal perspective. Also, wi

Absolutely. I didn't mean to imply it wouldn't be interesting. It just wouldn't have any impact on the question of P vs NP from a logocal perspective. Also, with respect to your physical system argument, I'm not sure I agree. Any computer that actually exists has some probability of making a computation error. With that in mind, simulating a physical system with a step that involves becoming a physical system is likely not a valid argument from an algorothmic reduction point of view.