Re: Epistemology 201: The Science of Science

mmeron_at_cars3.uchicago.edu
Date: 01/25/05 

Date: Tue, 25 Jan 2005 20:31:16 GMT

In article <35n52cF4p97h3U3@individual.net>, "robert j. kolker" <nowhere@nowhere.net> writes:
>
>
>Jason wrote:
>>
>> 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.
>
:-)))))

Mati Meron | "When you argue with a fool,
meron@cars.uchicago.edu | chances are he is doing just the same"

Relevant Pages
Loading