Sort:  

Basically if a computer can build a simulation, then any "problems" within that simulation should be solvable with the available physics.

So if we discover that there are unsolvable problems with available maths/physics then we are not living in a sim. So yeah, pretty much as you say :-)

Cryptogee