Ronald Fagin
Ronald Fagin · טכנולוגיה והנדסה
פייגין, בן למשפחה יהודית באוקלהומה, השלים דוקטורט במתמטיקה בברקלי ופעל כל הקריירה שלו במחקר של IBM.
1945, Oklahoma City, אוקלהומה, ארצות הברית
ארצות הברית (San Jose, קליפורניה)
פייגין, בן למשפחה יהודית באוקלהומה, השלים דוקטורט במתמטיקה בברקלי ופעל כל הקריירה שלו במחקר של IBM. הוא ייסד את תורת המודלים הסופיים: משפט פייגין הוכיח כי מחלקת הסיבוכיות NP מקבילה בדיוק לבעיות הניתנות לביטוי בלוגיקה מסדר-שני קיומית, וקישר בין לוגיקה, חישוב ותורת מסדי הנתונים. הוא מונה ל-IBM Fellow וזכה בפרס גדל ב-2014.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
פייגין, בן למשפחה יהודית באוקלהומה, השלים דוקטורט במתמטיקה בברקלי ופעל כל הקריירה שלו במחקר של IBM.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize