Re: Map theory

Article View: fj.mail-lists.types

Article #49

Back to fj.mail-lists.types Previous Next

#49

From: mizuhito
Date: Wed, 16 Sep 1992 06:30

13 lines
906 bytes

Date: 07 Sep 92 09:52:01 PDT (Mon)

	From: Klaus Grue <grue@diku.dk>
	Date: Sun, 6 Sep 92 09:40:36 +0200
	...
	In addition, and contrary to set theory, map theory has
	unlimited abstraction and contains a computer programming
	language as a natural subset.

Presumably these terms must be defined carefully in order to prevent
SETL from being a "natural subset" of set theory.

	Vaughan Pratt

Technical Details

Message-ID: <315662@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1300b0,dcad3353d1658202,start
X-Google-Attributes: gid1300b0,public
X-Google-ArrivalTime: 1992-09-15 19:41:36 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon
From: mizuhito@ntt-20.NTT
Newsgroups: fj.mail-lists.types
Subject: Re: Map theory
Message-ID: <315662@nttlab.ntt.JP>
Date: 16 Sep 92 06:30:19 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 13
Approved: news@nttlab.ntt