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, Bessarabia (now Moldova) — 2016, Israel
Soviet Union · 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
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
