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

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

עריכהמבוא

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

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

לערך המלא

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

עריכהערכים מומלצים במתמטיקה אריתמטיקה - חזקה (מתמטיקה) - חידות חיתוך והרכבה - מגדלי האנוי - מערכות מספרים - משפט פיתגורס - משפט קנטור - קבוצת קנטור - קריפטוגרפיה עריכהמאמר נבחר משפט פיתגורס הוא משפט גאומטרי, הנחשב לאחד המשפטים המתמטיים הנודעים ביותר. הוא קובע שסכום שטחי הריבועים, הבנויים על הניצבים במשולש ישר-זווית, שווה לשטח הריבוע הבנוי על היתר (הניצבים הם שתי צלעות הזווית הישרה, והיתר הוא הצלע הארוכה של המשולש). בניסוח פורמלי: אם אורכי הניצבים במשולש ישר-זווית הם $a$ ו-$b$, ואורך היתר הוא $c$, אז: $a^2+b^2=c^2$. המשפט ההפוך, הקובע שמשולש שבו ריבוע צלע אחת שווה לסכום ריבועי הצלעות האחרות הוא ישר-זווית, נכון גם הוא. המשפט נקרא על שם המתמטיקאי והפילוסוף היווני פיתגורס, שחי במאה ה-6 לפנה"ס על אף שאת המשפט עצמו הכירו בתרבויות עתיקות מאות שנים לפני זמנו. בעיה מפורסמת מתורת המספרים היא מציאת משולשים ישרי זווית שאורכי הצלעות שלהם הינם מספרים שלמים, כלומר למצוא פתרונות שלמים למשוואה הדיופנטית: $a^2+b^2=c^2$. שלשה של מספרים כאלה קרויה שלשה פיתגורית, וידוע שיש אינסוף שלשות מסוג זה. דוגמה לשלשה פיתגורית הם המספרים 3,4,5 שכן הם מקיימים את המשוואה: $(9+16=25)3^2+4^2=5^2$. לערך המלא לרשימה המלאה

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

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

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

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

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

עריכההידעת?

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

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

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

— עמוס נוי

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

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

$\sum _{n=1}^N{n}^3=\frac{N^2(N+1{)}^2}{4}={\left(\sum _{n=1}^{N}n\right)}^2$

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

עריכהחידה

מה צבע הדוב?

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

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

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

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

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

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

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

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

לערך המלא

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

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

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

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

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

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

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

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

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