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