Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!agate!bionet!apple!motcsd!lance
From: lance@motcsd.csd.mot.com (lance.norskog)
Newsgroups: comp.object
Subject: Re: Global program state.
Message-ID: <2474@motcsd.csd.mot.com>
Date: 4 Jan 91 03:18:46 GMT
References: <330@coatimundi.cs.arizona.edu>
Organization: Motorola CSD, Cupertino CA
Lines: 18

gudeman@cs.arizona.edu (David Gudeman) writes:

>It's hard to argue the "intuitive tractability" of global states, but
>clearly the thousands (millions?) of working programs written under
>the notion of a global state might be considered a counter-example to
>the claim.

No, I don't consider the millions of working programs a counter-example,
because I don't consider them to work.

A program doesn't "work" because you (or somebody) thinks it works.  
A program "works" if it can be mathematically proven to work.  Experience
and operational time don't count.  This isn't like quantum physics where
observation decides the matter.  Empirical evidence doesn't enter into it.

Lance

Prove the Mac works.  C'mon, I dare you.