[thechat] Math was Mythology was comics

Luther, Ron Ron.Luther at COMPAQ.com
Thu May 24 08:00:18 CDT 2001

Actually ... (if you're wierd enough to get into it - and have the math
background) ... Godel's proof is pretty cool.


It's been quite a while since I've been through it ... {I'm pretty sure I
have a copy of his original paper at home.} ... but I kind of remember it as
a set-theoretic application of the Cantor diagonal argument. (He says
offhandedly in the odd chance that that might mean something to anyone

I think the closest I've seen to an "unprovable assertion in math" is the
speculation on whether there is an infinity between aleph-not (the countably
infinite) and 'c' (the continuum or uncountably infinite).  [Sure - the
'power set' of the set of integers _should_ be strictly larger than the set
of integers ... but it seems like you should be able to construct a
methodology to show it to be merely 'countably infinite'.]

(Who used to spend waaaaay too much time working on this stuff! ... but I
DID enjoy it!)

More information about the thechat mailing list