Click here to Skip to main content
12,955,842 members (63,550 online)

Theraot - Professional Profile


Google+      Blog RSS
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 ^_^.


For more information on Reputation please see the FAQ.


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, and the given member types also gain the privilege regardless of their reputation level.

ActionAuthorAuthorityDebatorEditorEnquirerOrganiserParticipantIf OwnerMember Types
Have no restrictions on voting frequencysilversilversilversilverAdmin
Bypass spam checks when posting contentsilversilversilversilversilversilversilverSitebuilder, Subeditor, Mentor, Protector, Editor, Staff, Admin
Store personal files in your account areaplatinumplatinumSitebuilder, Subeditor, Supporter, Editor, Staff
Have live hyperlinks in your biographybronzebronzebronzebronzebronzebronzesilverSubeditor, Protector, Editor, Staff, Admin
Edit a Question in Q&AsilversilversilversilverYesSubeditor, Protector, Editor, Admin
Edit an Answer in Q&AsilversilversilversilverYesSubeditor, Protector, Editor, Admin
Delete a Question in Q&AYesSubeditor, Protector, Editor, Admin
Delete an Answer in Q&AYesSubeditor, Protector, Editor, Admin
Report an ArticlesilversilversilversilverSubeditor, Mentor, Protector, Editor, Staff, Admin
Approve/Disapprove a pending ArticlegoldgoldgoldgoldSubeditor, Mentor, Protector, Editor, Staff, Admin
Edit other members' articlesSubeditor, Protector, Editor, Admin
Create an article without requiring moderationplatinumSubeditor, Mentor, Protector, Editor, Staff, Admin
Approve/Disapprove a pending QuestionProtector, Admin
Approve/Disapprove a pending AnswerProtector, Admin
Report a forum messagesilversilverbronzeProtector, Editor, Admin
Approve/Disapprove a pending Forum MessageProtector, Admin
Create a new tagsilversilversilversilverAdmin
Modify a tagsilversilversilversilverAdmin

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:'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.

Advertise | Privacy | Mobile
Web02 | 2.8.170525.1 | Last Updated 29 May 2017
Copyright © CodeProject, 1999-2017
All Rights Reserved. Terms of Service
Layout: fixed | fluid