Neil Immerman
Neil Immerman · Технологии и инженерия
Иммерман, американский специалист по информатике еврейского происхождения из Университета Массачусетса в Амхерсте, — основатель дескриптивной сложности, которая измеряет трудность задач логикой, необходимой для их описания.
1953, United States
United States
Иммерман, американский специалист по информатике еврейского происхождения из Университета Массачусетса в Амхерсте, — основатель дескриптивной сложности, которая измеряет трудность задач логикой, необходимой для их описания. Вместе с Робертом Селепчени он независимо доказал теорему Иммермана—Селепчени, показавшую, что недетерминированное пространство замкнуто относительно дополнения. В 1995 году он разделил премию Гёделя.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Иммерман, американский специалист по информатике еврейского происхождения из Университета Массачусетса в Амхерсте, — основатель дескриптивной сложности, которая измеряет трудность задач логикой, необходимой для их описания.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Похожие деятели
Noam Nisan
Ronald Fagin
Shmuel Safra
