בטיחות עם ערבויות: מה בדיוק אפשר להוכיח?

מחבר או מפרסם המקור: Dalrymple ועמיתים · arXiv

בדיקת הרשומה: 2026-09-21

איך לקרוא את הרשומה

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

עיקר הדברים

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

גבולות הטענה

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

נקראו התקציר ורשומת הגרסה, לא כל ההוכחות או הנספחים..

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

להצליב את הקריאה

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