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 - 13:06:30 CST
