The Löwenheim-Skolem Theorem

From: Saibal Mitra <smitra.domain.name.hidden>
Date: Fri, 16 May 2003 16:36:12 +0200

The Löwenheim-Skolem Theorem comes to the rescue of computationalists. See
here:

http://www.earlham.edu/~peters/courses/logsys/low-skol.htm

Saibal


----- Oorspronkelijk bericht -----
Van: <PaintedDevil.domain.name.hidden>
Aan: <Fabric-of-Reality.domain.name.hidden>
Verzonden: Friday, May 16, 2003 10:41 AM
Onderwerp: Re: Proportions of Infinity


> In a message dated 5/15/2003 8:05:56 PM GMT Daylight Time, m.domain.name.hidden
> writes:
>
>
> > I can see problems with computable universes if
> > spacetime is continuous; how would one represent a particle at an
> > irrational co-ordinate, for instance...
>
> Yes, my thoughts exactly. (Maybe a proponent of the computational
hypothesis
> could give their views on this one?)
>
> Charles
Received on Fri May 16 2003 - 10:40:02 PDT

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