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

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

עריכהמבוא

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

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

לערך המלא

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

עריכהערכים מומלצים במתמטיקה אריתמטיקה - חזקה (מתמטיקה) - חידות חיתוך והרכבה - מגדלי האנוי - מערכות מספרים - משפט פיתגורס - משפט קנטור - קבוצת קנטור - קריפטוגרפיה עריכהמאמר נבחר $2^3=8$ $e^{i\pi }=-1$ $2^{{\mathrm{\aleph }}_0}=\mathrm{\aleph }$ חזקה היא פעולה מתמטית המתבצעת בין שני מספרים ומסומנת $a^b$. בצורתה הבסיסית ביותר, כאשר $n$ הוא מספר טבעי, החזקה $a^n$ שווה ל-$n$ מופעים של $a$ הנכפלים זה בזה. את ההגדרה הבסיסית הזו ניתן להרחיב למערכות מספרים רבות, ואף לעצמים מתמטיים שאינם בהכרח מספרים, תוך שמירה על תכונותיה הבסיסיות הייחודיות של הפעולה, הנקראות חוקי חזקות. לחזקה תפקיד מרכזי בתחומים רבים במתמטיקה. השערות ומשפטים הקשורים בפעולה העסיקו מתמטיקאים במשך מאות שנים. פונקציות המבוססות על פעולת החזקה, כגון פולינומים ופונקציות מעריכיות, משמשות בכל תחומי המדעים. בשל כך פותחו שיטות המאפשרות חישוב חזקות באופן יעיל, במקום הכפלה חוזרת שעשויה לקחת זמן רב. לערך המלא לרשימה המלאה

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

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

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

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

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

עריכההידעת?

סימן פאי

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

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

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

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

— עמוס נוי

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

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

$\underset{a}{\overset{b}{\int }}{f}^{\prime }(x)dx=f(b)-f(a)$

$\underset{\gamma }{\int }(\overrightarrow{\mathrm{\nabla }}f)\cdot \overrightarrow{\mathrm{d}r}=f(\gamma (b))-f(\gamma (a))$

${\oint }_{\partial D}(P\mathrm{d}x+Q\mathrm{d}y)=\underset{D}{\iint }(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})\mathrm{d}x\mathrm{d}y$

$\underset{U}{\iiint }(\overrightarrow{\mathrm{\nabla }}\cdot \overrightarrow{F})\mathrm{d}V=\underset{\partial U}{\iint }\subset \supset \overrightarrow{F}\cdot \mathrm{d}\hat{n}$,

${\oint }_{\partial A}\overrightarrow{F}\cdot \overrightarrow{\mathrm{d}l}=\underset{A}{\iint }(\overrightarrow{\mathrm{\nabla }}\times \overrightarrow{F})\cdot \mathrm{d}\hat{n}$

$\underset{M}{\int }d\omega =\underset{\partial M}{\int }\omega$

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

עריכהחידה

איך אפשר לחשב את המכפלה של שני מספרים, במחשבון שבו אפשר לבצע רק חיבור, חיסור והיפוך (היינו, הפעולה $x\mapsto \frac{1}{x}$)?

בונוס:נסו להשתמש ב6 פעולות היפוך בלבד

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

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

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

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

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

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

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

לערך המלא

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

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

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

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

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

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

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

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

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