[Prev][Next][Index][Thread]

Map theory



Date: Sun, 6 Sep 92 09:40:36 +0200

MAP THEORY

An index/glossary is now available by anonymous ftp
for the following paper:

Klaus Grue: Map theory,
Theoretical Computer Science 102 (1992) 1-133
Elsevier

Map theory is a foundation of mathematics based on lambda-
calculus instead of logic and sets, and thereby fulfills
Church's original aim of introducing lambda-calculus. Map
theory can do anything ZFC set theory can do. In particular,
all of classical mathematics is contained in map theory.
In addition, and contrary to set theory, map theory has
unlimited abstraction and contains a computer programming
language as a natural subset. Map theory is as simple and
homogeneous as ZFC set theory. The paper presents map theory,
develops ZFC within map theory and gives a relative
consistency proof for map theory.



The index is available in LaTeX format by anonymous ftp
>from the University of Copenhagen. Instructions:

* Connect to host ftp.diku.dk [129.142.96.1]
* Use login id "ftp" with your internet address as password
* go to directory /pub/diku/users/grue
* "get" the file "mapindex.tex" from that directory

Here is a sample dialog:

   ftp
   ftp> open ftp.diku.dk
   Name: ftp
   Password: <your internet address>
   ftp> cd /pub/diku/users/grue
   ftp> get mapindex.tex
   ftp> close
   ftp> quit

---------------------------------------------------------------------------

Klaus Grue                      E-mail: grue@diku.dk
DIKU                            Phone: +45 35 32 14 09
University of Copenhagen        Fax:   +45 35 32 14 01
Universitetsparken 1
DK-2100 Copenhagen
Denmark