Python from Wise Guy's Viewpoint

[Andrew Dalke]

Pascal Bourguignon:
> You can  implement an  eval without arithmetic  and you  can implement
> theorem prover above it still  without arithmetic.  You can still do a
> great deal of thinking without any arithmetic...

But theorem proving and arithmetic are isomorphic.  TP-> arithmetic
is obvious.  Arithmetic -> TP is through Godel.

> I think it would have  been helped.  For example, an architecture like
> the  Shuttle's where  there are  five computer  differently programmed
> would have  helped, because  at least one  of the computers  would not
> have had the Ariane-4 module.

Manned space projects get a lot more money for safety checks.
If a few rockets blow up for testing then it's still cheaper than
quintupling the development costs.

                    Andrew
                    dalke at dalkescientific.com