The argument structure equivocates between 'simulation' as logical reduction and 'simulation' as physical realizability, a distinction Turing himself acknowledged in his 1950 distinction between discrete and continuous machines.
?Rate how convincing each reason is below to see the overall strength.