Click here to Skip to main content
14,977,931 members

Theraot - Professional Profile



Summary

    Blog RSS
856
Author
71
Authority
63
Debator
5
Editor
65
Organiser
670
Participant
0
Enquirer
My name is Alfonso Ramos, I'm a Independend Software Developer Certified by Microsoft, In my interests are the video games, making them and of course playing them ^_^.

Reputation

Weekly Data. Recent events may not appear immediately. For information on Reputation please see the FAQ.

Privileges

Members need to achieve at least one of the given member levels in the given reputation categories in order to perform a given action. For example, to store personal files in your account area you will need to achieve Platinum level in either the Author or Authority category. The "If Owner" column means that owners of an item automatically have the privilege. The member types column lists member types who gain the privilege regardless of their reputation level.

ActionAuthorAuthorityDebatorEditorEnquirerOrganiserParticipantIf OwnerMember Types
Have no restrictions on voting frequencysilversilversilversilver
Bypass spam checks when posting contentsilversilversilversilversilversilvergoldSubEditor, Mentor, Protector, Editor
Store personal files in your account areaplatinumplatinumSubEditor, Editor
Have live hyperlinks in your profilebronzebronzebronzebronzebronzebronzesilverSubEditor, Protector, Editor
Have the ability to include a biography in your profilebronzebronzebronzebronzebronzebronzesilverSubEditor, Protector, Editor
Edit a Question in Q&AsilversilversilversilverYesSubEditor, Protector, Editor
Edit an Answer in Q&AsilversilversilversilverYesSubEditor, Protector, Editor
Delete a Question in Q&AYesSubEditor, Protector, Editor
Delete an Answer in Q&AYesSubEditor, Protector, Editor
Report an ArticlesilversilversilversilverSubEditor, Mentor, Protector, Editor
Approve/Disapprove a pending ArticlegoldgoldgoldgoldSubEditor, Mentor, Protector, Editor
Edit other members' articlesSubEditor, Protector, Editor
Create an article without requiring moderationplatinumSubEditor, Mentor, Protector, Editor
Approve/Disapprove a pending QuestionProtector
Approve/Disapprove a pending AnswerProtector
Report a forum messagesilversilverbronzeProtector, Editor
Approve/Disapprove a pending Forum MessageProtector
Create a new tagsilversilversilversilver
Modify a tagsilversilversilversilver

Actions with a green tick can be performed by this member.


 
GeneralInfinity and paradox Pin
Theraot5-Jan-10 6:00
MemberTheraot5-Jan-10 6:00 
Cantor also proved that the number of real integers is equal to the number of naturals, but it's smaller than the number of reals, the demostration is here: http://en.wikipedia.org/wiki/Cantor's_diagonal_argument[^]Also the first Hilbert problem (of his 23 famous set) is whatever or not exists a transfinite number in between the number of integers and the number of reals. This problem is considered solved, but the answer is "it depends...". It depends on the axioms in which you base the number theory (that has to do with gödel's work), but for the street walking people, no there is not.

paradoxes and infinite, this is my favorite:

paradoxes and infinite, this is my favorite: Say you have the list of all possible words wrote in any given language with a finite set of symbols. Now you sort them by it's length, starting by the language defined by 0 characters, and then those with a single symbol,then those with two, and so on. Now you can define a language by saying whatever or not, it contains any given word in the list, that way the language is represented by a sequence of bits, being 1 = it has the word, and 0 = it hasn't the word. Now Let's say we have the list of definition of all possible languages. Each definition is also a sentence wrote in an standard language (BNF, English, Binary, C#, you say... I'll take English), again you sort the list, and you can give each of then a natural number (1, 2, 3...). Now you pair the definition with the binary sequence of the language.

The next step is to use the Cantor diagonal argument: you define a language that differs in the Nth bit to the Nth language. So you get a language that is proven that is not in the list, so you has the proof that there are more languages than natural number, that's not a paradox. But you can define that language that's not in the set with a finite number of symbols in your standard language, In fact I just defined it above in English, and it took me a finite sentence to do it, so it should be in the list, that's the paradox, it should be, but it isn't.

I'll extract the definition in a more formal way: "The language that differs in the Nth bit to the Nth language in the list of all language that uses English alphabet, sorted by the length of it's definition wrote in English, where each bit says whatever or not the language contains the word that is in the position of the bit in the list of all possible words that can be wrote with English alphabet sorted by it's length"

--------
I found the above paradox in a book, I don't remember which book, neither the exact text. What is above is a reconstruction from my understanding of the paradox. Anyway, I've learned that this paradox is a variation of Kleene–Rosser paradox[^] and that one is in turn based on Richard's paradox[^].
modified on Friday, November 5, 2010 3:40 PM


modified 27-Jan-13 2:48am.

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.