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

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

עריכהמבוא

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

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

לערך המלא

עריכהאנחנו ממליצים

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

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

עריכהאיך נראית מתמטיקה?

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

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

עריכהרוצים לשמוע משהו מסקרן?

עריכההידעת?

השורש הריבועי של 2, שהוכח בדרך השלילה שהוא אי רציונלי, הוא אורכו של היתר במשולש ישר-זווית שאורך ניצביו הוא 1.

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

לקטעי "הידעת?" נוספים

עריכהציטוט נבחר

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

— עמוס נוי

לאוסף הציטוטים המלא

עריכהנוסחה נבחרת

$(z-1)!:=\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx,\mathrm{\Re }(z)>0$

לאוסף הנוסחאות

עריכהחידה

תרנגולת וחצי מטילה ביצה וחצי ביום וחצי. כמה ביצים מטילה תרנגולת אחת ביום אחד?

לחידות נוספות, לחידות קשות יותר

עריכהאיפה עוד אפשר לקרוא על מתמטיקה?

עריכהאוצרות הרשת בחלון זה מופיעה תצוגה מתחלפת של אתרי אינטרנט הפועלים להנגשת המתמטיקה לציבור הרחב. אתר היום: The Geometry Junkyard (באנגלית) אתר מקסים המרכז הפניות לנושאים הקשורים לשעשועי מתמטיקה גאומטריים ברשת. לאוצרות נוספים

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

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

מבט אל הלוח – תצוגה מתחלפת של השערה או משפט

משפט בולצאנו-ויירשטראס באנליזה מתמטית קובע כי לכל סדרה אינסופית חסומה של נקודות ב-${\mathbb{ℝ}}^n$ קיימת תת-סדרה מתכנסת. ניסוח אחר (ושקול) של המשפט קובע כי לכל קבוצה אינסופית חסומה של נקודות ב-${\mathbb{ℝ}}^n$ קיימת נקודת הצטברות.

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

לערך המלא

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

עריכהקישורים שימושיים

רשימת משפטים מתמטיים - נוסחאות בגאומטריה - רשימת נוסחאות בטריגונומטריה - נוסחאות גזירה - חוקי הלוגריתמים

עריכהפורטלים קרובים

מחשבים	אינטרנט	פיזיקה	כימיה	כלכלה	מדעי המחשב

עריכהקדימה, לעבודה!

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

דיונים, ייעוץ ועזרה להסבר על עריכת נוסחאות מתמטיות ראו עזרה:נוסחאות לשאלות במתמטיקה בקרו בשאל את המומחה – שאלות במדעים מדויקים

מהו פורטל? – רשימת כל קטגוריות המשנה והערכים