Trakhtenbrot, Boris Avraamovič
| Boris Avraamovič Trakhtenbrot | |
|---|---|
| Datum narození | 20. února 1921 [1] |
| Místo narození | |
| Datum úmrtí | 19. září 2016 [2] [1] (ve věku 95 let) |
| Místo smrti | |
| Země | |
| Vědecká sféra | matematická logika a kybernetika |
| Místo výkonu práce | |
| Alma mater | |
| Akademický titul | Doktor fyzikálních a matematických věd |
| Akademický titul | Profesor |
| vědecký poradce | Novikov, Petr Sergejevič [3] |
| Studenti | Janis Barzdins [d] [3] |
| Ocenění a ceny | Cena Evropské asociace pro teoretickou informatiku [d] ( 2011 ) Cena Evropské asociace pro teoretickou informatiku [d] ( 2011 ) |
Boris Avraamovich Trakhtenbrot ( také Boris Abramovich , eng. Boris (Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot & Trahtenbrot , Heb . בועז טרכטנברוט , 2. září Izrael , okres Sovětský svaz 12. února - 19. února - 19. února - 2. února Izrael ; matematik v oboru matematická logika, teorie algoritmů a kybernetika . Doktor fyzikálních a matematických věd (1962), profesor (1963).
Jeden z průkopníků teoretické informatiky v SSSR, významný teoretik v oblasti diskrétní matematiky a formálních jazyků , jakož i matematické logiky , elektronických počítačů , zejména teorie automatů (viz Trakhtenbrotova věta o nerozhodnutelnosti a Trakhtenbrot- Borodinův teorém mezery ).
Životopis
Boris Trakhtenbrot (původně Trakhtenbroit) se narodil v besarabské židovské zemědělské kolonii Brichevo (nyní Dondyushansky region Moldavska ) v roce 1921 v rodině Abrama Trakhtenbroita, který byl v roce 1941 deportován do osady a nucených prací na Sibiři . [4] Studoval na základní škole v Brichevu, poté v Balti a na mužském gymnáziu v Soroca (poslední absolvoval v roce 1939 ). [5] [6]
V roce 1940 nastoupil na katedru fyziky a matematiky Kišiněvského pedagogického institutu . Začátkem července 1941 se B. A. Trakhtenbrotovi podařilo uprchnout z obleženého města a dostat se do Čkalova , kde pokračoval ve studiu na místním pedagogickém institutu a o rok později přešel zpět do Kišiněvského pedagogického institutu , evakuovaného do Buguruslanu . Současně pracoval v továrně na boty, poté na stavbě plynovodu mezi Buguruslanem a Kuibyshevem . V srpnu 1944 se spolu s Pedagogickým institutem vrátil do Kišiněva . Po získání diplomu o absolvování institutu v roce 1945 působil jako učitel v Balti. Poté, co se rozhodl věnovat se matematice vážně, v témže roce vstoupil na Fyzikálně-matematickou fakultu Černovické univerzity, kde navštěvoval přednášky z teorie pravděpodobnosti Alexandra Bobrova. V roce 1947 absolvoval Matematickou fakultu Černovické univerzity a nastoupil na postgraduální studium na Ústavu matematiky Akademie věd Ukrajinské SSR v Kyjevě . Specializoval se na matematickou logiku pod vedením PS Novikov a v roce 1950 obhájil disertační práci .
V letech 1950-1958 pracoval na Pedagogickém institutu v Penze , v letech 1958-1960 na Polytechnickém institutu v Penze [7] . Od roku 1960 - na Ústavu matematiky sibiřské pobočky Akademie věd SSSR ( Novosibirsk Academgorodok ) a na Novosibirské státní univerzitě (od roku 1963 - profesor, vedoucí katedry).
Po přestěhování do Izraele v prosinci 1980 se stal profesorem na katedře exaktních a počítačových věd na Tel Aviv University (od roku 1991 - emeritní profesor). Člen redakční rady časopisu Information and Computation (Elsevier).
Publikovat začal v roce 1950 (byla předložena a prokázána Trakhtenbrotova věta o nerozhodnutelnosti ) a zároveň obhájil titul Ph.D. . [8] Úplně první monografie matematika („Algoritmy a strojové řešení problémů“, ve 2 vydáních - 1957 a 1960) byla přeložena do bulharštiny , angličtiny , francouzštiny (obě vydání), češtiny , japonštiny (obě vydání), španělštiny ( obě vydání), italské , turecké , německé a polské . Monografie An Introduction to Finite Automata Theory (1962), Finite Automata : Behavior and Synthesis (1970) a Algorithms and Computing Automata (1974) byly také přeloženy do několika cizích jazyků.
V roce 2008 vydal Springer Verlag v sérii Pillars of Computer Science sbírku vědeckých článků na počest 85. výročí B. A. Trakhtenbrota. Mezi studenty a spoluautory B. A. Trakhtenbrota patří Janis Barzdin (nar. 1937) [9] .
Rodina
- Manželka (od roku 1947) - Berta Isaakovna Trakhtenbrot (rozená Rabinovich ; 1921, Útoky - 2013, Rehovot ).
- Syn - Mark Borisovich Trakhtenbrot (nar. 1950), matematik v oboru formálních metod specifikace a testování složitých systémů, pracovník Oddělení programování Výpočetního centra Sibiřské pobočky Akademie věd (1971-1984), vědecký tajemník Vědecké rady Výpočetního centra Sibiřské pobočky Akademie věd SSSR v Novosibirsku [10] , vedoucí katedry informatiky na Holon Institute of Technology ( Izrael , 2006-2009).
- Syn - Iosif Borisovich Trakhtenbrot (narozen 1952), specialista na vývoj velkých softwarových systémů.
Také
- Trakhtenbrotova věta (1950)
- Mezerový teorém (1964)
Bibliografie
Částečnou bibliografii naleznete zde (downlink od 13-05-2013 [3459 dní] - historie ) .
Monografie
- Algoritmy a strojové řešení problémů. V cyklu Populární přednášky z matematiky . Gostekhizdat: Moskva , 1957 ( japonské vydání - Tokio , 1959 a 1964).
- Wieso können Automaten Rechnen (v němčině ). Deutsche Verlag der Wissenschaften: Berlín , 1959.
- Algoritmy a strojové řešení problémů. Druhé (rozšířené) vydání. Fizmatgiz: Moskva , 1960.
- Algoritmy a automatyczne rozwiazyvanie zadan (v polštině ). Pasttwowe Wydawnictwo Naukowe: Varšava , 1961.
- Algorithmes et machines à calculer (ve francouzštině ). Dunod: Paříž , 1963.
- Algoritmy a stroje reseni ulokh (v češtině ). Nakladatelství Československé akademie ved: Praha , 1963.
- Algoritmy a strojová řešení problémů (v bulharštině ). Nakladatelství Darzhavno Technique: Sofia , 1963.
- Algorithms and Automatic Computing Machines (v angličtině ). V sérii "Témata z matematiky". DC Heath and Company: Boston , 1963.
- Algoritmi e Macchine Calcolatrici Automatiche (v italštině ). Progresso Tecnico Editoriale: Milán , 1964.
- Algoritmalar ve Otomatik Hesap Makinalari (v turečtině ). Turk Matematik Dernegi Yaynlari: Istanbul , 1964.
- Introduccion a la Teoria Matematica de las Computadoras y de la Programacion (ve španělštině ). Siglo Veintiuno Editores SA: Mexico City , 1967.
- Algorithme et Resolution de Problemes par des Machines (ve francouzštině ). Druhá část knihy Nouvelles Orientations des Mahematiques (I. Yaglom, B. Trakhtenbrot, G. Wenzel, A. Solodovnikov). Vydání Mir: Moskva , 1975.
- Los Algoritmos y la Resolución Automática de Problemas (ve španělštině ). Editorial Mir: Moskva , 1977.
- アルゴリズムの数学 (単行本（ソフトカバー）) (v japonštině , viz zde (stahování k 13.5.2013 [3459 dní]) ). 東京図書: Tokio , 1994.
- Úvod do teorie konečných automatů (spolu s N. E. Kobrinským ). Fizmatgiz (Státní nakladatelství fyzikální a matematické literatury): Moskva , 1962.
- Úvod do teorie konečných automatů (v angličtině ). V sérii „Studie logiky a základy matematiky“. North-Holland Publishing Company: Amsterdam , 1965.
- Úvod do Teorie Konečných Automatů (v češtině ). Nakladatelství Technické literatury: Praha , 1967.
- Einfuhrung in die Theory Endlicher Automaten (v němčině ). Akademie-Verlag: Berlín , 1967.
- Složitost algoritmů a výpočtů (přednášky). Státní univerzita v Novosibirsku: Novosibirsk , 1967.
- Konečné automaty (chování a syntéza, s Ya. M. Barzdinem). Věda: Moskva , 1970.
- Konečné automaty (Behavior and Synthesis, v angličtině ). V sérii "Základní studium informatiky". North-Holland Publishing Company: Amsterdam - Londýn , 1973 a American Elsevier Publishing Company: New York , 1973.
- Algoritmy a výpočetní stroje. Sovětský rozhlas: Moskva , 1974.
- Algorithmen und Rechenautomaten (v němčině ). Deutsche Verlag der Wissenschaften: Berlín , 1977.
- Što su algoritmi: algoritmi i računski automati (v chorvatštině ). Školska Knjiga: Záhřeb , 1978.
- Algoritmusok és absztrakt automaták (v maďarštině ). Műszaki Könyvkiadó: Budapešť a svět: Moskva , 1978.
- Vybraný vývoj v sovětské matematické kybernetice. Delphic Associated: Washington , 1985.
- Pilíře informatiky: Eseje věnované Borisi (Boaz) Trakhtenbrotovi u příležitosti jeho 85. narozenin (viz online vydání zde ). Poznámky k přednáškám z informatiky (Úvod: Od logiky k teoretické informatice, str. 1-39). Springer: New York , 2008.
Poznámky
- ↑ 1 2 Archiv historie matematiky MacTutor
- ↑ http://www.iis.nsk.su/
- ↑ 1 2 Matematická genealogie (anglicky) - 1997.
- ↑ Pilíře počítačové vědy: Eseje věnované Borisi (Boaz) Trakhtenbrotovi u příležitosti jeho 85. narozenin (viz online vydání zde Archivováno 22. července 2011 na Wayback Machine ). Springer: New York , 2008
- ↑ BA Trakhtenbrot „Early Days“ (pilíře informatiky)
- ↑ Buzya Trakhtenbroit v Soroca . Získáno 2. listopadu 2014. Archivováno z originálu dne 24. září 2015.
- ↑ Zapomenutí géniové: Boris Trakhtenbrot . Získáno 20. září 2016. Archivováno z originálu 9. května 2018.
- ↑ B. A. Trakhtenbrot. Vzpomínka na Alexeje Andrejeviče (padesátá léta) . Získáno 24. února 2008. Archivováno z originálu dne 26. června 2020.
- ↑ Janis Barzdins (nepřístupný odkaz) . Datum přístupu: 24. února 2008. Archivováno z originálu 17. prosince 2008.
- ↑ Osobní stránka Marka Trakhtenbrota (nepřístupný odkaz) . Získáno 6. prosince 2014. Archivováno z originálu dne 24. září 2015.
Odkazy
- Stránka B. Trakhtenbrota na webu Tel Aviv University (anglicky)
- Podrobný přehled Trachtenbrotovy věty
- Zleva doprava: A. A. Markov, V. A. Uspenskij, S. A. Adyan, B. A. Trakhtenbrot. Hodnota: A. S. Yesenin-Volpin. Moskva, 1950 (nedostupný odkaz od 13-05-2013 [3459 dní] - historie )
- Seznam publikací z DBLP Bibliography Server
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||