🚀 go-pugleaf

In article <590@ihopa.ATT.COM> jdu@ihopa.ATT.COM (John Unruh) writes:
>    The second area is in the
>    theoretical basis for computing in general.  In my mind, this area
>    covers many basic problems such as the halting problem and proof of
>    correctness.  ...  I don't know
>    of any theoretical basis that supports software like circuit analysis
>    supports circuits (both digitial and analog) or like boolean algebra
>    supports digital circuits.

In fact, the theory of things like the halting problem tells us that such a
theoretical support is not possible.  One might come up with a good
approximation, but it will sometimes fail.

Another point worth making: if hardware design is advancing so much faster
than software design, why does the latest trend in hardware design (RISC)
involve putting more of the burden on software?
-- 

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Ashton-Tate          52 Oakland Ave North         E. Hartford, CT 06108