Boris Trakhtenbrot
Boris Trakhtenbrot (rus: Борис Авраамович Трахтенброт) (Briceva, 20 de febrer de 1921 - Rehobot, 19 de setembre de 2016), també anomenat Boaz Trakhtenbrot, va ser un matemàtic soviètic emigrat a Israel.
Vida i obra[modifica]
Trakhtenbrot va néixer en un poble del nord de Bessaràbia (avui República de Moldàvia) habitat majoritàriament per pagesos jueus.[1] Després d'acabar la seva escolarització primària al seu poble, va fer els estudis secundaris a les properes ciutats de Bălți i Soroca. El 1940 va començar a estudiar matemàtiques a l'Institut Pedagògic de Chișinău, però la invasió alemanya de la Unió Soviètica el 1941, va fer que la institució es traslladés a Buguruslan, on va compaginar els estudis irregulars amb la feina a diferents empreses, ja que mai va ser cridat a files per la seva mala vista.[2] El 1945, acabada la guerra, es va graduar com mestre de secundària a Chișinău i es va matricular a la universitat de Txernivtsí (avui Ucraïna) per a fer un màster, que va obtenir el 1947.[3] El 1947 va començar els estudis de doctorat a l'Institut de matemàtiques de Kiev de l'Acadèmia Ucraïnesa de Ciències, però sota la direcció de Piotr Nóvikov, que era professor a Moscou.[4] Amb el permís del director de l'Institut, Mikhaïl Lavréntiev, va fer llargues estades a Moscou fins al 1950 quan va defensar la seva tesi doctoral en la qual va demostrar el teorema que porta el seu nom sobre la irresolubilitat del conjunt de fórmules lògiques de primer ordre que són certes en models finits.[5]
Un cop doctorat, va ser destinat a l'Institut Pedagògic Belinski, a la ciutat de Penza, uns 600 quilòmetres al sud-est de Moscou. En aquesta època va tenir problemes amb l'estalinisme més dogmàtic que el va acusar de ser un idealista carnapià; gràcies a la defensa de Nóvikov i de Liapunov aquestes acusacions noi van tenir conseqüències.[6] El 1960, a invitació de Serguei Sóbolev, es va incorporar a l'Institut de Matemàtiques de la Branca Siberiana de l'Acadèmia de Ciències de la Unió Soviètica; es va traslladar a viure (molt més còmodament) a Akademgorodok i va ser, al mateix temps, professor de la universitat de Novossibirsk.[7] Aquí va aprofundir en els seus estudis de cibernètica i va demostrar per primera vegada l'important teorema de l'interval (1964),[8] que estableix que existeixen intervals arbitràriament grans en la jerarquia de les classes de complexitat.[9]
El 1981, després d'emigrar a Israel, va esdevenir professor de cibernètica de la universitat de Tel Aviv. El 1991 va passar a ser professor emèrit i va continuar una intensa activitat de recerca en ciències de la computació i teoria de la complexitat computacional,[7] instant als investigadors que es centressin en el que ell anomenava la Trinitat dels sistemes en temps real: Lògica, Xarxes i Autòmats.[10]
Trakhtenbrot va publicar quatre influents llibres sobre algorismes i autòmats[11] i un centenar d'articles científics.[12]
Referències[modifica]
- ↑ Trakhtenbrot, 1999, p. 317.
- ↑ Артемов et al., 2022, p. 191.
- ↑ Fisher, 2016, p. 33.
- ↑ Trakhtenbrot, 1999, p. 320.
- ↑ Артемов et al., 2022, p. 191-192.
- ↑ Trakhtenbrot, 1999, p. 323.
- ↑ 7,0 7,1 Артемов et al., 2022, p. 193.
- ↑ Asperti, 2013, p. 163 i ss.
- ↑ Dershowitz, 2016, p. 30.
- ↑ Ouaknine i Worrell, 2010, p. 22.
- ↑ Avron, Dershowitz i Rabinovich, 2008, p. 51-52.
- ↑ Avron, Dershowitz i Rabinovich, 2008, p. 52-57.
Bibliografia[modifica]
- Артемов, С. Н.; Барздинь, Я. М.; Бокуть, Л. А.; Гуревич, Ю. Ш.; Дехтярь, А. М.; Левин, Л. А.; Ломазова, И. А.; Матиясевич, Ю. В.; et al. «Борис Абрамович Трахтенброт (к столетию со дня рождения)» (en rus). Успехи математических наук, Vol. 77, Num. 1(463), 2022, pàg. 191-195. DOI: 10.1070/RM10048. ISSN: 0042-1316.
- Asperti, Andrea. «A Formal Proof of Borodin-Trakhtenbrok's Gap Theorem». A: Georges Gonthier, Michael Norrish (eds.). Certified Programs and Proofs (en anglès). Springer, 2013, p. 163-177. ISBN 978-3-319-03544-4.
- Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot (en anglès). Springer, 2008. ISBN 978-3-540-78126-4.
- Dershowitz, N. «Boris (Boaz) Trakhtenbrot 1921-2016» (en anglès). EATCS Bulletin, Num. 120, 2016, pàg. 29-32. ISSN: 0252-9742.[Enllaç no actiu]
- Fisher, L.M. «In Memoriam Boris Trakhtenbrot» (en anglès). EATCS Bulletin, Num. 120, 2016, pàg. 33-40. ISSN: 0252-9742.[Enllaç no actiu]
- Ouaknine, Joël; Worrell, James. «Towards a Theory of Time-Bounded Verification». A: Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.). Automata, Languages and Programming (en anglès). Springer, 2010. ISBN 978-3-642-14161-4.
- Trakhtenbrot, Boris. «From Logic to Theoretical Computer Science». A: Cristian Calude (eds.). People & Ideas in Theoretical Computer Science (en anglès). Springer, 1999, p. 315-342. ISBN 978-9-814-02113-5.
Enllaços externs[modifica]
- O'Connor, John J.; Robertson, Edmund F. «Boris Trakhtenbrot» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
- Fisher, Lawrence M. «In Memoriam: Boris Trakhtenbrot, 1921-2016». Communications of the Association for Computing Machinery, 2016. [Consulta: 12 febrer 2023]. (anglès)
- Sazonov, Vladimir. «In memory of Boris Trakhtenbrot, Mars Valiev and Michael Dekhtyar». University of Liverpool, 2018. [Consulta: 12 febrer 2023]. (anglès)
- «Boaz (Boris) Trakhtenbrot». Universitat de Tel Aviv. [Consulta: 12 febrer 2023]. (anglès)