X-Message-Number: 21705 Date: Fri, 2 May 2003 08:59:18 -0400 From: Thomas Donaldson <> Subject: CryoNet #21700 - #21704 For Bob Ettinger: A nice summary of ideas about unprovable propositions in #21702. There is a set of mathematical ideas which gets around this problem by eliminating all proofs by contradiction, and therefore avoiding the problems raised by propositions such as "This sentence is unprovable". It's proponents have gone as far as functional analysis, though their functional analysis at first looks more restricted than normal. But have we really lost anything? And for Melissa: I can't claim to be an expert on psychology or female psychology, either. But it's good to see a woman who stands up for herself rather than just following the ideas of the men around her. Welcome to our attempt at immortality. Best wishes and long long life for all, Thomas Donaldson Rate This Message: http://www.cryonet.org/cgi-bin/rate.cgi?msg=21705