Re: Infinite cardinalities

pat hayes wrote:
[...]
> >Would you please elaborate on that?
> 
> Chris Menzel and I are writing this up now. Draft available in a few days.
> 
> >Are you just saying that the earlier KIF specs goofed,
> >or are you saying that there's no way, in first order logic,
> >to specify the set of finite lists?
> 
> The latter. 
[...]

Thanks. I don't understand after a quick read, but I'll
keep chewing on it...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Tuesday, 3 April 2001 15:45:59 UTC