צירוף עדים - היבטים מתמטיים

Research output: Contribution to journalArticlepeer-review

Abstract

הלכה מפורשת בשולחן ערוך (חושן משפט, סימן ל סעיף ג) של צירוף עדויות בערכים שונים מבוססת על חישובים מתמטיים מתוחכמים. המאמר דן בחישובים אלה מכמה נקודות מבט: אלגברית, קומבינטורית, גאומטרית הסתברותית וכן מנקודת המבט של תורת הסיבוכיות במדעי המחשב. המאמר מוכיח שאין הבדל מעשי בין האלגוריתמים המוצעים על ידי הרמב"ן ועל ידי בעל הנימוקי-יוסף. שני אלגוריתמים אלה זהים, למעשה, לשיטת ההפרשים של Karmarkar-Karp
Original languageHebrew
Journalבדד: כתב-עת לעניני תורה ומדע
StatePublished - 2015

IHP Publications

  • ihp
  • Computer algorithms
  • Haviva, Yosef -- 15th cent
  • Mathematics -- Religious aspects -- Judaism
  • Witnesses
  • אלגוריתמים של מחשבים
  • חביבא, יוסף
  • יהדות ומתמטיקה
  • משה בן נחמן -- 1194-1270 -- פירוש על התורה
  • עדות (משפט)

Cite this