... [snip] ...
I've been scratching at Wittgenstein, the Vienna Circle,
and Godel. It got me thinking about the notion of Type
hierarchies and the current view of Type theory, specifically
its use to eliminate paradox.
Which leads my thoughts to the current fad of types and
functional programming
... [snip] ...
I guess that's where we differ. Axiom is a piece of research software.
Axiom was never intended to be a product. IBM gave us two choices. Either
find someone to market it (NAG) or throw it away. FOSS software did
not exist at that time and we were not allowed to work on it in any
c
