[
Lists Home |
Date Index |
Thread Index
]
Miles Sabin scripsit:
> Believe what you like ... arithmetic is undecidable, so extending a DL
> with arithmetic gets you an undecidable system.
Well, we could extend it with real numbers, which trades off representability
for decidability. :-)
--
John Cowan jcowan@reutershealth.com
At times of peril or dubitation, http://www.ccil.org/~cowan
Perform swift circular ambulation, http://www.reutershealth.com
With loud and high-pitched ululation.
|