פורטל:מתמטיקה
ויקיפדיה האנציקלופדיה encyclopedia
המתמטיקה מוגדרת לעיתים קרובות כלמידת הדפוסים והתבניות של מבנה, שינוי ומרחב, ואפיונם. מנקודת מבט מודרנית, מתמטיקה היא השימוש בלוגיקה פורמלית לחקירת מערכות ומבנים מופשטים שהוגדרו אקסיומטית.
מוצאם של רוב המבנים הנחקרים במתמטיקה הוא ממדעי הטבע, לרוב מפיזיקה, אך מתמטיקאים מרבים להגדיר ולחקור מבנים מסיבות פנימיות לחלוטין למתמטיקה עצמה, למשל לשם ביצוע הכללה מאחדת של תחומים מתמטיים אחדים או ככלי שימושי לביצוע חישובים. יש אפוא מתמטיקאים רבים שחוקרים תחומים מסוימים מסיבות אסתטיות לחלוטין, בראיית המתמטיקה כאמנות במידת מה יותר מכמדע שימושי.
עריכהערכים מומלצים במתמטיקה
עריכהמאמר נבחר
קבוצת קנטור היא קבוצה שנבנית בצורה האיטרטיבית הבאה: לוקחים קטע, ומסירים ממנו את השליש האמצעי. מבצעים פעולה דומה בכל אחד משני הקטעים שנותרו, ונשארים עם ארבעה קטעים, שגם עליהם ממשיכים את התהליך, וכך הלאה עד אינסוף. קבוצה זו תוארה בידי המתמטיקאי גאורג קנטור בשנת 1883. חשיבותה הרבה היא בתכונותיה המיוחדות, שסותרות את האינטואיציה ומציגות מעט ממורכבותו ומייחודו של האינסוף. תכונות אלה דחפו את קנטור לפתח את תורת הקבוצות. קרוב למאה שנים מאוחר יותר נמנתה קבוצת קנטור עם הקבוצות שעליהן ביסס בנואה מנדלברוט את רעיון הפרקטל. |
עריכהמומלצי פורטל נוספים
עריכהמתמטיקאי נבחר
סר אייזק ניוטון (באנגלית: Isaac Newton; 4 בינואר 1643 – 31 במרץ 1727 היה פיזיקאי, מתמטיקאי, אסטרונום, פילוסוף ואלכימאי אנגלי, הנחשב לאחד מגדולי המוחות המדעיים בכל הזמנים. חיבורו "היסודות המתמטיים של פילוסופיית הטבע" שפורסם ב-1687 הכיל תיאור של כוח הכבידה ושלושת חוקי התנועה, והניח את הבסיס למכניקה הקלאסית ששלטה בראייה המדעית של היקום הפיזיקלי במשך שלוש המאות הבאות ויצרה את הבסיס להנדסה המודרנית. ניוטון נחשב לאבי החשבון הדיפרנציאלי והאינטגרלי, הציג לראשונה את משפט הבינום המוכלל (אשר נקרא על שמו – הבינום של ניוטון), המתאר את טור טיילור של הפונקציה גם כאשר אינו שלם, הוא פיתח והציג את זהויות ניוטון, שיטת ניוטון-רפסון למציאה נומרית של שורשי פונקציה, התורה של פולינומים ממעלה שלישית בשני משתנים, תרם תרומות חשובות לתורה של הפרשים סופיים והיה הראשון שהשתמש באינדקסים חלקיים ובגאומטרית קוארדינטות כדי לגזור פתרונות למשוואה דיופנטית. ניוטון החל גם לפתח את חשבון הווריאציות, תחום שקיבל שם זה רק במאה ה-18. כמו כן גילה נוסחה חדשה לחישוב π. |
עריכהתמונה נבחרת
טבעת מביוס, צורה מרחבית (ליתר דיוק יריעה), המורכבת מסרט בעל צד אחד בלבד. טבעת מביוס היא הדוגמה הבסיסית ליריעה לא אוריינטבילית. זאת אחת הסיבות לכך שטבעת מביוס משמשת כקוריוז מתמטי עבור חובבים.
|
עריכהאנימציה נבחרת
סרטון של זום לתוך קבוצת מנדלברוט, קבוצה של מספרים מרוכבים אשר הגבול של ייצוגן הגאומטרי מהווה את אחת הדוגמאות המוכרות ביותר של פרקטלים במתמטיקה. |
הכמתים הלוגיים "לכל..." ו"קיים..." מבוססים על כתיב הפוך של האותיות האנגליות הראשונות במילים: A ב-All ("כל") ו-E ב-Exist ("קיים").
מספרים הם הדרגה העליונה ביותר של הידע. הם הידע עצמו.
— אפלטון
בכל מקום בו יש מספר - יש יופי.
— פרוקולוס
הבינום של ניוטון. הנוסחה הייתה ידועה זמן רב לפני תקופתו של ניוטון, אולם ניוטון היה הראשון שפיתח הכללה שלה עבור לא שלם, כחלק מהפיתוח של החדו"א. הנוסחה המקורית שימושית באלגברה וההכללה שלה שימושית גם באנליזה. ראו גם: משולש פסקל ומקדמי הבינום.
ארבע צפרדעים עומדות בארבע פינות של ריבוע שאורך צלעו מטר אחד. כל צפרדע יכולה לקפוץ מעל כל אחת מהצפרדעים האחרות - כך שהיא תנחת בדיוק באותו המרחק מצדה השני. הצפרדעים יכולות לקפוץ זו מעל זו בכל סדר שיבחרו ומספר בלתי מוגבל של פעמים. האם הצפרדעים יכולות להגיע למצב בו הן עומדות בארבע הפינות של ריבוע שאורך צלעו שני מטרים?
עריכהאוצרות הרשת
בחלון זה מופיעה תצוגה מתחלפת של אתרי אינטרנט הפועלים להנגשת המתמטיקה לציבור הרחב. אתר היום: בדיחות מקצועיות – מתמטיקאים אוסף של בדיחות שנדרש ידע מתמטי מסוים כדי לצחוק מהן. דוגמה: מדוע עשרת בני המן אינם יכולים להיות בסיס למרחב וקטורי? מפני שאינם בלתי תלויים. אל תתיאשו אם לא צחקתם, זו בדיחה שמתחילים לצחוק ממנה בסוף הסמסטר הראשון של לימודי מתמטיקה באוניברסיטה. בדיחות אחרות טובות גם לבעלי השכלה מתמטית של שלוש יחידות לבגרות. |
עריכהמדף הספרים
בחלון זה מופיעה תצוגה מתחלפת של ספרי מתמטיקה שנועדו להנגשת המתמטיקה לציבור הרחב. ספר היום: איאן סטיוארט, תרגום: נצה מובשוביץ-הדר, לאַלף את האינסוף - סיפורה של המתמטיקה, ספרי עליית הגג וידיעות ספרים, 2012 זהו מבוא פופולרי מקיף לתולדות המתמטיקה, מראשית ייצוגם של מספרים בפרהיסטוריה ועד להוכחת השערת פואנקרה בתחילת המאה ה-21. המחבר מציין: "רשימת הנושאים שאינם מופיעים בספר ארוכה יותר מרשימת אלה שכן מופיעים בו". תוצאה זו בלתי-נמנעת, בהתחשב ברוחב היריעה של המתמטיקה, אך הספר עוסק בקשת רחבה של נושאים, תוך הצגת המתמטיקאים, העצמים והרעיונות המרכיבים את ההיסטוריה של המתמטיקה. |
משפטים מפורסמים
|
השערות מפורסמות
|
המשפט האחרון של פרמה הוא משפט מפורסם בתורת המספרים שאותו ניסח המתמטיקאי פייר דה פרמה באמצע המאה ה-17, והוא נותר כבעיה פתוחה עד שהוכח על ידי אנדרו ויילס בשנת 1995. במשך כ-350 שנים היה לאחת הטענות המפורסמות ביותר בעולם המתמטיקה שלא הוכחו.
המשפט טוען כי:
עבור n טבעי גדול מ-2, לא קיימים מספרים טבעיים x,y,z המקיימים את המשוואה: . |
נושאים במתמטיקה | |||
---|---|---|---|
כמות | אינסוף - מספרים (טבעיים, שלמים, רציונליים, אי-רציונליים, ממשיים, מרוכבים) - מספרים סודרים - עוצמה - תורת המידה - קבועים מתמטיים | ||
שינוי | אנליזה מתמטית - אנליזה וקטורית - אנליזה מרוכבת - אריתמטיקה - חשבון אינפיניטסימלי - תורת הכאוס - משוואות דיפרנציאליות - אנליזה פונקציונלית | ||
מבנה | אלגברה - אנליזה מתמטית - אריתמטיקה - טופולוגיה - תורת הגרפים - תורת החבורות - תורת המספרים | ||
מרחב | אלגברה ליניארית - גאומטריה - טופולוגיה - טריגונומטריה - אנליזה וקטורית - חשבון טנזורים - מרחב מחויג | ||
מתמטיקה בדידה | חישוביות - קומבינטוריקה - קריפטוגרפיה - תורת הגרפים - תורת המשחקים | ||
יסודות ושיטות | לוגיקה - פילוסופיה של המתמטיקה - תורת הקבוצות - סימון מתמטי - תורת הקטגוריות | ||
מתמטיקה יישומית | אופטימיזציה - אנליזה נומרית - הסתברות - סטטיסטיקה - מתמטיקה פיננסית | ||
עולם המתמטיקה | הוראת המתמטיקה - האיחוד המתמטי הבינלאומי - היסטוריה של המתמטיקה - מדליית פילדס - מתמטיקאים - 23 הבעיות של הילברט | ||
עריכהמבט על תחום נבחר
חישוביות היא הבסיס למדעי המחשב, והיא עוסקת במודלים לחישוב ובפונקציות הניתנות לחישוב במסגרתם. בניגוד להנחה נפוצה, ישנן פונקציות שאי אפשר לחשב. בעיית העצירה מהווה דוגמה לפונקציה שכזו: ניתן להוכיח כי אין תוכנית היכולה לקבל כקלט תוכנית כלשהי והקלט לאותה התוכנית, ולקבוע האם התוכנית תעצור. במסגרת תאוריית החישוביות נבחנות תכונותיהם של מודלים חישוביים שונים, על ידי בדיקת מחלקת הפונקציות שניתן לחשב במודל, ושקילותה למחלקת הפונקציות של מודל אחר. ההיררכיה של חומסקי מתארת היררכיית מחלקות הניתנות לחישוב במודלים שונים, כך שלכל מחלקת פונקציות בהיררכיה מתאימים מודלים רבים, אשר שקולים זה לזה בכוחם החישובי – חישוב שניתן לבצע באחד מהמודלים ניתן לבצע גם באחרים. אחד המודלים הראשונים שנוצרו הוא מכונת טיורינג, אשר מהווה אבן דרך בתורת החישוביות כולה, בשל פשטותו ודמיונו למחשב (שטרם הומצא בעת יצירת מודל זה). מודל אחר הוא זה של תחשיב למדא. הוכח ששני מודלים אלה, ומודלים רבים נוספים אחרים שהוצעו, שקולים זה לזה. מודלים אלה שקולים גם למחשב, אם נניח קיומו של זיכרון בלתי מוגבל בגודלו. תזת צ'רץ'-טיורינג משערת שכל פורמליזציה סבירה של מושג האלגוריתם תהיה שקולה למכונת טיורינג. |
ערכים המחפשים עורכים |
דיונים, ייעוץ ועזרה
|