[deepnotderp]

The extended Church-Turing thesis which I specifically referred to concerns efficient simulation, not just whether it can be simulated.