OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 7:53 am

All times are UTC - 6 hours




Post new topic Reply to topic  [ 22 posts ]  Go to page Previous  1, 2
Author Message
 Post subject:
PostPosted: Tue Aug 28, 2007 10:58 am 
Offline
Member
Member

Joined: Thu Oct 21, 2004 11:00 pm
Posts: 248
Kind of. Alef-null is (I believe.) the infinite set of natural numbers. C is the infinite set of real numbers, called "continuity" because of its continuous property. It's an open problem of set theory whether there's any level of infinite set between the absolutely discrete alef-null and the absolutely continuous C.

Someone who's had more than a passing introduction to set theory could explain it better.

Also, if Alef is already a language, when will someone update it to make Bet?


Top
 Profile  
 
 Post subject:
PostPosted: Tue Aug 28, 2007 11:15 am 
Offline
Member
Member
User avatar

Joined: Tue Oct 17, 2006 11:33 pm
Posts: 3882
Location: Eindhoven
Crazed123 wrote:
Kind of. Alef-null is (I believe.) the infinite set of natural numbers. C is the infinite set of real numbers, called "continuity" because of its continuous property. It's an open problem of set theory whether there's any level of infinite set between the absolutely discrete alef-null and the absolutely continuous C.

Someone who's had more than a passing introduction to set theory could explain it better.

Also, if Alef is already a language, when will someone update it to make Bet?


Wikipedia, article Aleph=One:
Wikipedia wrote:
Aleph-null (\aleph_0) is by definition the cardinality of the set of all natural numbers

Wikipedia, article Set:
Wikipedia wrote:
\mathbb{C}, denoting the set of all complex numbers.


Top
 Profile  
 
 Post subject:
PostPosted: Wed Aug 29, 2007 3:27 am 
Offline
Member
Member
User avatar

Joined: Tue Jul 10, 2007 5:27 am
Posts: 2935
Location: York, United Kingdom
Candy: The set 'C' representing all complex numbers is denoted by a script capital C. As are Z,R,W etc for integer, real, rationals. This would differentiate it from another set, 'C'. (I'm sure that letter must have been used multiple times in set theory).

Quote:
Aleph-null (\aleph_0) is by definition the cardinality of the set of all natural numbers


The cardinality of the set of all natural numbers - must mean that aleph-null is some form of infinity then... :S
[EDIT]
Quote:
the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets.

I really should STFW before I post...
[/EDIT]

As crazed said, it is an open problem whether the cardinality of the set of all real numbers > that of the set of all natural numbers. Is one infinity bigger than another?

JamesM


Top
 Profile  
 
 Post subject:
PostPosted: Wed Aug 29, 2007 4:14 am 
Offline
Member
Member
User avatar

Joined: Wed Oct 18, 2006 3:45 am
Posts: 9301
Location: On the balcony, where I can actually keep 1½m distance
I think this "C" means the cardinality of the set of real numbers, rather than the set of complex numbers. (the cardinality of C (superset of C) is C squared, equals C :twisted:).

And btw, C > Aleph-0. So much for an open problem.

_________________
"Certainly avoid yourself. He is a newbie and might not realize it. You'll hate his code deeply a few years down the road." - Sortie
[ My OS ] [ VDisk/SFS ]


Top
 Profile  
 
 Post subject:
PostPosted: Wed Aug 29, 2007 5:30 am 
Offline
Member
Member
User avatar

Joined: Tue Jul 10, 2007 5:27 am
Posts: 2935
Location: York, United Kingdom
Heh, they told me it was, in my set theory classes. Obviously they didn't want to complicate things by talking about aleph-null etc.


Top
 Profile  
 
 Post subject:
PostPosted: Wed Aug 29, 2007 1:06 pm 
Offline
Member
Member

Joined: Thu Oct 21, 2004 11:00 pm
Posts: 248
Combuster wrote:
I think this "C" means the cardinality of the set of real numbers, rather than the set of complex numbers. (the cardinality of C (superset of C) is C squared, equals C :twisted:).

And btw, C > Aleph-0. So much for an open problem.

We know that C > Alef-null. The open problem is if they are the 1 and 0, respectively, of set cardinalities or whether any X exists for C > X > Alef-null.


Top
 Profile  
 
 Post subject:
PostPosted: Wed Aug 29, 2007 4:53 pm 
Offline
Member
Member
User avatar

Joined: Wed Oct 18, 2006 3:45 am
Posts: 9301
Location: On the balcony, where I can actually keep 1½m distance
Crazed123 wrote:
We know that C > Alef-null. The open problem is if they are the 1 and 0, respectively, of set cardinalities or whether any X exists for C > X > Alef-null.
From what I've heard either of C = Aleph-1 and C != Aleph-1 can be used with current mathematics without losing consistency. To me, that sounds like its impossible to prove that only one is correct.

There must be some things in life we will never understand :wink:

_________________
"Certainly avoid yourself. He is a newbie and might not realize it. You'll hate his code deeply a few years down the road." - Sortie
[ My OS ] [ VDisk/SFS ]


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 22 posts ]  Go to page Previous  1, 2

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 30 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group