מתמטיקה | השראה ואסתטיקה
English: Mathematics

השראה ואסתטיקה

Postscript-viewer-shaded.png ערך מורחב – יופי מתמטי

המתמטיקה דרושה לפתרון בעיות העוסקות בכמות, מבנה, מרחב או שינוי. בעיות כאלו נמצאו לראשונה במסחר, במדידת שטחים ומאוחר יותר באסטרונומיה; כיום, הן קיימות בכל המדעים, ואף בתוך המתמטיקה עצמה. הפיזיקאי ריצ'רד פיינמן המציא את ניסוח אינטגרלי המסלול של מכניקת הקוונטים באמצעות שילוב של טיעונים מתמטיים ותובנה פיזיקלית; כיום תורת המיתרים, תאוריה מדעית שעודה בתהליכי פיתוח ואשר מנסה לאחד את ארבעת כוחות היסוד של הטבע, מהווה השראה לפיתוח מתמטיקה חדשה (אדוארד ויטן, פיזיקאי שהוא מאבות תורת המיתרים, זכה במדליית פילדס, שהיא הפרס החשוב ביותר במתמטיקה).

רעיונות מסוימים במתמטיקה משמשים אך ורק בתחום שהיווה השראה ליצירתם, אך לעיתים רעיונות שנוצרו במקור על מנת לפתור בעיות בתחום מסוים מוכיחים את עצמם כשימושיים בתחומים רבים נוספים, והם מצטרפים לאוסף הכולל של הרעיונות המתמטיים. העובדה הלא-רגילה כי לעיתים קרובות ניתן למצוא יישומים מעשיים אף לרעיונות המתמטיים ה"טהורים" ביותר היא מה שכינה הפיזיקאי יוג'ין ויגנר " היעילות הבלתי-הגיונית של המתמטיקה" במאמר משנת 1960.

כמו ברוב תחומי המחקר, גם במתמטיקה נוצר צורך בהתמקצעות עקב הגידול המהיר בהיקף הידע בעידן המדעי. רוב המתמטיקאים בוחרים, לעיתים כבר במהלך לימודי התואר הראשון, להתמקצע באחד מתתי-הענפים של המתמטיקה, ובפרט מתמטיקה טהורה או מתמטיקה שימושית. מספר תחומים במתמטיקה השתלבו עם תחומים חוץ-מתמטיים והפכו לתחומי מחקר בפני עצמם, ובכלל זה חקר ביצועים ומדעי המחשב.

"נניח שיש רק מספר סופי של מספרים ראשוניים. ניקח את כל הראשוניים הללו, נכפיל אותם זה בזה ונוסיף 1. התוצאה שקיבלנו נותנת שארית 1 בחלוקה לכל אחד מהמספרים הראשוניים. לכן תוצאה זו אינה מתחלקת באף אחד מהראשוניים – היא חייבת להיות מספר ראשוני נוסף, או להתחלק במספר ראשוני שאינו ברשימת המספרים הראשוניים שלנו. בכל מקרה קיבלנו שההנחה שיש מספר סופי של ראשוניים מובילה לסתירה, ולכן הנחה זו אינה נכונה, כלומר יש מספר אינסופי של ראשוניים." (אוקלידס, יסודות, ספר תשיעי, משפט 20)

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