שיחת קטגוריה:הוכחה באמצעות מחשב
הוספת נושאמראה
תגובה אחרונה: לפני שנתיים מאת ינון גלעדי בנושא פירוט לנאמר בקטגוריה
שם
[עריכת קוד מקור]האם לא עדיף הוכחה בסיוע מחשב? לבני האדם יש חלק לא מבוטל בהוכחות כאלה ולא ראוי להעלים אותו. בשלני - שיחה 21:02, 17 ביולי 2016 (IDT)
- האדם מוכיח באמצעות מחשב. בימינו הרבה הוכחות הן בסיוע מחשב, כך שזה לא תיאור מדויק. Uziel302 • שיחה • אמצו ערך יתום! 21:03, 17 ביולי 2016 (IDT)
- המקביל באנגלית הוא אכן Computer-assisted proofs, שמקביל ל"הוכחה בסיוע מחשב", אבל אני לא רואה רע בשם הנוכחי, משום שמאחורי כל מחשב ניצב אדם שתכנת אותו. דוד שי - שיחה 21:31, 17 ביולי 2016 (IDT)
- הרבה פעמים מתעלמים מאותם אנשים, ולראייה לפני שהכנסתי את שמם של המוכיחים הוא לא הופיעו בערך בעיית השלשות הפיתגוריות הבוליאנית. כל הדגש שם (ובעיתונות הפופולרית) היה על המחשב. בשלני - שיחה 21:40, 17 ביולי 2016 (IDT)
- המקביל באנגלית הוא אכן Computer-assisted proofs, שמקביל ל"הוכחה בסיוע מחשב", אבל אני לא רואה רע בשם הנוכחי, משום שמאחורי כל מחשב ניצב אדם שתכנת אותו. דוד שי - שיחה 21:31, 17 ביולי 2016 (IDT)
פירוט לנאמר בקטגוריה
[עריכת קוד מקור]ערכים חסרים: מתמטיקה ניסויית - חלק גדול מהוכחות באמצעות מחשב קשורות לתחום המתמטיקה הניסויית. למשל ראה ערך השערת גולדבך החלשה.
הערך העיקרי חסר: הוכחה באמצעות מחשב. בערך [[כח גס], יש התייחסות קצרה ביותר.
כמו כן הערך תכונת T של קשדן, גם צריך להיות מקושר לקטגוריה זו (ראה שם בדף השיחה). ינון גלעדי - שיחה 22:58, 16 ביוני 2022 (IDT)