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