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

מציג 4 כתבות

הוכחות מהסוג השלישי

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

calendar 17.7.2021
reading-time 3 דקות

המה, הלמה והלמה לא: נימוקים במתמטיקה

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

calendar 9.6.2021
reading-time 7 דקות

איך לארוז תפוזים, שלב ההוכחה

כבר ב-1998 הצליח מחשב להוכיח את השערת קפלר, אך לא הייתה דרך לבדוק את החישובים שלו

calendar 9.7.2017
reading-time 2 דקות

ההוכחה המתמטית הארוכה ביותר

מחשב-על סייע לפתור בעיה מתמטית בת 30 שנה, אך ההישג מעורר מחלוקת בשאלת אופיו של המחקר המתמטי בעתיד

calendar 8.6.2016
reading-time 3 דקות