הזמנת כרטיסים
heb
הזמנת כרטיסים
arrow heb

מציג 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 דקות