NI
טכנולוגיה והנדסה
Neil Immerman
מי
Neil Immerman · טכנולוגיה והנדסה
מה
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן.
מתי
1953, United States
היכן
United States
ביוגרפיה
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן. יחד עם רוברט סלפצ'ני הוכיח באופן עצמאי את משפט אימרמן-סלפצ'ני, המראה שמרחב לא-דטרמיניסטי סגור תחת משלים. הוא חלק את פרס גדל לשנת 1995.
מקורות וקישורים חיצוניים
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
Wikipedia — Neil ImmermanWikipediaWikipedia (EN)Encyclopaedia BritannicaJewish Virtual LibraryWikidata
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
תרומות ומקורות
אימרמן, מדען מחשב אמריקאי ממוצא יהודי באוניברסיטת מסצ'וסטס אמהרסט, הוא ממייסדי הסיבוכיות התיאורית, המודדת את קושי הבעיות לפי הלוגיקה הדרושה כדי לתאר אותן.
1995
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
