Trakhtenbrot, Boris Avraamovich

Boris Avraamovich Trakhtenbrot
Födelsedatum 20 februari 1921( 1921-02-20 ) [1]
Födelseort
Dödsdatum 19 september 2016( 2016-09-19 ) [2] [1] (95 år)
En plats för döden
Land
Vetenskaplig sfär matematisk logik och cybernetik
Arbetsplats
Alma mater
Akademisk examen Doktor i fysikaliska och matematiska vetenskaper
Akademisk titel Professor
vetenskaplig rådgivare Novikov, Pyotr Sergeevich [3]
Studenter Janis Barzdins [d] [3]
Utmärkelser och priser European Association for Theoretical Computer Science Prize [d] ( 2011 ) European Association for Theoretical Computer Science Prize [d] ( 2011 )

Boris Avraamovich Trakhtenbrot (även Boris Abramovich , eng.  Boris (Boaz) Trachtenbrot, Trakhtenbrot , Trajtenbrot & Trahtenbrot , Heb . בועז טרכטנברוט ‏‎; 20 februari 1921 , Brichevo , Soroca - distriktet , Bessarabien - 20 september 16 och israeliska 19 september ) matematiker inom området matematisk logik, teori om algoritmer och cybernetik . Doktor i fysikaliska och matematiska vetenskaper (1962), professor (1963).

En av pionjärerna inom teoretisk datavetenskap i Sovjetunionen, en framstående teoretiker inom området diskret matematik och formella språk , såväl som matematisk logik , elektroniska datorer , i synnerhet teorin om automater (se Trakhtenbrots obestämbarhetssats och Trakhtenbrot- Borodin gapsats ).

Biografi

Boris Trakhtenbrot (ursprungligen Trakhtenbroit) föddes i den Bessarabiens judiska jordbrukskolonin Brichevo (nuvarande Dondyushansky-regionen i Moldavien ) 1921 i familjen till Abram Trakhtenbroit, som 1941 deporterades till en bosättning och tvångsarbete i Sibirien . [4] Han studerade på en grundskola i Brichevo, sedan i Balti och på ett manligt gymnasium i Soroca (han tog examen från den senare 1939 ). [5] [6]

1940 gick han in på fysik och matematikavdelningen vid Chisinau Pedagogical Institute . I början av juli 1941 lyckades B. A. Trakhtenbrot fly från den belägrade staden och ta sig till Chkalov , där han fortsatte sina studier vid det lokala pedagogiska institutet, och ett år senare flyttade han tillbaka till Chisinau Pedagogical Institute , evakuerad till Buguruslan . Samtidigt arbetade han på en skofabrik, sedan vid byggandet av en gasledning mellan Buguruslan och Kuibyshev . I augusti 1944 återvände han tillsammans med Pedagogical Institute till Chisinau . Efter att ha fått ett examensbevis från institutet 1945 arbetade han som lärare i Balti. Efter att ha bestämt sig för att ta upp matematik på allvar, gick han samma år in i fakulteten för fysik och matematik vid Chernivtsi University, där han deltog i föreläsningar om sannolikhetsteori av Alexander Bobrov. 1947 tog han examen från matematiska fakulteten vid Chernivtsi University och gick in på forskarskolan vid Institutet för matematik vid vetenskapsakademin i den ukrainska SSR i Kiev . Han specialiserade sig på matematisk logik under ledning av PS Novikov och försvarade sin avhandling 1950 .

1950-1958 arbetade han vid Penza Pedagogical Institute , 1958-1960 - vid Penza Polytechnic Institute [7] . Sedan 1960  - vid Institutet för matematik vid den sibiriska grenen av USSR Academy of Sciences ( Novosibirsk Academgorodok ) och vid Novosibirsk State University (sedan 1963  - professor, avdelningschef).

Efter att ha flyttat till Israel i december 1980 blev han  professor vid institutionen för exakt och datavetenskap vid Tel Avivs universitet (sedan 1991  - professor emeritus). Ledamot i redaktionen för tidskriften Information and Computation (Elsevier).

Han började publicera 1950 ( Trakhtenbrots oavgörbarhetsteorem presenterades och bevisades ) och samtidigt försvarade han sin Ph.D. Novikova . [8] Den allra första monografin av en matematiker ("Algorithms and machine problem solution", i 2 upplagor - 1957 och 1960) översattes till bulgariska , engelska , franska (båda upplagorna), tjeckiska , japanska (båda upplagorna), spanska ( båda upplagorna), italienska , turkiska , tyska och polska . Monografierna An Introduction to Finite Automata Theory (1962), Finite Automata : Behavior and Synthesis (1970) och Algorithms and Computing Automata (1974) har också översatts till flera främmande språk.

År 2008 publicerade Springer Verlag i serien Pillars of Computer Science en samling vetenskapliga artiklar för att hedra 85-årsdagen av B. A. Trakhtenbrot. Bland eleverna och medförfattarna till B. A. Trakhtenbrot finns Janis Barzdin (f. 1937) [9] .

Familj

Även

Bibliografi

Se partiell bibliografi här  (nedlänk sedan 2013-05-13 [3459 dagar] - historia ) .

Monografier

Anteckningar

  1. ↑ 1 2 MacTutor History of Mathematics Archive
  2. ↑ http://www.iis.nsk.su/
  3. ↑ 1 2 Matematisk genealogi  (engelska) - 1997.
  4. ↑ Datavetenskapens pelare: Uppsatser tillägnade Boris (Boaz) Trakhtenbrot vid tillfället av hans 85:e födelsedag (Se onlineupplagan här Arkiverad 22 juli 2011 på Wayback Machine ). Springer: New York , 2008
  5. ↑ BA Trakhtenbrot "Early Days" (Pillars of Computer Science)
  6. ↑ Buzya Trakhtenbroit i Soroca . Hämtad 2 november 2014. Arkiverad från originalet 24 september 2015.
  7. ↑ Glömda genier: Boris Trakhtenbrot . Hämtad 20 september 2016. Arkiverad från originalet 9 maj 2018.
  8. ↑ B. A. Trakhtenbrot. Att minnas Alexei Andreevich (femtiotalet) . Hämtad 24 februari 2008. Arkiverad från originalet 26 juni 2020.
  9. ↑ Janis Barzdins (otillgänglig länk) . Datum för åtkomst: 24 februari 2008. Arkiverad från originalet den 17 december 2008. 
  10. ↑ Personlig sida för Mark Trakhtenbrot (otillgänglig länk) . Hämtad 6 december 2014. Arkiverad från originalet 24 september 2015. 

Länkar

  Gå till Wikidata-objektet  Tematiska platser