Re: Epistemology 201: The Science of Science

From: robert j. kolker (nowhere_at_nowhere.net)
Date: 01/25/05 

Date: Tue, 25 Jan 2005 09:55:24 -0500

Jason wrote:

>
> They key to the proof being empirical is that a computer is used. So if the
> algorithm can be deductively proven to be correct, then I'll concede. Otherwise
> all that can be done is to test it on different computers with different
> programmes until we're satisfied, which is inductive.

Why is a human using a rule book any less empirical than a computer
driven by its program?

Bob Kolker

Relevant Pages