Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!genrad!panda!talcott!harvard!seismo!utah-cs!utah-gr!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: net.ai,net.philosophy
Subject: Re: A halting problem
Message-ID: <1068@mmintl.UUCP>
Date: Thu, 23-Jan-86 12:26:15 EST
Article-I.D.: mmintl.1068
Posted: Thu Jan 23 12:26:15 1986
Date-Received: Thu, 30-Jan-86 04:37:59 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <436@faron.UUCP> <4024@kestrel.ARPA> <438@faron.UUCP>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Distribution: net
Organization: Multimate International, E. Hartford, CT
Lines: 11
Xref: watmath net.ai:3230 net.philosophy:3974

In article <438@faron.UUCP> bs@faron.UUCP (Robert D. Silverman) writes:
>An isomorphism defines a map from one structure to another that is
>into and onto. Thus both the map and its inverse are one-to-one. [...]
>The fact that the semantics are not comparable is irrelevent. The mapping
>exists.

No, comparable semantics is the whole point of an isomorphism.  What you
have described is only a one-to-one, onto map.

Frank Adams                           ihpn4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108