all numbers are rationnal.

[Richard J. Fateman]

At the risk of enlarging this discussion,
we can indeed compute with non-rational numbers
such as pi, e, etc.  For example, in lisp one
can represent the sum of pi and e by
'(+ pi e)   a list of 3 symbols.

-
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems