Comment Re:Words have meanings, dammit (Score 1) 284
Your example of PDA's would require to have them interacting at every step as was said in the FOM list from where everybody is jumping to wrong conclusions. Smith's proof does not suppose any communication.
