Neil Immerman
Neil Immerman · Tecnología e ingeniería
Cientifico de la computacion estadounidense de origen judio en la Universidad de Massachusetts Amherst, Immerman es fundador de la complejidad descriptiva, que mide la dificultad de los problemas por la logica necesaria para describirlos.
1953, Estados Unidos
Estados Unidos
Cientifico de la computacion estadounidense de origen judio en la Universidad de Massachusetts Amherst, Immerman es fundador de la complejidad descriptiva, que mide la dificultad de los problemas por la logica necesaria para describirlos. Con Robert Szelepcsenyi demostro de forma independiente el teorema de Immerman-Szelepcsenyi, que muestra que el espacio no determinista es cerrado bajo complemento. Compartio el Premio Godel de 1995.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Cientifico de la computacion estadounidense de origen judio en la Universidad de Massachusetts Amherst, Immerman es fundador de la complejidad descriptiva, que mide la dificultad de los problemas por la logica necesaria para describirlos.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Contribuidores similares
Noam Nisan
Ronald Fagin
Shmuel Safra
