Chatroom
 

If this is your first visit, be sure to check out the FAQ by clicking the link above. You may have to register before you can post: click the register link above to proceed. To start viewing messages, select the forum that you want to visit from the selection below.

Go Back   Bad Astronomy and Universe Today Forum > General Interest > Off-Topic Babbling
Register FAQ Members List Calendar Mark Forums Read

   

Reply
 
LinkBack Thread Tools Search this Thread Display Modes
  #1 (permalink)  
Old 15-December-2004, 12:15 AM
01101001's Avatar
01101001 01101001 is online now
Order of Kilopi
 
Join Date: Mar 2004
Posts: 13,458
Default Really, Really Big: Graham's Number

I recently had the pleasure of meeting Graham's Number, the Guinness Record largest named number -- one with a "practical" puspose, anyway, its being used in a mathematical proof.

It is shown to be an upper bound on a not unreasonably stated word problem (and it also relates to the coloring of the corners of hypercubes of dimension n, but that's so hard to picture):

"Take any number of people, list every possible committee that can be formed from them, and consider every possible pair of committees. How many people must be in the original group so that no matter how the assignments are made, there will be four committees in which all the pairs fall in the same group, and all the people belong to an even number of committees."

Some uncommon notation is need to express it with a formula. Just as multiplication is a generalization of addition, and exponentiation is a generalization of multiplication, the arrow function is a generalization of exponentiation.

For instance:

3↑3 is the ordinary 3-cubed, 27.

3↑↑3 is 3 raised to (3 raised to 3), 3↑27, a good-sized number, 7,625,597,484,987.

3↑↑↑3 is 3↑↑(3↑↑3), or 3↑↑7,625,597,484,987, a very large number. That is: 3 raised to (3 raised to (3 raised to...)))
7,625,597,484,987 times.

3↑↑↑↑3 is 3↑↑↑(3↑↑↑3). Big. Very big.

Still with me? 3↑↑↑↑3 is the starting point for defining Graham's number.

G1 is 3↑↑↑↑3.

G2 is 3↑↑...G1 total arrows...↑↑3. Yikes! But, we've only just begun.

Generally, Gn is 3↑↑...Gn-1 total arrows... ↑↑3

Finally, Graham's Number is G64. That is: 3↑↑...G63 total arrows...↑↑3. It makes me feel woozy. I think I'm gonna hurl.

The tickling thing about the amazingly gigantic Graham's Number is that it is an upper bound for a value that experts in the field believe, but haven't prooved, to be the much, much less astounding number, 6. Six!

Now, next time someone throws a googolplex (between 10↑↑3 and 10↑↑4, much smaller than 10↑↑↑2) at you, you can handily trump them.
__________________
0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 ...
Reply With Quote
  #2 (permalink)  
Old 15-December-2004, 01:10 AM
frogesque frogesque is offline
Established Member
 
Join Date: Mar 2004
Location: Kingdom of Fife: 56.2°N, 3.2°W
Posts: 2,860
Default

Yeah - But does it = 1 ? 8)

(runs and hides under table)
__________________
By asking questions we sometimes get the wrong answers, from wrong answers we learn to ask the right questions.
Reply With Quote
  #3 (permalink)  
Old 15-December-2004, 01:20 AM
Brady Yoon Brady Yoon is offline
Established Member
 
Join Date: Feb 2004
Location: Anaheim Hills, CA USA
Posts: 2,020
Send a message via AIM to Brady Yoon
Default

Is it bigger than a googolplex?
Reply With Quote
  #4 (permalink)  
Old 15-December-2004, 02:05 AM
The Supreme Canuck's Avatar
The Supreme Canuck The Supreme Canuck is offline
Order of Kilopi
 
Join Date: May 2003
Location: Ottawa, Canada
Posts: 6,877
Default

Much.
__________________
Quaeso quousque humi defixa tua mens erit? Nonne aspicis, quae in templa veneris?
Reply With Quote
  #5 (permalink)  
Old 15-December-2004, 11:45 AM
TriangleMan's Avatar
TriangleMan TriangleMan is offline
Order of Kilopi
 
Join Date: Dec 2002
Location: Qatar
Posts: 3,528
Default

[old man] You call that a big number? Back in my day we were using numbers like that for long division when I was in Grade 2! [/old man] :wink:
__________________
Now while I might be amused by Cthulhians, I don't necessarily distrust them to carry out the functions of government. -- JayUtah

What's it like being a skeptic in the Middle East? Check out my blog.
Reply With Quote
  #6 (permalink)  
Old 15-December-2004, 05:20 PM
George's Avatar
George George is offline
Order of Kilopi
 
Join Date: Sep 2003
Location: San Antonio, Tx.
Posts: 8,438
Default

Quote:
Originally Posted by TriangleMan
[old man] You call that a big number? Back in my day we were using numbers like that for long division when I was in Grade 2! [/old man] :wink:
Remember, we were smaller back then, so they just looked bigger.
__________________
Lighten up! This is a stellar board!
Reply With Quote
  #7 (permalink)  
Old 15-December-2004, 06:10 PM
logicboy logicboy is offline
Established Member
 
Join Date: Dec 2002
Location: Phoenix, AZ
Posts: 212
Default

rofl
Reply With Quote
  #8 (permalink)  
Old 16-December-2004, 07:47 PM
01101001's Avatar
01101001 01101001 is online now
Order of Kilopi
 
Join Date: Mar 2004
Posts: 13,458
Default

Quote:
Originally Posted by Brady Yoon
Is it bigger than a googolplex?
Well, I mentioned googolplex in my original post, but let's revisit it.

A googolplex is 10↑(10↑(10↑2)).

A googolplex is less than 10↑↑4 = 10↑(10↑(10↑10))

A googolplex is way less than 10↑↑↑2 = 10↑↑10

I think that gives some feeling about how the arrow operator notation can generate gigantic quantities.

A googolplex is way, way less than that 3↑↑↑↑3, the G1 starting point for Graham's number.

If you are standing on the number line at just G2 (3↑↑...G1 total arrows...↑↑3), looking back toward zero, a googolplex might look infinitesimally small!
__________________
0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 ...
Reply With Quote
  #9 (permalink)  
Old 17-December-2004, 01:53 AM
hedin's Avatar
hedin hedin is offline
Junior Member
 
Join Date: Aug 2003
Location: Denmark
Posts: 59
Default

Quote:
Originally Posted by 01101001
Quote:
Originally Posted by Brady Yoon
Is it bigger than a googolplex?
Well, I mentioned googolplex in my original post, but let's revisit it.

A googolplex is 10↑(10↑(10↑2)).

A googolplex is less than 10↑↑4 = 10↑(10↑(10↑10))

A googolplex is way less than 10↑↑↑2 = 10↑↑10

I think that gives some feeling about how the arrow operator notation can generate gigantic quantities.

A googolplex is way, way less than that 3↑↑↑↑3, the G1 starting point for Graham's number.

If you are standing on the number line at just G2 (3↑↑...G1 total arrows...↑↑3), looking back toward zero, a googolplex might look infinitesimally small!
errrrr you lost me I ain´t that smart ops:
__________________
Consumatum est-nune est bibendum.
Reply With Quote
  #10 (permalink)  
Old 17-December-2004, 03:31 AM
tofu tofu is offline
Established Member
 
Join Date: Nov 2003
Location: florida, USA
Posts: 2,568
Default

You know, the Guinness people are not mathematicians. How much time do you think they spent researching that? Take the total profits they get from selling their books, which probably isn't a lot in the age of the Internet, and divide by the number of mostly made up world records contained within. That's the amount of money they can on average afford to spend researching any one record. Multiply that by minimum wage and you probably get something like a minute or two of time.

So, I don't put much faith in what they say with regard to the largest named number. In fact, I can think of another named number that is probably as large, SuperK. It was used by Donald Knuth in one of his books. For those of you that don't know, he is an imminent computer scientist, a real smart guy. Chances are, we wouldn't have forums like this without him. If the Guinness people didn't at least acknowledge that in their listing of the record, then I don't think they did a good job.
Reply With Quote
  #11 (permalink)  
Old 17-December-2004, 03:56 AM
01101001's Avatar
01101001 01101001 is online now
Order of Kilopi
 
Join Date: Mar 2004
Posts: 13,458
Default

Quote:
Originally Posted by tofu
In fact, I can think of another named number that is probably as large, SuperK. It was used by Donald Knuth in one of his books. For those of you that don't know, he is an imminent computer scientist, a real smart guy. Chances are, we wouldn't have forums like this without him. If the Guinness people didn't at least acknowledge that in their listing of the record, then I don't think they did a good job.
Guinness qualified it by saying Graham's number is the largest named number used in a proof.

I'm quite unconfident that Guinness did a lot fo research to discover this fact, but I do have a lot of confidence that if some mathematician had used a larger number in a proof, he/she would have let the Guinness folks know about it. Anyone who did the simplest search on the topic of large numbers would rather quickly run into the Guinness claim.

Obviously, I could name a number, oh, Phil, that is Graham's number + 1, but that is not quite so interesting.

What do you have for Knuth's Super K? With a quick Google search, all I saw for it was 10↑↑↑↑3. That's 10↑↑↑(10↑↑↑10).

That is big, bigger than G1, 3↑↑↑↑3, even, but must be less than G2, and just pathetically less than G64.

By the way, this arrow notation is due to Knuth.
__________________
0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 ...
Reply With Quote
  #12 (permalink)  
Old 17-December-2004, 04:16 AM
tofu tofu is offline
Established Member
 
Join Date: Nov 2003
Location: florida, USA
Posts: 2,568
Default

Quote:
Originally Posted by 01101001
What do you have for Knuth's Super K?
I couldn't find anything with a google search either. I loaned my dad the book. If you're interested, I'll get it back from him this weekend and transcribe a couple of paragraphs.

Quote:
By the way, this arrow notation is due to Knuth.
That's interesting. I didn't know he had invented it.
Reply With Quote
  #13 (permalink)  
Old 17-December-2004, 04:34 AM
frogesque frogesque is offline
Established Member
 
Join Date: Mar 2004
Location: Kingdom of Fife: 56.2°N, 3.2°W
Posts: 2,860
Default

I wouldn't think that Guinness need to make a lot of profit from the annual Book of Records. It's sound advertising and gets the company an awful lot of publicity both from the book and the stunts that folk do to get into the records. It's in Guinness' interest that those records are as accurate as they can possibly make them. Guinness would be virtually unknown in the US without media attention on the book. Smart move for a huge market - CocaCola and Pepsi must be kicking themselves for not coming up with the idea first.

Daily Mirror article (a national UK daily tabloid)

Quote:
THAT'S A NEW WEIRD RECORD Nov 13 2003

By Andrea Henry

FORGET the tallest, the smallest, the fastest or even the slowest, it's time to brace yourself for the grossest records in history.

The Guinness Book Of World Records celebrated its 100 millionth copy with a big bash in London on Tuesday and a new pocket-sized book - The Best Gross World Records.
History

Quote:
On 12 September 1954, Sir Hugh invited Norris and Ross McWhirter to see if their fact and figure agency in London could help. An office was set up at 107 Fleet Street and intense work began on the first slim 198 page edition. The printers bound the first copy on 27 August 1955. Well before Christmas the Guinness Book was No. 1 on the bestsellers list.
__________________
By asking questions we sometimes get the wrong answers, from wrong answers we learn to ask the right questions.
Reply With Quote
  #14 (permalink)  
Old 17-December-2004, 10:59 PM
Fortis Fortis is offline
Order of Kilopi
 
Join Date: May 2004
Posts: 3,707
Default

Of course you can name and register your own number here.
Quote:
Welcome to the International Number Registry!
New Reserve Your Number On-line!!

We provide the answer to:

What gift can you give someone that will last forever? And will always be appreciated?
.
.
.
As an additive to our work, we are offering to the public, for a limited time only, the opportunity to name select Natural and Rational Numbers after loved ones and respected teachers, for a nominal fee. These names will be included in the volume of our completed work, and in all publications derived thereof.
.
.
.
http://home.columbus.rr.com/realnumbers/index.html
Reply With Quote
  #15 (permalink)  
Old 18-December-2004, 12:14 AM
Bad jcsd Bad jcsd is offline
Established Member
 
Join Date: Dec 2004
Posts: 275
Default

As the mathwold link states Graham's number is widely recognized to be the largest number with practical use.

Actually wait I've just discovered a new number!!!!! g_64 + 1 !!!!!
Reply With Quote
  #16 (permalink)  
Old 11-January-2005, 02:47 PM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

Quote:
Originally Posted by Bad jcsd
As the mathwold link states Graham's number is widely recognized to be the largest number with practical use.

Actually wait I've just discovered a new number!!!!! g_64 + 1 !!!!!
Assuming that those trailing exclamation points are factorials, that is quite a large number, but I have a better number. (g_64+1)!!!!!!+1 I'll call it jfribrg's number. This has the property that all prime factors are > bad jcsd's number.
Reply With Quote
  #17 (permalink)  
Old 11-January-2005, 03:28 PM
mickal555 mickal555 is offline
Order of Kilopi
 
Join Date: May 2004
Location: Brisbane, Queensland, Australia
Posts: 7,125
Send a message via ICQ to mickal555 Send a message via AIM to mickal555 Send a message via MSN to mickal555 Send a message via Yahoo to mickal555
Default

I think I'll expand the number and post it my web-site for fun.....
I just want to ask... is this possible
oh and whats it used for anyway?
__________________
If this writing is blue you're going too fast!


Reply With Quote
  #18 (permalink)  
Old 11-January-2005, 03:35 PM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

Quote:
Originally Posted by mickal555
I think I'll expand the number and post it my web-site for fun.....
I just want to ask... is this possible
oh and whats it used for anyway?
If every particle in the universe were a bit, it would not be possible to store this number in the typical binary format. Don't even think of trying to print it out.

Another question is whether the number could be stored if every particle in the universe were a qbit. I'll ponder this a while and post my conclusion. Or I could simply wait for toSeek to read the post and do the pondering for me.
Reply With Quote
  #19 (permalink)  
Old 11-January-2005, 03:42 PM
mickal555 mickal555 is offline
Order of Kilopi
 
Join Date: May 2004
Location: Brisbane, Queensland, Australia
Posts: 7,125
Send a message via ICQ to mickal555 Send a message via AIM to mickal555 Send a message via MSN to mickal555 Send a message via Yahoo to mickal555
Default

Awww fiddle sticks

but
I don't want to post in in binary I want to post it in Decimal is that what a qbit is.
__________________
If this writing is blue you're going too fast!


Reply With Quote
Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are On




All times are GMT. The time now is 09:00 AM.


Powered by vBulletin® Version 3.8.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
LinkBacks Enabled by vBSEO 3.0.0
©  2006 Bad Astronomy and Universe Today