ArtsAutosBooksBusinessEducationEntertainmentFamilyFashionFoodGamesGenderHealthHolidaysHomeHubPagesPersonal FinancePetsPoliticsReligionSportsTechnologyTravel

Infinity and beyond: a simple view of the continuuum hypothesis

Updated on August 15, 2015

Infinity is a subject of (naturally) endless interest. Mathematical infinity, spatial infinity, infinite time, and the paradoxes involved have interested ( and perhaps deranged) some of the most powerful minds on this planet.

And infinity keeps cropping up in the strangest places, for example in the foundations of mathematics or, in Physics, generally as a sign that a theory is being used where it begins to break down.

With the renewed interest in parallel universes we now also have the possibility of an infinite number of universes and an infinite number of copies of each of us.

Lets stick to numbers. Then go to infinity and beyond.


Like time everyone knows what a number is- until asked to say what it is. Mathematicians share this problem with every one else but know how to build numbers, many ways to build numbers. Perhaps the simplest is to start with sets, the building blocks of mathematics.

The simplest definition of a set is due to Georg Cantor, who said a set is a multiplicity that can be considered as a unity, for example a herd of sheep, a flock of geese, a corruption of politicians ( or in the case of world leaders a lack of principals) or a murmuration of starlings. Anything in a set is an element of a set and a set, if written out in full, is written as a pair of curly brackets enclosing its elements. Of course it would be hard to fit a herd of sheep inside curly brackets (they fit better inside a pen - a sentence that is a well known trap for AI and translation software), so normally just the names of the elements are used.

Start with the empty set written as ∅ = {} which is not nothing but contains nothing. Since Physicists believe that at the lowest level particles are constantly being created from nothing and popping back into nothing and bankers create money from nothing and then pop it back into nothing leaving a recession and a load of rich bankers, it is clear that nothing is important. And like an empty bank account the empty set is potentially quite productive.

So we define zero as the empty set. Then we define 1 as the set containing the empty set 1 = {∅} and two as {0,1} and so on. In this way we can get all the so called natural numbers or positive integers. More complicated ways of creating these numbers are possible and they also allow negative numbers and fractions, but these are out of scope here.

Clearly this process never ends, leading to a loose definition of infinity as “always one more”. We cannot list all the integers but we can imagine the set of all integers which we write as N

and we use Ao to for the size of this set. Mathematicians normally use strange symbols and, following Georg Cantor, Hebrew letters, for infinitely large numbers, but these are painful to render on a web page.

Infinity calling
Infinity calling

The smallest infinity

Ao is the smallest known infinity and has the interesting property

Ao + Ao = Ao

Ao + 1 = Ao

If you have an infinite number Ao of pairs of shoes and add one pair it is still infinite, Ao

If you take separate the left and right shoes of each pair you have two heaps of equal size and an infinite number of happy one legged beggars. Hence Ao + Ao = Ao

This becomes easier to see using Cantor's insight that two sets are equal if every element of one can be paired with every element of the other with nothing left over. More formally this is called a one-to-one correspondence. An infinite set is one that can be put into a one to on correspondence with a subset of itself.

The standard example of this is the set of even numbers {2,4,6,8.....} which can be put into a one to one correspondence with each natural number 1-->2, 2--->4 etc.

It can be shown that the set of all fractions m/n where m and n are natural numbers is the same size, Ao as the set of natural numbers.

Any set that can be put into correspondence with the set of natural numbers has size (cardinality) Ao and is called countable.

Larger infinities

Suppose we have an infinitely large library with all books that can be written using the letters of the alphabet, the digits 0 to 9 and a space. So one book is empty, and there is a book with an infinite number of “a”s and so on. Somewhere in this lot is the answer life, the universe and everything and also the question to which this relates. But that is for another day. Start by giving each book a unique number 1,2,3 etc, in effect creating a catalogue of books. There are Ao books, obviously.

Now construct a new book not in the library. Start with the first character of the first book and write down a different character. Then look at the second character of the second book and write down a different character and so on. In the end you will have a book that differs from each book in the library by at least one character.

The paradox here is assuming the library holds all possible books and constructing a book that is not in the library, which violates the assumption that the library holds all possible books. What we actually did is take a countably infinite set of books and prove that some books in the library are not in that countable set This can only be true if the library is bigger than Ao .

To look at it another way this sneaks in Cantor's proof the there are more real numbers than integers, for the content of each book can be transformed into a unique number between 0 and 1 and then we have a pairing of the integers with real numbers, but can construct a number that is not paired with any integer. The books are discrete objects, much like integers but are uncountable.

This is why some people think the study of infinity is dangerous.

The continuum hypothesis

This is what may have driven Cantor insane and made his spiritual successor Kurt Godel paranoid, though others have followed them into this maze and returned sane. We need to start with the power set of a set, the set of all subsets of a set (including the empty set and the set itself). For a set with n elements there are 2n subsets.

We saw from the infinite library that the collection of books cannot be listed or indexed by the integers, it is uncountable. It is known that

2Ao= c

where c is the (infinite, obviously) number of points in a finite length perfect line. And this is the number of real numbers between zero and one. So is the number of books in the library c or not?

The continuum hypothesis is that there is no infinity between these two. Implying there are c books in the library.

Now if the continuum hypothesis were true then the sequence of infinities would go on for ever with each new one being the size of the power set corresponding to the previous set. More formally any infinity k must be 2An for some n, suggesting a countable number of infinities. Another way of putting this is that for all n then there are no infinities between 2Anand 2An+1. it would also mean each infinite set other than Ao is the power set of a smaller infinite set.

If the Continuum Hypothesis were false there could be an infinite number of infinities between each of these “regular” infinities. It also implies some infinite sets are not the power set of a smaller infinite set.

Unfortunately the Continuum hypothesis is not decidable given the starting assumptions (axioms) of set theory. This is a gaping hole in the floor of mathematics. It could have meant constructing two different and consistent mathematics depending on whether you assume the hypothesis to be true or false.

Mathematicians like this as much as religions like the idea that other religions with different assumptions are equally valid or politicians like the idea that their opponents may have got something right. Fortunately mathematicians, perhaps uniquely among humans, have a non violent way to settle their differences. Simply tack an “obviously” true assumption on to the assumptions already used in set theory (This is theory. In practice until a proof is provided mathematicians are as fractious as any other group, sports fans for example).

And there is the rub. What assumption to use? This is an active area of research among mathematicians who are willing to risk their sanity and most of the work is currently inaccessible to anyone outside the field. Perhaps anyone who takes up this research should be aware it comes with a risk to sanity clause. But, as Groucho Marx allegedly said “There ain't no sanity clause”


Mysteries of the Aleph, Amir D. Aczel, Pocket Books 2000, ISBN 0-7434-2299-6

Infinity and the Mind: Rudy Rucker, Princeton University Press; New Edition 2004 ISBN-10: 0691121273 and ISBN-13: 978-0691121277 Formal proofs of most of the statements here.


    0 of 8192 characters used
    Post Comment

    No comments yet.


    This website uses cookies

    As a user in the EEA, your approval is needed on a few things. To provide a better website experience, uses cookies (and other similar technologies) and may collect, process, and share personal data. Please choose which areas of our service you consent to our doing so.

    For more information on managing or withdrawing consents and how we handle data, visit our Privacy Policy at:

    Show Details
    HubPages Device IDThis is used to identify particular browsers or devices when the access the service, and is used for security reasons.
    LoginThis is necessary to sign in to the HubPages Service.
    Google RecaptchaThis is used to prevent bots and spam. (Privacy Policy)
    AkismetThis is used to detect comment spam. (Privacy Policy)
    HubPages Google AnalyticsThis is used to provide data on traffic to our website, all personally identifyable data is anonymized. (Privacy Policy)
    HubPages Traffic PixelThis is used to collect data on traffic to articles and other pages on our site. Unless you are signed in to a HubPages account, all personally identifiable information is anonymized.
    Amazon Web ServicesThis is a cloud services platform that we used to host our service. (Privacy Policy)
    CloudflareThis is a cloud CDN service that we use to efficiently deliver files required for our service to operate such as javascript, cascading style sheets, images, and videos. (Privacy Policy)
    Google Hosted LibrariesJavascript software libraries such as jQuery are loaded at endpoints on the or domains, for performance and efficiency reasons. (Privacy Policy)
    Google Custom SearchThis is feature allows you to search the site. (Privacy Policy)
    Google MapsSome articles have Google Maps embedded in them. (Privacy Policy)
    Google ChartsThis is used to display charts and graphs on articles and the author center. (Privacy Policy)
    Google AdSense Host APIThis service allows you to sign up for or associate a Google AdSense account with HubPages, so that you can earn money from ads on your articles. No data is shared unless you engage with this feature. (Privacy Policy)
    Google YouTubeSome articles have YouTube videos embedded in them. (Privacy Policy)
    VimeoSome articles have Vimeo videos embedded in them. (Privacy Policy)
    PaypalThis is used for a registered author who enrolls in the HubPages Earnings program and requests to be paid via PayPal. No data is shared with Paypal unless you engage with this feature. (Privacy Policy)
    Facebook LoginYou can use this to streamline signing up for, or signing in to your Hubpages account. No data is shared with Facebook unless you engage with this feature. (Privacy Policy)
    MavenThis supports the Maven widget and search functionality. (Privacy Policy)
    Google AdSenseThis is an ad network. (Privacy Policy)
    Google DoubleClickGoogle provides ad serving technology and runs an ad network. (Privacy Policy)
    Index ExchangeThis is an ad network. (Privacy Policy)
    SovrnThis is an ad network. (Privacy Policy)
    Facebook AdsThis is an ad network. (Privacy Policy)
    Amazon Unified Ad MarketplaceThis is an ad network. (Privacy Policy)
    AppNexusThis is an ad network. (Privacy Policy)
    OpenxThis is an ad network. (Privacy Policy)
    Rubicon ProjectThis is an ad network. (Privacy Policy)
    TripleLiftThis is an ad network. (Privacy Policy)
    Say MediaWe partner with Say Media to deliver ad campaigns on our sites. (Privacy Policy)
    Remarketing PixelsWe may use remarketing pixels from advertising networks such as Google AdWords, Bing Ads, and Facebook in order to advertise the HubPages Service to people that have visited our sites.
    Conversion Tracking PixelsWe may use conversion tracking pixels from advertising networks such as Google AdWords, Bing Ads, and Facebook in order to identify when an advertisement has successfully resulted in the desired action, such as signing up for the HubPages Service or publishing an article on the HubPages Service.
    Author Google AnalyticsThis is used to provide traffic data and reports to the authors of articles on the HubPages Service. (Privacy Policy)
    ComscoreComScore is a media measurement and analytics company providing marketing data and analytics to enterprises, media and advertising agencies, and publishers. Non-consent will result in ComScore only processing obfuscated personal data. (Privacy Policy)
    Amazon Tracking PixelSome articles display amazon products as part of the Amazon Affiliate program, this pixel provides traffic statistics for those products (Privacy Policy)
    ClickscoThis is a data management platform studying reader behavior (Privacy Policy)