Re: deductive databases
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 13 May 2005 11:16:48 -0700
Message-ID: <1116008208.251526.49230_at_g14g2000cwa.googlegroups.com>
Date: 13 May 2005 11:16:48 -0700
Message-ID: <1116008208.251526.49230_at_g14g2000cwa.googlegroups.com>
alex goldman wrote:
> Jan Hidders wrote:
>
> > but that observation is about as interesting as the
> > fact that SQL also cannot make coffee.
>
> The difference between having functors and not having them is
fundamental.
The difference between having a cup of coffee in the morning or not is also fundamental for the productive work later in the day.
Are functors part of mathematical logic, or the whole theory could exist happily without them? Received on Fri May 13 2005 - 20:16:48 CEST