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