Abstract
הלכה מפורשת בשולחן ערוך (חושן משפט, סימן ל סעיף ג) של צירוף עדויות בערכים שונים מבוססת על חישובים מתמטיים מתוחכמים. המאמר דן בחישובים אלה מכמה נקודות מבט: אלגברית, קומבינטורית, גאומטרית הסתברותית וכן מנקודת המבט של תורת הסיבוכיות במדעי המחשב. המאמר מוכיח שאין הבדל מעשי בין האלגוריתמים המוצעים על ידי הרמב"ן ועל ידי בעל הנימוקי-יוסף. שני אלגוריתמים אלה זהים, למעשה, לשיטת ההפרשים של Karmarkar-Karp
Original language | Hebrew |
---|---|
Journal | בדד: כתב-עת לעניני תורה ומדע |
State | Published - 2015 |
IHP publications
- ihp
- Computer algorithms
- Haviva, Yosef -- 15th cent
- Mathematics -- Religious aspects -- Judaism
- Witnesses