Trakhtenbrot, Boris Avraamovitš

Boris Avraamovich Trakhtenbrot ( myös Boris Abramovich , eng.  Boris ( Boaz) Trachtenbrot , Trakhtenbrot , Trajtenbrot & Trahtenbrot , Heb . בועז טרכטנבז טרכטנבז טרכטנבז טרכטנברז טרכטנבז טרכטנברוה matemaatikko matemaattisen logiikan, algoritmien teorian ja kybernetiikan alalla . Fysikaalisten ja matemaattisten tieteiden tohtori (1962), professori (1963).

Yksi teoreettisen tietojenkäsittelytieteen pioneereista Neuvostoliitossa, merkittävä teoreetikko diskreetin matematiikan ja muodollisten kielten sekä matemaattisen logiikan , elektronisten tietokoneiden , erityisesti automaatioteorian alalla (katso Trakhtenbrotin päättämättömyyslause ja Trakhtenbrot- Borodinin aukkolause ).

Elämäkerta

Boris Trakhtenbrot (alun perin Trakhtenbroit) syntyi Bessarabian juutalaisessa maataloussiirtokunnassa Brichevossa (nykyinen Dondyushanskyn alue Moldovassa ) vuonna 1921 Abram Trakhtenbroitin perheeseen, joka vuonna 1941 karkotettiin siirtokunnalle ja pakkotyöhön Siperiaan . [4] Hän opiskeli ala-asteella Brichevossa, sitten Baltissa ja miesten lukiossa Sorocassa (hän ​​valmistui jälkimmäisestä vuonna 1939 ). [5] [6]

Vuonna 1940 hän tuli Chisinaun pedagogisen instituutin fysiikan ja matematiikan osastolle . Heinäkuun alussa 1941 B. A. Trakhtenbrot onnistui pakenemaan piiritetystä kaupungista ja pääsemään Chkaloviin , missä hän jatkoi opintojaan paikallisessa pedagogisessa instituutissa, ja vuotta myöhemmin hän siirtyi takaisin Chisinaun pedagogiseen instituuttiin , joka evakuoitiin Buguruslaniin . Samaan aikaan hän työskenteli kenkätehtaalla, sitten Buguruslanin ja Kuibyshevin välisen kaasuputken rakentamisessa . Elokuussa 1944 hän palasi yhdessä Pedagogisen Instituutin kanssa Chisinauhun . Saatuaan tutkinnon instituutista vuonna 1945, hän työskenteli opettajana Baltissa. Päätettyään ryhtyä matematiikan opiskelemaan vakavasti, hän astui samana vuonna Tšernivtsin yliopiston fysiikan ja matematiikan tiedekuntaan, jossa hän osallistui Alexander Bobrovin todennäköisyysteorian luentoihin. Vuonna 1947 hän valmistui Tšernivtsin yliopiston matematiikan tiedekunnasta ja aloitti tutkijakoulun Ukrainan SSR:n tiedeakatemian matematiikan instituutissa Kiovassa . Hän erikoistui matemaattiseen logiikkaan PS Novikovin johdolla ja puolusti väitöskirjaansa vuonna 1950 .

Vuosina 1950-1958 hän työskenteli Penzan pedagogisessa instituutissa , vuosina 1958-1960 - Penzan ammattikorkeakoulussa [7] . Vuodesta 1960 - Neuvostoliiton tiedeakatemian Siperian sivuliikkeen  matematiikan instituutissa ( Novosibirsk Academgorodok ) ja Novosibirskin valtionyliopistossa (vuodesta 1963  - professori, laitoksen johtaja).

Muutettuaan Israeliin joulukuussa 1980 hänestä  tuli professori Tel Avivin yliopiston eksakti- ja tietojenkäsittelytieteen laitoksella (vuodesta 1991  - emeritusprofessori). Information and Computation -lehden (Elsevier) toimituskunnan jäsen .

Hän aloitti julkaisemisen vuonna 1950 ( Trakhtenbrotin päättämättömyyslause esitettiin ja todistettiin ) ja samalla hän puolusti tohtorinsa . [8] Ensimmäinen matemaatikon monografia ("Algoritmit ja koneongelmanratkaisu", 2 painosta - 1957 ja 1960) käännettiin bulgariaksi , englanniksi , ranskaksi (molemmat painokset), tšekkiksi , japaniksi (molemmat painokset), espanjaksi ( molemmat painokset), italia , turkki , saksa ja puola . Monografiat An Introduction to Finite Automata Theory (1962), Finite Automata : Behavior and Synthesis (1970) ja Algorithms and Computing Automata (1974) on myös käännetty useille vieraille kielille.

Vuonna 2008 Springer Verlag julkaisi Pillars of Computer Science -sarjassa kokoelman tieteellisiä artikkeleita B. A. Trakhtenbrotin 85-vuotisjuhlan kunniaksi. B. A. Trakhtenbrotin opiskelijoiden ja kirjoittajien joukossa on Janis Barzdin (s. 1937) [9] .

Perhe

• Vaimo (vuodesta 1947) - Berta Isaakovna Trakhtenbrot (s . Rabinovich ; 1921, Attacks - 2013, Rehovot ).
  • Poika - Mark Borisovich Trakhtenbrot (s. 1950), matemaatikko monimutkaisten järjestelmien määrittely- ja testausmenetelmien alalla, Tiedeakatemian Siperian sivuliikkeen laskentakeskuksen ohjelmointiosaston työntekijä (1971-1984), Neuvostoliiton tiedeakatemian Siperian sivuliikkeen laskentakeskuksen tieteellinen sihteeri Novosibirskissa [10] , tietojenkäsittelytieteen osaston johtaja Holon Institute of Technologyssa ( Israel , 2006-2009).
  • Poika - Iosif Borisovich Trakhtenbrot (s. 1952), suurten ohjelmistojärjestelmien kehittämisen asiantuntija.

Myös

• Trakhtenbrotin lause (1950)
• Aukkolause (1964)

Bibliografia

Katso osittainen bibliografia tästä  (downlink alkaen 13-05-2013 [3459 päivää] - historia ) .

Monografiat

• Algoritmit ja koneen ongelmanratkaisu. Matematiikan suositut luennot -sarjassa. Gostekhizdat: Moskova , 1957 ( japanilainen painos  - Tokio , 1959 ja 1964).
• Wieso können Automaten Rechnen ( saksaksi ). Deutsche Verlag der Wissenschaften: Berliini , 1959.

• Algoritmit ja koneen ongelmanratkaisu. Toinen (laajennettu) painos. Fizmatgiz: Moskova , 1960.
• Algoritmi i automatyczne rozwiazyvanie zadan ( puolaksi ). Pasttwowe Wydawnictwo Naukowe: Varsova , 1961.
• Algoritmit et machines à calculer ( ranskaksi ). Dunod: Pariisi , 1963.
• Algoritmi a strojove reseni ulokh ( tšekin kielellä ). Nakladatelstvi Ceskoslovenske akademie ved: Praha , 1963.
• Algoritmit ja koneratkaisut ongelmiin ( bulgariaksi ). Kustantaja Darzhavno Tekniikka: Sofia , 1963.
• Algoritmit ja automaattiset laskentakoneet ( englanniksi ). "Matematiikan aiheita" -sarjassa. DC Heath and Company: Boston , 1963.
• Algoritmi e Macchine Calcolatrici Automatiche ( italiaksi ). Progresso Tecnico Editoriale: Milano , 1964.
• Algoritmalar ve Otomatik Hesap Makinalari (turkkiksi ) . Turk Matematik Dernegi Yaynlari: Istanbul , 1964.
• Introduccion a la Teoria Matematica de las Computadoras y de la Programacion ( espanjaksi ). Siglo Veintiuno Editores SA: Mexico City , 1967.
• Algorithme et Resolution de Problemes par des Machines ( ranskaksi ). Kirjan Nouvelles Orientations des Mathematiques (I. Yaglom, B. Trakhtenbrot, G. Wenzel, A. Solodovnikov) toinen osa. Painokset Mir: Moskova , 1975.
• Los Algoritmos y la Resolución Automática de Problemas ( espanjaksi ). Editorial Mir: Moskova , 1977.
• アルゴリズムの数学 (単行本（ソフトカバー）) ( japaniksi , katso tästä  (downlink 13.5.2013 [3459 päivää]) ). 東京図書: Tokio , 1994.

• Johdatus äärellisten automaattien teoriaan (yhdessä N. E. Kobrinskyn kanssa ). Fizmatgiz (valtion fyysisen ja matemaattisen kirjallisuuden kustantamo): Moskova , 1962.

• Johdatus äärellisten automaattien teoriaan ( englanniksi ). Sarjassa "Logiikkaa ja matematiikan perusteita". North-Holland Publishing Company: Amsterdam , 1965.
• Uvod do Teorie Konecnych Automatu ( tšekin kielellä ). Nakladatelstvi Technicke Literatury: Praha , 1967.
• Einfuhrung in die Theory Endlicher Automaten ( saksaksi ). Akademie-Verlag: Berliini , 1967.

• Algoritmien ja laskelmien (luennot) monimutkaisuus. Novosibirskin valtionyliopisto: Novosibirsk , 1967.
• Äärilliset automaatit (käyttäytyminen ja synteesi, Ya. M. Barzdin). Tiede: Moskova , 1970.

• Finite Automata (Behavior and Synthesis, englanniksi ). Sarjassa "Tietojenkäsittelytieteen perusopinnot". North-Holland Publishing Company: Amsterdam - Lontoo , 1973 ja American Elsevier Publishing Company: New York , 1973.

• Algoritmit ja laskentakoneet. Neuvostoliiton radio: Moskova , 1974.

• Algorithmen und Rechenautomaten ( saksaksi ). Deutsche Verlag der Wissenschaften: Berliini , 1977.
• Što su algoritmi: algoritmi i računski automati ( kroatiaksi ). Školska Knjiga: Zagreb , 1978.
• Algoritmusok és absztrakt automaták ( unkariksi ). Műszaki Könyvkiadó: Budapest ja maailma: Moskova , 1978.

• Neuvostoliiton matemaattisen kybernetiikan valikoituja kehityssuuntia. Delphic Associated: Washington , 1985.
• Tietojenkäsittelytieteen pilarit: esseitä, jotka on omistettu Boris (Boaz) Trakhtenbrotille hänen 85-vuotissyntymäpäivänsä yhteydessä (katso verkkopainos täältä ). Tietojenkäsittelytieteen luentomuistiinpanot (Johdatus: Logiikasta teoreettiseen tietojenkäsittelytieteeseen, s. 1-39). Springer: New York , 2008.

Muistiinpanot

1. ↑ 1 2 MacTutor History of Mathematics -arkisto
2. ↑ http://www.iis.nsk.su/
3. ↑ 1 2 Matemaattinen sukututkimus  (englanniksi) - 1997.
4. ↑ Tietojenkäsittelytieteen pilarit: esseitä, jotka on omistettu Boris (Boaz) Trakhtenbrotille hänen 85-vuotissyntymäpäivänsä johdosta (Katso verkkopainos tästä Arkistoitu 22. heinäkuuta 2011 Wayback Machinessa ). Springer: New York , 2008
5. ↑ BA Trakhtenbrot "Early Days" (tietotekniikan pilarit)
6. ↑ Buzya Trakhtenbroit Sorocassa . Haettu 2. marraskuuta 2014. Arkistoitu alkuperäisestä 24. syyskuuta 2015. (määrätön)
7. ↑ Unohdetut nerot: Boris Trakhtenbrot . Haettu 20. syyskuuta 2016. Arkistoitu alkuperäisestä 9. toukokuuta 2018. (määrätön)
8. ↑ B. A. Trakhtenbrot. Aleksei Andrejevitšin (50-luvun) muistaminen . Haettu 24. helmikuuta 2008. Arkistoitu alkuperäisestä 26. kesäkuuta 2020. (määrätön)
9. ↑ Janis Barzdins (pääsemätön linkki) . Käyttöpäivä: 24. helmikuuta 2008. Arkistoitu alkuperäisestä 17. joulukuuta 2008. (määrätön) 
10. ↑ Mark Trakhtenbrotin henkilökohtainen sivu (pääsemätön linkki) . Haettu 6. joulukuuta 2014. Arkistoitu alkuperäisestä 24. syyskuuta 2015. (määrätön) 

Linkit

• B. Trakhtenbrotin sivu Tel Avivin yliopiston verkkosivuilla  (englanniksi)
• Yksityiskohtainen katsaus Trachtenbrotin lauseeseen
• Vasemmalta oikealle: A. A. Markov, V. A. Uspensky, S. A. Adyan, B. A. Trakhtenbrot. Arvo: A. S. Yesenin-Volpin. Moskova, 1950  (linkki ei saatavilla 13-05-2013 [3459 päivää] - historia )
• Luettelo DBLP Bibliography  Serverin julkaisuista

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna Koko venäläinen matemaattinen portaali Matematiikan historian arkisto MacTutor
Bibliografisissa luetteloissa BIBSYS : 90659344 BNF : 10141277j GND : 126970467 ISNI : 0000 0001 1030 3409 J9U : 987007454779805171 LCCN : n84801072 NKC : ola2004231395 NLA : 35267048 NLP : A21589276 NTA : 071681558 NUKAT : n97090039 LIBRIS : nl0234r6325r2q4 SUDOC : 081982976 VIAF : 85015458 WorldCat VIAF : 85015458