[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