לדלג לתוכן

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

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

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

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

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


משחק מגדלי האנוי עשוי עץ לבוד

מגדלי האנויאנגלית: Towers of Hanoi) הוא משחק חידה מתמטי, שמקורו בסוף המאה ה-19. המשחק הוא אמצעי הדגמה פופולרי לעקרון הרקורסיה ולמושגים בסיסיים אחרים בקומבינטוריקה ובמדעי המחשב.

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

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

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

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


ג'ון פון נוימן בשנות ה-40 של המאה ה-20
ג'ון פון נוימן בשנות ה-40 של המאה ה-20

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

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

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

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


המתמטיקה היא האלפבית שבו כתב אלוהים את העולם.

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


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


מסופר כי על מצבתו של דיופנטוס נכתב:

"ילדותו ארכה 1/6 מחייו, זקנו צימח לאחר עוד 1/12 מהם, אחרי עוד 1/7 נשא אישה, ובנו נולד 5 שנים לאחר מכן, הבן חי מחצית משנות חיי אביו, והאב מת ארבע שנים אחרי בנו".

בן כמה היה דיופנטוס במותו?

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

אתר היום: The Grey Labyrinth (באנגלית)

אוסף מדהים של חידות מתמטיות, פרי עמלו של קווין לין.

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

ספר היום:

רומה פלק, אתגרים לתאים האפורים – בעיות, חידות ולקחיהן, ספרית פועליםהוצאת הקיבוץ המאוחד, 2004

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

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

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

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

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

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


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

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

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

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