It would be interesting to debate some of the terms Stephen uses. As far as I kn

It would be interesting to debate some of the terms Stephen uses.

As far as I know, only natural numbers exist. Only one mathematics exists. Many operational logics exist – limited only by the axiomatic limits we place upon them by Types (constant relations), Operations (transformations), and Grammar (structure of operations). Stephen is almost always talking of operational logics of arbitrary categories, not mathematics of correspondent and constant relations.

This difference is one of the two principle reasons why people are awed by mathematics – which is quite simple. The first is the apparent mystery of the limits of our prediction from constant relations. The second, illustrated above, is the misrepresentation of the real, correspondent, constant relations of mathematics, and the ideal, arbitrary, constant relations, of operational logic.

Curt Doolittle

The Propertarian Institute

Kiev, Ukraine