X-Message-Number: 10303
Date: Fri, 21 Aug 1998 12:29:45 -0700
From: Paul Wakfer <>
Subject: Re: CryoNet #10292 Metzger Sillyness
References: <>

> Message #10292
> Subject: math sillyness
> Date: Thu, 20 Aug 1998 13:49:23 -0400
> From: "Perry E. Metzger" <>

Again this is far removed from the topic of cryonics, but Perry is
determined to be "silly" about it (not to mention insufferably arrogant)
and therefore must be replied to.

Before Perry puts his foot in his mouth over mathematical constructivism
any further, I suggest he consult the following texts on that subject:

Aberth, O., Computable analysis, McGraw-Hill, 1980. 
Beeson, M.J., Foundations of constructive mathematics, Springer-Verlag
Bishop, E., Foundations of constructive analysis, McGraw-Hill, 1967. 
Bishop, E. and D.S. Bridges, Constructive analysis, Springer-Verlag
Bridges, D.S., Constructive functional analysis, Pitman, 1979. 
Bridges, D.S. and F. Richman, Varieties of constructive mathematics,
Cambridge Univ. Press 1987. 
Dummett, M., Elements of intuitionism, Oxford Univ. Press 1977. 
Heyting, A., Intuitionism, an introduction, North-Holland 1971. 
Kushner, B.A., Lectures on constructive mathematical analysis, Amer.
Math. Soc. 1985. 
Mines, R., F. Richman and W. Ruitenburg, A course in constructive
algebra, Springer-Verlag 1988. 
Shanin, N.A., Constructive real numbers and constructive function
spaces, Amer. Math. Soc. 1968. 
Tennenbaum, J.B., A constructive version of Hilbert's basis theorem,
dissertation, University of California San Diego, 1973. 
Troelstra, A.S and D. van Dalen, Constructivism in mathematics, an
introduction, two volumes, North-Holland,

For starters, he can read an introductory description of constructive
mathematics at: http://www.math.fau.edu/Richman/html/construc.htm (and
be sure to follow the links to the other pages).

Perry appears to be like so many people who hold views different from
the masses in one area (cryonics and capitalism in his case), but cannot
imagine how the contrary views of others could be right about something

-- Paul --

Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=10303