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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

Gnome-colors-view-refresh.svg רענון הפורטל Netvibes.svg כיצד אוכל לעזור?    

P mathematics.svg

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

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

לערך המלא


מערכות המספרים החשובות וקשרי ההכלה ביניהן

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

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


Torus cycles.png
הטורוס נוצר על ידי כפל שני המעגלים. <center\>

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


הקוף מקליד באקראי

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


Benq joybook transparent.png

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

אתר היום: נטגר

עתון מתמטי לנוער.


Aumann-1080.jpg

פרופ' ישראל אוֹמַן (Robert J. Aumann), נולד ב-8 ביוני 1930, מתמטיקאי ישראלי, חתן פרס נובל לכלכלה לשנת 2005. תחום מחקרו העיקרי הוא תורת המשחקים.

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

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

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


Article MediumPurple.svg


Cquote2.svg

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

Cquote3.svg
מאוריץ קורנליס אשר


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

ספר היום:

The queen & the golem.jpg

יוסי שלוסברג, המלכה והגולם - הרפתקאות מתמטיות ותעלומות מחשב, הוצאת עלו-עט, 2011

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

ורבים אחרים.

מי יוצא דופן?
התשובה הנכונה (ציור).png


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


משפטים מפורסמים

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

השערות מפורסמות

השערת גולדבךהשערת רימןהשערת פואנקרההשערת הראשוניים התאומיםמשפט ארבעת הצבעיםP=NP
לרשימת הבעיות הפתוחות במתמטיקה

מבט אל הלוח – משפט או השערה מפורסמים

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

השערת גולדבך נבדקה באמצעות מחשב ונמצאה נכונה לכל מספר עד \ 2 \cdot 10^{17}. ההערכה המקובלת היא שההשערה נכונה, בהתבסס על התפלגותם של המספרים הראשוניים: ככל שמספר זוגי גדול יותר, כך סביר יותר שניתן להציגו כסכום של שני ראשוניים. מובן שזו אינה הוכחה.

לערך המלא

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

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


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

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

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

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

לערך המלא

לרשימת כל הערכים בתחום

מבט על תחומים נוספים


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


P computing.svg
P At sign.png
P physics-2.png
P chemistry.svg
P Economy.png
P Computer-science.png
מחשבים אינטרנט פיזיקה כימיה כלכלה מדעי המחשב


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

Exquisite-kwrite.png

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


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