Un-Gödelizable machine wouldn't be a machine OpposingArgument1 #1103
Machines behave in a determinate manner according to definite rules. But any such determinate machine is susceptible to the Gödelization procedure because its behaviour can be formalised. Any machine that can't be Gödelized isn't really a machine. |