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, Bessarabie (aujourd'hui Moldavie) — 2016, Israël
Union soviétique · Israël · 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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
