ניל אימרמן
ניל אימרמן · טכנולוגיה והנדסה
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן.
1953, ארצות הברית
ארצות הברית
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן. יחד עם רוברט סלפצ'ני הוכיח באופן עצמאי את משפט אימרמן-סלפצ'ני, המראה שמרחב לא-דטרמיניסטי סגור תחת משלים. הוא חלק את פרס גדל לשנת 1995.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize