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