Re: The L÷wenheim-Skolem Theorem

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Mon, 19 May 2003 11:52:21 +0200

At 16:36 16/05/03 +0200, Saibal Mitra wrote:
>The L÷wenheim-Skolem Theorem comes to the rescue of computationalists. See
>here:
>
>http://www.earlham.edu/~peters/courses/logsys/low-skol.htm (Peter Suber)


Thanks for this nice link. Actually I have developped a similar argument
in my IRIDIA technical reports, the 750 pages in french :-( which contains
a chapter on the use of Skolem results in comp cognitive science.
(I have not yet find the time to assure me if the argument of Suber is
really equivalent to mine, I'll tell you).

Bruno
Received on Mon May 19 2003 - 07:43:56 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:08 PST