Welcome to Beweisbar. This blog intends to address popular issues in science. To be completely honest, I write for selfish purposes.I take this blog as my motivation to learn because to be able to write something, I read articles, watch documentaries every week. I hope you enjoy reading the articles. For questions & comments, please reach me at mehmetkurtt@gmail.com.

Monday, March 14, 2011

Graham's Number and Infinity

Ronald Graham and his wife Fan Chung
What is the biggest number that you know of? Centillion, googol,googolplex? A googol is 10100  and  a googolplex is  10Googol  , which is already an unbelievably large number. Of course you can go on forever, by taking the powers of these numbers until you reach the infinity. But what is the largest number that is "useful" for mathematics? The answer is the mysterious Graham's number. Graham's number is so ridiculously huge that  it trumps googolplex by a long shot.

"The Mathemagician"

Ronald Graham is not one of those "high IQ, low EQ" mathematicians that you are familiar with. He is the only one of its kind, and the people tend to call him " The Mathemagician". Literally... Believe it or not, he is "a highly skilled trampolinist and juggler", and the past president of the International Jugglers' Association. In fact, he was even on stage with Cirque du Soleil (recently visited Istanbul for a set of shows) and in an issue of Discover magazine about the Science of the Circus.


Ronald Graham while juggling

Recently a professor in  the Computer Science Department of UCSD(University of California at San Diego), Prof. Graham considered a problem in Ramsey theory, and gave a "large number " as an upperbound for its solution. Since then, this number, known as Graham's number, became well known as the largest number ever used in a mathematical proof. It was so large when compared with the largest numbers previously used in mathematics that, people had tough times in perceiving it.Well actually, they still do.Perhaps the most ironic thing about this number was, it was an upper bound solution to a problem to which most of people would give the trivial answer: 6. Isn't it quite hilarious that we cannot even calculate how many times Graham's number is bigger than 6 today?


Graham's Number

Graham's number is connected to the following problem in the branch of mathematics known as Ramsey Theory:
Consider an n-dimensional hypercube, and connect each pair of vertices to obtain a complete graph on 2n vertices. Then colour each of the edges of this graph either red or blue.
What is the smallest value of n for which every such colouring contains at least one single-coloured 4-vertex planar complete subgraph?
Well , this may sound quite complicated and I do not want to bore you with details, so let's proceed with what Graham's number really is.

 
\left. 
 \begin{matrix} 
  G &=&3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots\cdots \uparrow}3 \\
    & &3\underbrace{\uparrow \uparrow \cdots\cdots\cdots\cdots \uparrow}3 \\ 
    & &\underbrace{\qquad\;\; \vdots \qquad\;\;} \\ 
    & &3\underbrace{\uparrow \uparrow \cdots\cdot\cdot \uparrow}3 \\
    & &3\uparrow \uparrow \uparrow \uparrow3
 \end{matrix} 
\right \} \text{64 layers}
where the number of arrows in each layer, starting at the top layer, is specified by the value of the next layer below it; that is,
G = g_{64},\text{ where }g_1=3\uparrow\uparrow\uparrow\uparrow 3,\  g_n = 3\uparrow^{g_{n-1}}3,
So to explain better we can say that g(1)= 3^^^^3 meaning basically 3^27. For g(2), there will be g(1) number of arrors between 3s, that is to say g(2)= 3^^^^.....^^^3, where the number of ^'s is g(1) and so on until g(64) , which is the Graham's number itself.

It comes as a no surprise to say that this is an unbelievably huge number, so huge that if we could write each number of the Graham's number on every atom in the observable universe, it would not be enough.  As a result:
1.We will never learn how many digits it has.
2. We will never learn the first digit of the Graham's number
3.We will never learn if there are more 1s than 0s in Graham's number

Well, we will pretty much never learn anything.  Why am I so confident? Can't a modern computer in the future store the Graham's number? The entire number is far too big to be stored in perfect precision by any computer that has ever existed or ever will exist. How can I say "ever will exist"? Because, even written in scientific notation, i.e. with only one digit of precision, the number of digits in the exponent would exceed the number of atoms in the observable universe. The total number is easily larger than the number of Planck volumes into which the observable universe can be divided. If the whole observable universe were a computer, and every tiny quark and neutrino represented a bit of data, it could not store the entire number in absolute precision.

The only thing we can do about the Graham's number is that we are able to calculate the last digits of it by using the "modular exponentiation" technique. In fact, I implemented this technique in a Matlab code ( you can download it HERE), and I was able to calculate the last 11 digits of the Graham's number in , well, 6 hours. Either I need a better computer or I should quit writing programs so inefficient :)

It is obvious that the size of Graham's number is beyond our perception. But the ironic thing is, you, me and Ronald Graham is  exactly at the same distance with infinity: Infinity

4 comments:

  1. The link to the MATLAB code doesn't work. Could you possibly post it in the MATLAB File Exchange (http://www.mathworks.com/matlabcentral/fileexchange/)?

    ReplyDelete
  2. Curious . . . what significance are the 3 and 64 in Graham's number?
    After all I could arbitrarily name a number N,
    such that N = n1048576,
    where n1 = 7↑↑↑↑↑↑↑↑7 and nk = 7↑(nk-1)7
    Obviously N, although still infinitely short of ∞, would be mind-bogglingly larger than G . . . no?

    ReplyDelete
    Replies
    1. The Graham's number is a number that has been used in some serious mathematical proof. What you have said has no reference to any mathematical sum and you can keep increasing or decreasing any value of a number that way till infinity.

      Delete
  3. Possible the first digit of grahams number is 4.

    ReplyDelete