Re: Generalised approach to storing address details

What is the split in the mathematical community related to second order logic? Do you have a URL that would provide a description for the average person (me)?
Thanks. --dawn

JOG wrote:
<snip>
> However, given that one would then be handling a predicate as a first
> order object I suspect I might be promoting a system that handles 2OL,
> over which I understand the mathematical community is split. I haven't
> thought enough about this to offer much more comment on it than that
> I'm afraid.
Received on Mon Dec 11 2006 - 20:06:30 CET