[EMAIL PROTECTED] wrote:
To repeat again, mathematics *can* be precise and *wants* to be precise but
as communicated in mathematical *glyphs* as you say just isn't. It relies on
lots of background info.
But the same is true of an algorithm expressed in Python. LOTOS and
ACT.1 are the only programming languages *I* have seen that are fully
formalized. Even stuff like Estelle only formalizes the order of
execution of routines, without formalizing stuff like how integers work
or what "IF" means.
--
Darren New / San Diego, CA, USA (PST)
On what day did God create the body thetans?
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
