Register to reply 
Cantor's alpha one 
Share this thread: 
#1
Apr3004, 12:35 PM

P: 118

Is there another convincing way, other than the one orginally used by cantor, of prooving that there exists infinitys greater than alpha zero?
I ask because cantor's proof seems a bit shaky to me, at least the way I've read it. I hear that there is some discontent amongst top maths dudes circles with it as well. I wonder that the reason why that big conjecture about infinitys existing between alpha zero and one is undecidable is because there is only one infinity, therefore invalidating all the concepts which different size infinitys rely upon. There maybe some infinite sets which are uncountable, but maybe that doesn`t imply more than one infinity. 


#2
Apr3004, 01:58 PM

P: 262

Organic use to write here quite alot about this interesting question.
And you can look also at : www.as.huji.ac.il/midrasha04.htm Best Moshek 


#3
Apr3004, 04:01 PM

Sci Advisor
P: 6,077

There is a simple way to resolve this, using measure theory (a generalization of length).
1) Measure of any countable set is 0. 2) Measure of unit interval is 1. Therefore no. points in unit interval is not countable (> aleph0). 


#4
Apr3004, 04:02 PM

P: 678

Cantor's alpha one
There is some mathematicians who study the idea of changing the fundamentals of set theory and/or cardinality but the validity of the current definitions and results produced from them are not controvertial. I can't comment on the idea of how many infinities there are without knowing what definition of infinity you happen to be using. 


#5
Apr3004, 05:49 PM

Emeritus
Sci Advisor
PF Gold
P: 16,091

Assume that N has the same cardinality as 2^N; the set of all functions from the natural numbers into {0, 1}.
That means there is a bijection from N to 2^N. Let's call it f. Let's define a function, g, by g(n) = 1  f(n)(n). (For those unfamiliar with this type of thing, allow me to try and clarify; f is a function from N to 2^N, so f(n) is an element of 2^N. Elements of 2^N are functions from N into {0, 1}, so we can evaluate f(n) at some number m. We write this as f(n)(m)) Now, g(n) is a function from N into 2^N, so there must exist an x such that g = f(x). (Because f is a bijection) However, g(x) != f(x)(x), so g != f(x). This is a contradiction, so our assumption is incorrect. Now there are some esoteric things you can do with logic... for instance, it is possible to arrange things so that you have a "small" set theory and a "big" set theory. While the "small" versions of the natural numbers and real numbers, of course, have no "small" bijection between them, there is a bijection in the "big" theory. So, the "small" real numbers form a countable set in the "big" theory. 


#6
Apr3004, 06:09 PM

Sci Advisor
HW Helper
P: 9,396

and just to add more weight to it, do not follow moshek's link as it is just to another crakpot rant form someone who doesn't understand mathematics. no mathematicians have any problem with this issue. to read more about the thing hurkyl mentions, it's called skolem's paradox.



#7
May104, 02:53 AM

P: 262

It could be better for your name now, if you were looking on the names that appear in the link i suggest in this thread for meemoe_uk before you wrote what you wrote in this forum!
Here it again just for you Matt: www.as.huji.ac.il/midrasha04.htm 


#8
May104, 04:35 AM

Sci Advisor
HW Helper
P: 9,396

Thank you Moshek, I naively and stupidly assumed you were posting a link to Organic again, a crank in anyone's language, having mixed it up with a reply in another thread. I retract what I said about this link unequivocally.



#9
May104, 09:06 AM

P: 262

Matt , I am glad you can see your mistakes and also admit with that. Now tell me really and i meen to that! please give me deep answer to why you use not nice word to someone you don’t agree with his attitude to mathematics (Organic).
Moshek http://www.gurdjieffinternet.com/bo...php?authID=121 


#10
May104, 09:19 PM

Sci Advisor
HW Helper
P: 9,396

Look at baez's crackpot index and score any of organic's threads in a serious and impartial manner, read the www.crank.net stuff on maths cranks, appreciate that organic has at no point managed to admit that maths, as has been practised by many people far cleverer than he, has any useful points, nor has he ever admitted he is wrong in any way despite the copious evidence to the contrary. see that at no point has he managed to offer any proofs or evidence supporting his position, that nothing he has written has any practical purpose. that is sufficient proof of crank status to anyone.



#11
May204, 12:16 PM

P: 262

Matt: Way you choose your name as matt grime ?
"Organic mathematics" will be the name to the NonEuclidian mathematics that will be declared and accepted during the next 10 years. Very fundamental point will be a new definition to the concept of number as Organic Share also with this forum. Moshek http://www.geocities.com/complementa...y/CATpage.html 


Register to reply 
Related Discussions  
Cantor's diagonal argument  Set Theory, Logic, Probability, Statistics  38  
Cantor's definition of reals  Calculus  16  
Cantor's diagonalization  Calculus & Beyond Homework  5  
Cantor's diagonal method  General Math  1  
Cantor's comb  General Math  5 