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 1985. Bishop, E., Foundations of constructive analysis, McGraw-Hill, 1967. Bishop, E. and D.S. Bridges, Constructive analysis, Springer-Verlag 1985. 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, 1988. 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 else. -- Paul -- Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=10303