שיחת קטגוריה:הוכחה באמצעות מחשב

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

שם[עריכת קוד מקור]

האם לא עדיף הוכחה בסיוע מחשב? לבני האדם יש חלק לא מבוטל בהוכחות כאלה ולא ראוי להעלים אותו. בשלני - שיחה 21:02, 17 ביולי 2016 (IDT)

האדם מוכיח באמצעות מחשב. בימינו הרבה הוכחות הן בסיוע מחשב, כך שזה לא תיאור מדויק.‏ Uziel302שיחהאמצו ערך יתום! 21:03, 17 ביולי 2016 (IDT)
המקביל באנגלית הוא אכן Computer-assisted proofs, שמקביל ל"הוכחה בסיוע מחשב", אבל אני לא רואה רע בשם הנוכחי, משום שמאחורי כל מחשב ניצב אדם שתכנת אותו. דוד שי - שיחה 21:31, 17 ביולי 2016 (IDT)
הרבה פעמים מתעלמים מאותם אנשים, ולראייה לפני שהכנסתי את שמם של המוכיחים הוא לא הופיעו בערך בעיית השלשות הפיתגוריות הבוליאנית. כל הדגש שם (ובעיתונות הפופולרית) היה על המחשב. בשלני - שיחה 21:40, 17 ביולי 2016 (IDT)