Boris Trakhtenbrot
Boris Trakhtenbrot · Technologie & ingénierie
Boris Trakhtenbrot était un mathématicien et informaticien soviétique puis israélien, pionnier de l'informatique théorique, connu pour le théorème de Trakhtenbrot sur l'indécidabilité de la satisfiabilité finie en logique du premier ordre et pour ses travaux fondateurs sur les automates et la complexité.
1921, Brichevo, Bessarabia (now Moldova) — 2016, Israel
Soviet Union · Israel · Tel Aviv University
Boris Trakhtenbrot était un mathématicien et informaticien soviétique puis israélien, pionnier de l'informatique théorique, connu pour le théorème de Trakhtenbrot sur l'indécidabilité de la satisfiabilité finie en logique du premier ordre et pour ses travaux fondateurs sur les automates et la complexité. Il émigra en Israël et enseigna à l'université de Tel-Aviv. Il était juif.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Boris Trakhtenbrot était un mathématicien et informaticien soviétique puis israélien, pionnier de l'informatique théorique, connu pour le théorème de Trakhtenbrot sur l'indécidabilité de la satisfiabilité finie en logique du premier ordre et pour ses travaux fondateurs sur les automates et la complexité.
Source : Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
