On Mon, Dec 17, 2018 at 10:46 PM Bruce Kellett <[email protected]>
wrote:

> On Tue, Dec 18, 2018 at 3:32 PM Jason Resch <[email protected]> wrote:
>
>>
>> I have no idea what you mean by "an incorrect computation".
>>
>
> Have you never made an arithmetical error?
>
>
This posits some expectation of a particular result. But in the set of all
computations, all computations exist.  What is an incorrect computation?
Incorrect with respect to what?  So long as the computation is the result
of a functioning Turing machine nothing it does can be called an "incorrect
computation".

(Note the context is we're talking about arithmetical computations, not
physical machines that can be faulty, or ill-designed, or crash, etc. And
the concept of a buggy program or a program that loops infinitely is only a
relevant when some person expects some different behavior out of the
program.  In the set of call computations, there is no concept of an
incorrect vs. a correct computation, there are just computations.)

Jason

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to