שינויים
/* שאלה לגבי המושג "מוגדר היטב" */
אודה על העזרה.
: הטענה שמשהו "מוגדר היטב" פירושה שההגדרה שלפנינו היא תקינה. יש לבדוק זאת *עבור כל הגדרה*, אלא שבדרך כלל הבדיקה כל-כך טריוויאלית עד שאין מזכירים אותה. לדוגמא, כשמגדירים פונקציה מ-X ל-Y, יש לבדוק שהתהליך המחשב את התמונה פועל לכל x ב-X (אין "חילוק באפס" או צרות דומות), שהוא לא תלוי בהטלת קוביה או בחירות אחרות שעושים בדרך, ושהוא אכן נותן איבר של Y. אם הבדיקה הזו נכשלת, פירושו של דבר הוא שאנחנו *אומרים* שהגדרנו, אבל זה פשוט לא נכון. במקרה של כפל מחלקות, שים לב שהנוסחה הנתונה משתמשת בנציגים --- אבל כל מחלקה אפשר להציג על-ידי נציגים שונים, ולכן יש לבדוק שהחלפת הנציגים אינה משנה את התשובה.
: (מה שקראת אינו ההוכחה מההרצאה בשלמותה, אלא ההעתקה החלקית שלה למחברת של אחד הסטודנטים). [[משתמש:עוזי ו.|עוזי ו.]] ([[שיחת משתמש:עוזי ו.|שיחה]]) 12:26, 21 בדצמבר 2013 (EST)
== שאלה ==
