[streakfix]

By that logic emulators and virtual machines shouldn't be possible.

[krapp]

Are you arguing that Gödel's incompleteness theorems are trivially proven false because VMs and emulators exist?