In article <email@example.com>, MoeBlee <firstname.lastname@example.org> writes: >On Jan 28, 1:45=A0pm, "porky_pig...@my-deja.com" <porky_pig...@my-deja.com> wrote:
>> Two machines are equal if for the same >> input the produce the same output. The definition is 'internal- >> construction' free, that is it doesn't care whether the function is >> represented by a formula or by a table, or whatever. > >But then you're adding some kind of "axiom" (stipulation) as to what >machines are that is not part of the ordinary understanding of a >machine.
I don't see that as an axiom. I see that as a definition of what it means for two machines to be equal.
-- Michael F. Stemper #include <Standard_Disclaimer> 91.2% of all statistics are made up by the person quoting them.