Lists Home |
Date 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 email@example.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.