מספר גרהאם

מספר גרהאם הוא מספר גדול ששימש כחסם עליון לבעיה בקומבינטוריקה בהוכחה של המתמטיקאי תבנית:קישור שפה. המספר התפרסם בקרב חובבי המתמטיקה לאחר שמרטין גרדנר כתב עליו בטור הפופולרי שלו Mathematical Games בירחון "סיינטיפיק אמריקן" בנובמבר 1977. המספר תואר על ידי גרדנר בתור "המספר הגדול ביותר שאי-פעם שימש בהוכחה מתמטית רצינית".

מספר גרהאם גדול משמעותית ממספרים גדולים אחרים כגון גוגול ($10^{100}$), גוגולפלקס ($10^{10^{100}}$) ואפילו ממספר סקיוז הראשון ($e^{e^{e^{79}}}$). אין מספיק מקום ביקום הנראה כדי לכתוב את מספר גראהם בכתיב עשרוני. אפילו אם ננסה לכתוב את המספר כמגדל חזקות וכל ספרה תהיה בסדר גודל של אורך פלאנק לא יהיה לכך די מקום ביקום. במהדורת ספר השיאים של גינס משנת 1980 הוכר מספר גרהאם כמספר הגדול ביותר בעל שימוש, אולם מאז פורסמו הוכחות בהן הופיעו מספרים גדולים אף יותר.

בעיית גרהאם

מקורו של מספר גרהאם בבעיה הבאה מתורת רמזי: תבנית:ציטוט

גרהאם וברוס לי רוטשילד הוכיחו ב-1971 כי לבעיה קיים פתרון $N^{*}$ והוכיחו כי $6\le N^{*}\le N$ כאשר $N=F^7(12)$ תחת ההגדרה $F(n)=2{\uparrow }^{n}3$ (${\uparrow }^n$ הוא החץ של קנות' ו-$F^m(n)$ הוא הרכבת $F(n)$ על עצמו m פעמים). החסם התחתון שופר בשנת 2003 והחסמים העדכניים הם $13\le N^{*}\le N$.

מספר גרהאם שסומן ב-$G$ גדול בהרבה מ-$N$ שהופיע במאמר על הבעיה, והוא הופיע בעבודות מוקדמות יותר של גרהאם כחסם עליון ל-$N^{*}$.

הגדרת מספר גרהאם

לא ניתן להגדיר ביעילות את מספר גרהאם בעזרת כתיב עשרוני או חזקות. אולם הדבר אפשרי בעזרת סימון החץ של קנות' והרכבת פונקציות. אם מגדירים $f(n)=3{\uparrow }^{n}3$ אז ניתן להגדיר את מספר גרהאם: $G=f^{64}(4)$. או בעזרת נוסחת נסיגה: אם מגדירים סדרה $g_n=3{\uparrow }^{g_{n-1}}3$ כאשר תנאי ההתחלה הוא $g_1=3{\uparrow }^{4}3$ אז מספר גרהאם הוא $G=g_{64}$. כלומר:

$\begin{array}{ccc}G& =& 3\underbrace{\uparrow \uparrow \cdots \cdots \cdots \cdots \cdots \uparrow }3\\ & & 3\underbrace{\uparrow \uparrow \cdots \cdots \cdots \cdots \uparrow }3\\ & & \underbrace{⋮}\\ & & 3\underbrace{\uparrow \uparrow \cdots \cdot \cdot \uparrow }3\\ & & 3{\uparrow }^{4}3\end{array}\}\text{64 layers}$

בעזרת החץ של קונוויי ניתן גם לחסום בצורה נוחה את מספר גרהאם. מתקיים: $3\to 3\to 64\to 2=f^{64}(1)<G<f^{64}(27)=3\to 3\to 65\to 2$. הדבר מדגים את כוחה של שיטת הסימון של קונוויי שמסוגלת בקלות לייצג מספרים גדולים מאוד שלא ניתן לייצג ביעילות באף דרך אחרת שיש בה שימוש.

קישורים חיצוניים

• תבנית:MathWorld