[
Lists Home |
Date Index |
Thread Index
]
John Cowan wrote,
> 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. :-)
Now there's an idea! ;-)
Cheers,
Miles
|