|
לא כל כך מבין את הקשר (אגב, אמרתי "כלי חזק מאוד"?). מה שגאוארס אמר זה שמשפט-גדל זכה לפופולריות עצומה ב"ציבור הרחב", ללא פרופורציה לחשיבותו למחקר המתמטי, וזה נכון. משפט-גדל הוא אבן יסוד בלוגיקה מתמטית, יש לו השלכות פילוסופיות מעניינות (הרבה פחות משכמה אנשים נוטים לחשוב), אבל אין לו כמעט חשיבות עבור "רוב" ענפי המתמטיקה (אנליזה, אלגברה, גאומטריה, תורת-המספרים). אפילו משפטים-דמויי-גדל בתורת החבורות1, נניח, אינם חשובים נורא לרוב העוסקים בתורת-החבורות (והם גם לא משפט-גדל עצמו).
1 יש משפט שאומר שאין אלגוריתם המקבל הצגה של חבורה (יוצרים ויחסים) ומחשב אם החבורה טריוויאלית או לא.
|
|