Re: Epistemology 201: The Science of Science

From: Jason (jasonstevensNOSPAM_at_free.net.nz)
Date: 01/25/05


Date: Wed, 26 Jan 2005 11:22:46 +1300


> > Exhaustion and testing by algorithm is not so formal. The computer has to
be
> > trusted to be doing the right task. I don't know about yours, but my
computer
> > is not to be trusted at the best of times. Let alone the software I
write...
>
> Von Neuman proved that an arbitrarily reliable automaton could be
> constructed from unreliable parts, as long as the errors were
> statistically independent.
>
> If you want high reliability go to an engineer. If you want certainty,
> go to church.

:)

Perhaps they're not so different. Engineers did invent "Plug and Pray"
technology.



Relevant Pages

  • Re: Epistemology 201: The Science of Science
    ... >> Exhaustion and testing by algorithm is not so formal. ... > Von Neuman proved that an arbitrarily reliable automaton could be ... > If you want high reliability go to an engineer. ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... >> Exhaustion and testing by algorithm is not so formal. ... > Von Neuman proved that an arbitrarily reliable automaton could be ... > If you want high reliability go to an engineer. ...
    (sci.physics)
  • Re: Epistemology 201: The Science of Science
    ... Jason wrote: ... > Exhaustion and testing by algorithm is not so formal. ... Von Neuman proved that an arbitrarily reliable automaton could be ...
    (sci.physics)
  • Re: Epistemology 201: The Science of Science
    ... Jason wrote: ... > Exhaustion and testing by algorithm is not so formal. ... Von Neuman proved that an arbitrarily reliable automaton could be ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... Jason wrote: ... > Exhaustion and testing by algorithm is not so formal. ... Von Neuman proved that an arbitrarily reliable automaton could be ...
    (sci.cognitive)