Trakhtenbrot, Borisz Avraamovics
| Borisz Avraamovics Trakhtenbrot | |
|---|---|
| Születési dátum | 1921. február 20. [1] |
| Születési hely | |
| Halál dátuma | 2016. szeptember 19. [2] [1] (95 évesen) |
| A halál helye | |
| Ország | |
| Tudományos szféra | matematikai logika és kibernetika |
| Munkavégzés helye | |
| alma Mater | |
| Akadémiai fokozat | a fizikai és matematikai tudományok doktora |
| Akadémiai cím | Egyetemi tanár |
| tudományos tanácsadója | Novikov, Pjotr Szergejevics [3] |
| Diákok | Janis Barzdins [d] [3] |
| Díjak és díjak | Európai Számítástechnikai Elméleti Szövetség Díja [d] ( 2011 ) Európai Számítástechnikai Elméleti Szövetség Díja [d] ( 2011 ) |
Borisz Avraamovics Trakhtenbrot ( szintén Borisz Abramovics , eng . Boris ( Boaz ) Trachtenbrot , Trakhtenbrot , Trajtenbrot és Trahtenbrot , Héb . _ _ matematikus a matematikai logika, az algoritmusok elmélete és a kibernetika területén . A fizikai és matematikai tudományok doktora (1962), professzor (1963).
Az elméleti számítástechnika egyik úttörője a Szovjetunióban, kiemelkedő teoretikus a diszkrét matematika és formális nyelvek , valamint a matematikai logika , az elektronikus számítógépek , különösen az automaták elmélete területén (lásd Trakhtenbrot eldönthetetlenségi tételét és Trakhtenbrot- Borodin réstétel ).
Életrajz
Boris Trakhtenbrot (eredeti nevén Trakhtenbroit) a besszarábiai zsidó mezőgazdasági kolónián, Bricsevóban (ma Moldova Dondyushansky régiója ) született 1921 -ben Abram Trakhtenbroit családjában, akit 1941-ben egy szibériai településre deportáltak, és kényszermunkát végeztek . [4] A bricsevoi elemi iskolában, majd a baltiban és a sorocai férfigimnáziumban tanult ( ez utóbbiban érettségizett 1939 -ben ). [5] [6]
1940 - ben belépett a Chisinaui Pedagógiai Intézet Fizika és Matematika Tanszékére . 1941 júliusának elején B. A. Trakhtenbrotnak sikerült megszöknie az ostromlott városból, és eljutni Chkalovba , ahol a helyi pedagógiai intézetben folytatta tanulmányait, majd egy évvel később visszaköltözött a Chisinau Pedagógiai Intézetbe , amelyet Buguruslanba evakuáltak. Ugyanakkor egy cipőgyárban dolgozott, majd a Buguruslan és Kujbisev közötti gázvezeték építésénél . 1944 augusztusában a Pedagógiai Intézettel együtt visszatért Kisinyovbe . Miután 1945-ben diplomát szerzett az intézetben, tanárként dolgozott Baltiban. Miután úgy döntött, hogy komolyan foglalkozik a matematikával, ugyanabban az évben belépett a Csernyivci Egyetem Fizikai és Matematikai Karára, ahol Alexander Bobrov valószínűségelméletről tartott előadásait. 1947 - ben diplomázott a Csernyivci Egyetem Matematikai Karán , majd az Ukrán SSR Tudományos Akadémia Matematikai Intézetében végzett posztgraduális iskolába Kijevben . A matematikai logikára specializálódott PS Novikov irányítása alatt , és 1950 -ben védte meg disszertációját .
1950-1958-ban a Penza Pedagógiai Intézetben , 1958-1960-ban a Penzai Politechnikai Intézetben dolgozott [7] . 1960 óta - a Szovjetunió Tudományos Akadémia Szibériai Fiókjának Matematikai Intézetében ( Novoszibirszki Akadémia ) és a Novoszibirszki Állami Egyetemen ( 1963 óta - professzor, tanszékvezető).
Miután 1980 decemberében Izraelbe költözött, a Tel Avivi Egyetem Exact and Computer Science Tanszékének professzora lett ( 1991 -től - professor emeritus). Az Information and Computation (Elsevier) folyóirat szerkesztőbizottságának tagja .
1950 - ben kezdett publikálni ( Trakhtenbrot eldönthetetlenségi tételét bemutatták és bebizonyították), és ezzel egy időben megvédte Ph.D. . [8] Egy matematikus legelső monográfiáját („Algoritmusok és gépi problémamegoldás”, 2 kiadásban – 1957-ben és 1960-ban) lefordították bolgár , angol , francia (mindkét kiadás), cseh , japán (mindkét kiadás), spanyol ( mindkét kiadás) nyelvre. mindkét kiadás), olasz , török , német és lengyel . Az An Introduction to Finite Automata Theory (1962), a Finite Automata : Behavior and Synthesis (1970), valamint az Algorithms and Computing Automata (1974) című monográfiákat szintén több idegen nyelvre lefordították.
A Springer Verlag 2008- ban a Pillars of Computer Science sorozatban tudományos cikkgyűjteményt adott ki B. A. Trakhtenbrot 85. évfordulója tiszteletére. A B. A. Trakhtenbrot tanítványai és társszerzői között van Janis Barzdin (szül. 1937) [9] .
Család
- Feleség (1947 óta) - Berta Isaakovna Trakhtenbrot (született : Rabinovich ; 1921, Támadások - 2013, Rehovot ).
- Fia - Mark Borisovich Trakhtenbrot (sz. 1950), matematikus a bonyolult rendszerek specifikációjának és tesztelésének formális módszerei területén, a Tudományos Akadémia Szibériai Fióktelepe Számítástechnikai Központ Programozási Osztályának munkatársa (1971-1984), a Szovjetunió Tudományos Akadémia Szibériai Kirendeltsége Számítástechnikai Központjának Tudományos Tanácsának tudományos titkára Novoszibirszkben [10] , a Holoni Műszaki Intézet számítástechnikai osztályának vezetője ( Izrael , 2006-2009).
- Fia – Iosif Borisovich Trakhtenbrot (született 1952), nagy szoftverrendszerek fejlesztésének specialistája.
Szintén
- Trakhtenbrot tétele (1950)
- Gap tétel (1964)
Bibliográfia
Tekintse meg a részleges bibliográfiát itt (lefelé mutató link 2013. 05. 13. óta [3459 nap] - előzmények ) .
Monográfiák
- Algoritmusok és gépi problémamegoldás. A Népszerű matematika előadások sorozatban. Gostekhizdat: Moszkva , 1957 ( japán kiadás - Tokió , 1959 és 1964).
- Wieso können Automaten Rechnen ( német nyelven ). Deutsche Verlag der Wissenschaften: Berlin , 1959.
- Algoritmusok és gépi problémamegoldás. Második (bővített) kiadás. Fizmatgiz: Moszkva , 1960.
- Algoritmy i automatyczne rozwiazyvanie zadan ( lengyel nyelven ). Pasttwowe Wydawnictwo Naukowe: Varsó , 1961.
- Algorithmes et machines à calculer ( franciául ). Dunod: Párizs , 1963.
- Algoritmy a strojove reseni ulokh ( cseh nyelven ). Nakladatelstvi Ceskoslovenske akademie ved: Prága , 1963.
- Algoritmusok és gépi megoldások problémákra ( bolgár nyelven ). Darzhavno kiadó Technika: Szófia , 1963.
- Algoritmusok és automata számítástechnikai gépek ( angol nyelven ). A "Matematika témák" sorozatban. DC Heath and Company: Boston , 1963.
- Algoritmi e Macchine Calcolatrici Automatiche ( olasz nyelven ). Progresso Tecnico Editoriale: Milánó , 1964.
- Algoritmalar ve Otomatik Hesap Makinalari ( törökül ). Turk Matematik Dernegi Yaynlari: Isztambul , 1964.
- Introduccion a la Teoria Matematica de las Computadoras y de la Programacion ( spanyol nyelven ). Siglo Veintiuno Editores SA: Mexikóváros , 1967.
- Algorithme et Resolution de Problemes par des Machines ( francia nyelven ). A Nouvelles Orientations des Mathematiques (I. Yaglom, B. Trakhtenbrot, G. Wenzel, A. Solodovnikov) című könyv második része. Mir kiadások: Moszkva , 1975.
- Los Algoritmos y la Resolución Automática de Problemas ( spanyol nyelven ). Szerkesztői Mir: Moszkva , 1977.
- アルゴリズムの数学 (単行本（ソフトカバー）) ( japánul lásd itt (lefelé mutató 2013-13-05 [3459 nap]) ). 東京図書: Tokió , 1994.
- Bevezetés a véges automaták elméletébe ( N. E. Kobrinskyval együtt ). Fizmatgiz (Állami Fizikai és Matematikai Irodalmi Kiadó): Moszkva , 1962.
- Bevezetés a véges automaták elméletébe ( angol nyelven ). „A logikai tanulmányok és a matematika alapjai” sorozatban. North-Holland Publishing Company: Amszterdam , 1965.
- Uvod do Teorie Konecnych Automatu ( cseh nyelven ). Nakladatelstvi Technicke Literatury: Prága , 1967.
- Einfuhrung in die Theory Endlicher Automaten ( németül ). Akademie-Verlag: Berlin , 1967.
- Algoritmusok és számítások összetettsége (előadások). Novoszibirszki Állami Egyetem: Novoszibirszk , 1967.
- Véges automaták (viselkedés és szintézis, Ya. M. Barzdinnal). Tudomány: Moszkva , 1970.
- Véges automaták (Behavior and Synthesis, angol nyelven ). A "Számítástudományi alaptanulmányok" sorozatban. North-Holland Publishing Company: Amszterdam - London , 1973 és amerikai Elsevier Publishing Company: New York , 1973.
- Algoritmusok és számítástechnikai gépek. Szovjet rádió: Moszkva , 1974.
- Algorithmen und Rechenautomaten ( német nyelven ). Deutsche Verlag der Wissenschaften: Berlin , 1977.
- Što su algoritmi: algoritmi i računski automati ( horvát nyelven ). Školska Knjiga: Zágráb , 1978.
- Algoritmusok és absztrakt automaták (in Hungarian ). Műszaki Könyvkiadó: Budapest és a világ: Moszkva , 1978.
- Válogatott fejlesztések a szovjet matematikai kibernetikában. Delphic Associated: Washington , 1985.
- A számítástechnika pillérei: Boris (Boaz) Trakhtenbrotnak szentelt esszék 85. születésnapja alkalmából (lásd az online kiadást itt ). Előadásjegyzetek a számítástechnikából (Bevezetés: A logikától az elméleti számítástechnikáig, 1-39. o.). Springer: New York , 2008.
Jegyzetek
- ↑ 1 2 MacTutor Matematikatörténeti archívum
- ↑ http://www.iis.nsk.su/
- ↑ 1 2 Matematikai genealógia (angol) - 1997.
- ↑ A számítástechnika pillérei: Boris (Boaz) Trakhtenbrotnak szentelt esszék 85. születésnapja alkalmából (Lásd az online kiadást itt Archivált 2011. július 22-én, a Wayback Machine -nél ). Springer: New York , 2008
- ↑ BA Trakhtenbrot "Early Days" (a számítástechnika pillérei)
- ↑ Buzya Trakhtenbroit Sorocában . Letöltve: 2014. november 2. Az eredetiből archiválva : 2015. szeptember 24..
- ↑ Elfelejtett zsenik: Boris Trakhtenbrot . Letöltve: 2016. szeptember 20. Az eredetiből archiválva : 2018. május 9..
- ↑ B. A. Trakhtenbrot. Emlékezés Alekszej Andrejevicsre (az ötvenes évek) . Letöltve: 2008. február 24. Az eredetiből archiválva : 2020. június 26.
- ↑ Janis Barzdins (elérhetetlen link) . Hozzáférés dátuma: 2008. február 24. Az eredetiből archiválva : 2008. december 17.
- ↑ Mark Trakhtenbrot személyes oldala (elérhetetlen link) . Letöltve: 2014. december 6. Az eredetiből archiválva : 2015. szeptember 24..
Linkek
- B. Trakhtenbrot oldala a Tel Aviv Egyetem honlapján (angol)
- Trachtenbrot tételének részletes áttekintése
- Balról jobbra: A. A. Markov, V. A. Uspensky, S. A. Adyan, B. A. Trakhtenbrot. Érdemes: A. S. Yesenin-Volpin. Moszkva, 1950 (nem elérhető link 2013-05-13-tól [3459 nap] - történelem )
- A DBLP bibliográfiai szerver publikációinak listája
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||