Abstract
הלכה מפורשת בשולחן ערוך (חושן משפט, סימן ל סעיף ג) של צירוף עדויות בערכים שונים מבוססת על חישובים מתמטיים מתוחכמים. המאמר דן בחישובים אלה מכמה נקודות מבט: אלגברית, קומבינטורית, גאומטרית הסתברותית וכן מנקודת המבט של תורת הסיבוכיות במדעי המחשב. המאמר מוכיח שאין הבדל מעשי בין האלגוריתמים המוצעים על ידי הרמב"ן ועל ידי בעל הנימוקי-יוסף. שני אלגוריתמים אלה זהים, למעשה, לשיטת ההפרשים של Karmarkar-Karp
| Original language | Hebrew |
|---|---|
| Pages (from-to) | 7-20 |
| Number of pages | 14 |
| Journal | בדד: כתב-עת לעניני תורה ומדע |
| Volume | 30 |
| State | Published - 2015 |
IHP Publications
- ihp
- Computer algorithms
- Haviva, Yosef -- 15th cent
- Mathematics -- Religious aspects -- Judaism
- Witnesses
RAMBI Publications
- RAMBI Publications
- Talmud Bavli -- Sanhedrin -- Criticism, interpretation, etc
- Witnesses (Jewish law)
- Mathematics, Jewish
- Ḥoshen mishpaṭ