Boris Trakhtenbrot
Boris Trakhtenbrot · Tecnología e ingeniería
Boris Trakhtenbrot fue un matemático e informático soviético e israelí, pionero de la informática teórica, recordado por el teorema de Trakhtenbrot sobre la indecidibilidad de la satisfacibilidad finita en la lógica de primer orden y por su trabajo fundacional en autómatas y complejidad.
1921, Brichevo, Besarabia (hoy Moldavia) — 2016, Israel
Unión Soviética · Israel · Tel Aviv University
Boris Trakhtenbrot fue un matemático e informático soviético e israelí, pionero de la informática teórica, recordado por el teorema de Trakhtenbrot sobre la indecidibilidad de la satisfacibilidad finita en la lógica de primer orden y por su trabajo fundacional en autómatas y complejidad. Emigró a Israel y enseñó en la Universidad de Tel Aviv. Era judío.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
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.
Boris Trakhtenbrot fue un matemático e informático soviético e israelí, pionero de la informática teórica, recordado por el teorema de Trakhtenbrot sobre la indecidibilidad de la satisfacibilidad finita en la lógica de primer orden y por su trabajo fundacional en autómatas y complejidad.
Fuente: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
