Re: Epistemology 201: The Science of Science
From: JPL Verhey (matterDELminds_at_hotmail.com)
Date: 01/28/05
- Next message: David C. Ullrich: "Re: result of adding two brownian paths in plane (almost surely)"
- Previous message: Jannick Asmus: "Re: diagonable linear mappings"
- In reply to: Jason: "Re: Epistemology 201: The Science of Science"
- Next in thread: The Sophist: "Re: Epistemology 201: The Science of Science"
- Messages sorted by: [ date ] [ thread ]
Date: Fri, 28 Jan 2005 17:18:28 +0100
"Jason" <jasonstevensNOSPAM@free.net.nz> wrote in message
news:WDzJd.11564$mo2.890971@news.xtra.co.nz...
>> > 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.
lol.. good one. Even deep!
- Next message: David C. Ullrich: "Re: result of adding two brownian paths in plane (almost surely)"
- Previous message: Jannick Asmus: "Re: diagonable linear mappings"
- In reply to: Jason: "Re: Epistemology 201: The Science of Science"
- Next in thread: The Sophist: "Re: Epistemology 201: The Science of Science"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
