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

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

עריכהמבוא

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

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

לערך המלא

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

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

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

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

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

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

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

עריכההידעת?

סימן פאי

ב־14 במרץ מציינים במחלקות למתמטיקה באוניברסיטאות ברחבי העולם את יום פאי, זאת כתוצאה מהקירוב בן שלוש הספרות לערך פאי - 3.14. מהדרי ה"חג" חוגגים אותו בדרך כלל בשעה 1:59 אחר הצהריים (3.14159). ביום פאי של שנת 2004 קבע הגאון-האוטיסט דניאל טאמט שיא אירופי בדקלום המספר, כאשר דקלם אותו עד הספרה ה-22,514 שלו. השיא העולמי בדקלום פאי שייך ללו צ'או מסין שב-20 בנובמבר 2005 דקלם ללא שגיאה 67,890 ספרות.

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

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

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

— עמוס נוי

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

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

$$(a+b{)}^2=a^2+2ab+b^2$$ נוסחה לריבוע הסכום. אחת הנוסחאות הראשונות שלומדים באלגברה בית סיפרית. הנוסחה שימושית לביצוע מניפולציות אלגבריות פשוטות, והיא עומדת בבסיס של אחת השיטות לפתרון משוואה ריבועית - השלמה לריבוע

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

עריכהחידה

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

האם יצליח הכלוא לצאת מן המעגל? אם כן, כיצד, ובכמה צעדים; ואם לא - מדוע?

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

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

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

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

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

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

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

לערך המלא

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

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

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

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

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

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

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

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

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