Boris Trakhtenbrot

Boris Trakhtenbrot
Född	( 1921-02-19 ) 19 februari 1921 Brichevo , Bessarabien
dog	19 september 2016 (2016-09-19) (95 år) Rehovot, Israel
Make	Berta I. Rabinovich . . ( m. 1947; död 2013 <a i=3>). ​
Akademisk bakgrund
Alma mater	Ukrainska vetenskapsakademin
Avhandling	Beslutbarhetsproblem för ändliga klasser och definitioner av ändliga mängder ( 1950)
Doktorand rådgivare	Pjotr ​​Novikov
Akademiskt arbete
institutioner	Novosibirsk State University Tel Avivs universitet

Boris (Boaz) Abramovich Trakhtenbrot ( ryska : Борис Авраамович Трахтенброт , hebreiska : בועז טרכטנברוט ; 19 februari 1921 – 19 september 2016) var en rysk-israelisk matematiker i logik , teori och algoritmisk matematik .

Biografi

Trakhtenbrot föddes i Brichevo , norra Bessarabien (nu Tîrnova, Moldavien ). Han studerade vid Moldaviens statliga pedagogiska institut i Kishinev , Chernivtsi-universitetet och den ukrainska vetenskapsakademins matematiska institut och avslutade en doktorsexamen. vid sistnämnda anstalt 1950.

Han arbetade på Akademgorodok i Novosibirsk under 1960- och 1970-talen . År 1964 upptäckte och bevisade Trakhtenbrot ett grundläggande resultat inom teoretisk datavetenskap som kallas gapsatsen . Han upptäckte och bevisade också satsen i logik , modellteori och beräkningsbarhetsteori nu känd som Trakhtenbrots sats .

Efter att ha immigrerat till Israel 1981 blev han professor vid fakulteten för exakta vetenskaper vid Tel Avivs universitet och fortsatte som professor emeritus till sin död. Han dog den 19 september 2016, 95 år gammal.

externa länkar

• Boris A. Trakhtenbrot på DBLP Bibliography Server
• Pillars of Computer Science Essays dedikerade till Boris (Boaz) Trakhtenbrot i samband med hans 85:e födelsedag] . Föreläsningsanteckningar i datavetenskap . Vol. 4800. Springer. 2008.
• Boris A. Trakhtenbrot vid Mathematics Genealogy Project