שמואל ספרא
שמואל ספרא · טכנולוגיה והנדסה
ספרא היה שותף לכתיבת משפט PCP, תוצאת דרך המראה שניתן לאמת הוכחות בקריאת מספר מועט של סיביות אקראיות בלבד, עם השלכות עמוקות על קושי הקירוב.
1960, ירושלים, ישראל
ישראל (Tel Aviv University)
ספרא היה שותף לכתיבת משפט PCP, תוצאת דרך המראה שניתן לאמת הוכחות בקריאת מספר מועט של סיביות אקראיות בלבד, עם השלכות עמוקות על קושי הקירוב. הוא נולד בירושלים, פרופסור באוניברסיטת תל אביב וחלק את פרס גדל לשנת 2001. עבודתו היא אבן פינה בתורת הסיבוכיות החישובית.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
ספרא היה שותף לכתיבת משפט PCP, תוצאת דרך המראה שניתן לאמת הוכחות בקריאת מספר מועט של סיביות אקראיות בלבד, עם השלכות עמוקות על קושי הקירוב.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
