מדור: תכנים בתוכנית
כתב: מיכאל דה-ויליירס
תקציר: המאמר הינו תרגום ועיבוד של פרק המבוא לספר: Rthinkink Proof with the Geometer Sketchpad במאמר זה נסקרים התפקידים השונים של הוכחה מתמטית: אימות, שכנוע, הסבר, גילוי, יצירת שיטתיות, אמצעי תקשורת ואתגר אינטלקטואלי.
מקור: על"ה 30, תשס"ג 2003