לדלג לתוכן

פורטל:מתמטיקה

מתוך המכלול, האנציקלופדיה היהודית

רענון הפורטל כיצד אוכל לעזור?    

המתמטיקה מוגדרת לעתים קרובות כלמידת הדפוסים והתבניות של מבנה, שינוי ומרחב, ואפיונם. מנקודת מבט מודרנית, מתמטיקה היא השימוש בלוגיקה פורמלית לחקירת מערכות ומבנים מופשטים שהוגדרו אקסיומטית.

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


‏‏
הדגמת הטענה "סכומם של n המספרים האי-זוגיים הראשונים הוא המספר הריבועי העומד במקום n".
הדגמת הטענה "סכומם של n המספרים האי-זוגיים הראשונים הוא המספר הריבועי העומד במקום n".

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

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

גמישותה של שיטת האינדוקציה הפכה אותה לאחד מכלי ההוכחה החזקים ביותר בארגז הכלים של כל מתמטיקאי.



אלן טיורינגאנגלית: Alan Mathison Turing;‏ 23 ביוני 1912 - 7 ביוני 1954) היה מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב.

טיורינג הגיע להישגים יוצאי דופן בצד התאורטי ובצד המעשי של מדעי המחשב. בצד התאורטי הנחיל טיורינג לעולם שני רעיונות הקרויים על שמו:

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

אנימציה המדגימה את הרעיון העומד מאחורי משולש פסקל המאפשר חישוב של המקדמים הבינומיים.

כדור היחידה מממד N הוא אוסף כל הנקודות ב N שמרחקן מראשית הצירים קטן או שווה לאחת. כדור היחידה מממד 1 הוא האינטרוול  [1,1] ו"נפחו" שווה ל 2 (אורך הקטע). כדור היחידה מממד 2 הוא עיגול שמרכזו בראשית הצירים ורדיוסו 1. "נפחו" שווה ל π (שטח העיגול). בניגוד לאינטואיציה, כאשר הממד N שואף לאינסוף, נפח הכדור ה-N ממדי שואף ל-0.


מתמטיקאים הם בני אדם, אלא שהם מסתירים זאת היטב.


(z1)!:=Γ(z)=0xz1exdx, (z)>0


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

בחלון זה מופיעה תצוגה מתחלפת של אתרי אינטרנט הפועלים להנגשת המתמטיקה לציבור הרחב.

אתר היום: Plus (באנגלית)

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

בחלון זה מופיעה תצוגה מתחלפת של ספרי מתמטיקה שנועדו להנגשת המתמטיקה לציבור הרחב.

ספר היום:

איאן סטיוארט, לאַלף את האינסוף - סיפורה של המתמטיקה, ספרי עליית הגג וידיעות ספרים, 2012

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

משפטים מפורסמים
השערות מפורסמות

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

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

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

ערכים המחפשים עורכים

דיונים, ייעוץ ועזרה