לדלג לתוכן

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

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

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

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

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


כתב החידה מתוך ספרו של ז'ול ורן "מסע אל בטן האדמה"
כתב החידה מתוך ספרו של ז'ול ורן "מסע אל בטן האדמה"

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

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


קורט גדל
קורט גדל

קורט גדלגרמנית: Kurt Gödel)‏ (28 באפריל 1906 - 14 בינואר 1978) היה לוגיקן אוסטרי (ואחר-כך אמריקני) מגדולי הלוגיקנים של כל הזמנים.

גדל נולד ב-28 באפריל 1906 בעיר ברנו שבאימפריה האוסטרו-הונגרית (כיום בצ'כיה), לאב שהיה מנהל מפעל טקסטיל. בגיל 18 התחיל גדל את לימודיו באוניברסיטת וינה, שם לקח קורסים בפיזיקה, במתמטיקה ובפילוסופיה, כשבסופו של דבר התמקד בלוגיקה מתמטית והיה חבר בחוג הווינאי. בשנת 1930 סיים את עבודת הדוקטורט שלו, שבה הוכיח את שלמותו של תחשיב פסוקים מסדר ראשון. טענה זו ידועה בשם משפט השלמות של גדל.

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

אנימציה תלת-ממדית המציגה את היטליו של טסרקט, גוף ארבע ממדי המהווה הכללה של הקובייה התלת ממדית.

פאון שצייר לאונרדו דה וינצ'י עבור ספרו של לוקה פאצ'ולי "על הפרופורציה האלוקית"
פאון שצייר לאונרדו דה וינצ'י עבור ספרו של לוקה פאצ'ולי "על הפרופורציה האלוקית"

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


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


n!=2πn(ne)n(1+O(1n)).


איך אפשר לחשב את המכפלה של שני מספרים, במחשבון שבו אפשר לבצע רק חיבור, חיסור והיפוך (היינו, הפעולה  x1x)?


בונוס:נסו להשתמש ב6 פעולות היפוך בלבד

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

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

האתר של MAA - האגודה המתמטית של ארצות הברית, ובו שלל טורים מעניינים, כולל כאלה שאינם מצריכים בקיאות במתמטיקה.

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

ספר היום:

דאגלס הופשטטר, גדל, אשר, באך, דביר, 2011

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

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

משפט בולצאנו-ויירשטראס באנליזה מתמטית קובע כי לכל סדרה אינסופית חסומה של נקודות ב-n קיימת תת-סדרה מתכנסת. ניסוח אחר (ושקול) של המשפט קובע כי לכל קבוצה אינסופית חסומה של נקודות ב-n קיימת נקודת הצטברות.

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

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

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

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