Biografia scientifica Esiliato dal paese nel 1941, inviato ai lavori forzati in Siberia, conseguì la laurea nel 1947. Ha lavorato ad Akademgorodok, a Novosibirsk, e all'Università statale di Novosibirsk durante gli anni sessanta e settanta.. Dopo essersi trasferito in Israele, nel mese di dicembre 1980 divenne professore ordinario al dipartimento di Informatica dell'Università di Tel Aviv, ateneo presso il quale ricopre la posizione di professore emerito dal 1991.

Trakhtenbrot è stato uno dei pionieri dell'informatica teorica in Unione Sovietica e un teorico di rilievo nel campo della matematica discreta, dei linguaggi formali, della logica matematica, informatica, in particolare della teoria degli automi.

La sua monografia matematica, dal titolo «Algoritmi e macchine calcolatrici automatiche» («Алгоритмы и машинное решение задач» 2 edizioni: 1957 e 1960) è stata tradotta in bulgaro, inglese, francese (entrambe le edizioni), ceco, cinese (entrambe le edizioni), giapponese, spagnolo (entrambe le edizioni), italiano (la seconda edizione), turco, tedesco e polacco. La traduzione in italiano, condotta sulla seconda edizione inglese, è stata pubblicata nel 1964 presso l'editore Progresso tecnico editoriale, nella serie "Argomenti di matematica" diretta da Corrado Mangione.Pillars of Computer Science, p. 51

Note

Voci correlate Teorema di gap Teorema di Trakhtenbrot

Altri progetti

Collegamenti esterni

Alib.ru: Ricerca dei testi di Трахтенброт. Boris Trakhtenbrot all'Università di Tel-Aviv DBLP: Boris A. Trakhtenbrot. Lista di pubblicazioni di Boaz Trakhtenbrot dal sito del simposio indetto per il suo 85º compleanno (28 aprile 2006). Pillars of Computer Science, saggi offerti a Boris Trakhtenbrot in occasione del suo 85º compleanno. Lecture Notes in Computer Science 4800 Springer 2008. Anteprima limitata su Google book Search

Categoria:Matematici sovietici