[plt-scheme] Computers considered harmful

On Fri, May 8, 2009 at 11:11 AM, Raoul Duke <raould at gmail.com> wrote:
>> A physical computer is an uncompromising teacher.  When you run a
>> program you will *know* if you have an error in your reasoning.  (Unfortunately,
>> it's much harder to know if you do *not* have an error.)
>
> as an aside: hmm, perhaps you are waxing hyperbolic, but... i don't
> agree that you *know* if you have an error. i mean, sometimes sure,
> but that isn't a hard and fast rule by any means.

That's the second sentence.  Basically, if the machine crashes or
prints an obviously wrong answer, you know your logic is wrong.
But if it prints the right answer, you don't know you are right.
But semi-decidability is better than nothing!

-- 
~jrm