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

שם

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

האדם מוכיח באמצעות מחשב. בימינו הרבה הוכחות הן בסיוע מחשב, כך שזה לא תיאור מדויק.‏ Uziel302 • שיחה • אמצו ערך יתום! 21:03, 17 ביולי 2016 (IDT)

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

הרבה פעמים מתעלמים מאותם אנשים, ולראייה לפני שהכנסתי את שמם של המוכיחים הוא לא הופיעו בערך בעיית השלשות הפיתגוריות הבוליאנית. כל הדגש שם (ובעיתונות הפופולרית) היה על המחשב. בשלני - שיחה 21:40, 17 ביולי 2016 (IDT)

פירוט לנאמר בקטגוריה

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

הערך העיקרי חסר: הוכחה באמצעות מחשב. בערך [[כח גס], יש התייחסות קצרה ביותר.

כמו כן הערך תכונת T של קשדן, גם צריך להיות מקושר לקטגוריה זו (ראה שם בדף השיחה). ינון גלעדי - שיחה 22:58, 16 ביוני 2022 (IDT)