Re: SUO: Re: Computable Manifolds & Discrete Topologies
At 07-03-01 13:02 -0600, pat hayes wrote:
[...]
>To side-step your excuse, let me rephrase the question about how many
>symbols there *are*, into how many symbols could a map be intepreted to
>have? The point being that any kind of Tarskian notion of interpretation
>requires that the symbols be only finitely 'deep', or at best countably
>infinitely so (considered as set-theoretic structures, they need to be
>hereditarily finite/countable); but if we say that the map surface is
>continuous, let along differentiable, it is rather tricky to locate any
>suitable hereditable structures in it.
>And yet, the continuity of the map surface sems to be crucial in it being
>characteristically map-like rather than text-like.
[...]
### Pat, it is also difficult to imagine a one-dimensional map
--Robert Meersman
----------
Prof Dr Robert A Meersman VUB (Vrije Universiteit Brussel)
Department of Computer Science STARlab --Building F-G/10
Pleinlaan 2 B-1050 Brussels Belgium
phn (+32)(0)2 629 3308 fax (+32)(0)2 629 3525