Gurevich, Yuri Shlyomovich

Yuri Shlyomovich Gurevich (født 7. maj 1940 [2] , USSR [3] ) er en sovjetisk og amerikansk matematiker og datamatiker, doktor i fysiske og matematiske videnskaber (1968), professor (1969), skaberen af ​​teorien om abstrakt stat maskiner [4] .

Biografi

Blev født den 7. maj 1940 i byen Nikolaev , ukrainske SSR , USSR .

I 1957 kom han ind på Fakultetet for Matematik og Mekanik ved Ural State University , hvorfra han dimitterede i 1962. Fra 1965 til 1969 underviste Gurevich ved Ural Universitet.

Yuri Gurevich er elev af professor Pyotr Kontorovich . Han har skrevet mere end 200 videnskabelige artikler inden for algebra, matematisk logik og datalogi.

Han underviste i matematik i Israel og flyttede derefter til USA i 1982. Hans mest berømte værk fra den sovjetiske periode er helliget det klassiske "løsningsproblem". I Israel arbejdede Gurevich sammen med Saharon Shelah på andenordens monadiske teorier. Gurevich-Harrington glemsomhedsteoremet hører også til denne periode.

I øjeblikket arbejder Yuri Gurevich i forskningsafdelingen i Microsoft Corporation (USA), hvor han grundlagde en gruppe softwareudviklere. Valgt professor emeritus ved University of Michigan .

Gurevich skabte konceptet om abstrakte statsmaskiner, som er meget udbredt i moderne datalogi.

Gurevich er medlem af ACM, medlem af Guggenheim, medlem af Academia Europaea og en Doctor Honoris Causa fra Hasselt Universitet i Belgien. I 2014 blev han en af ​​ti konstituerende stipendiater i European Association for Theoretical Computer Science.

I 2005 blev han æresdoktor ved Ural State University.

Videnskabelige publikationer

• E. Berger, E. Gredel og Yu. Gurevich. Det klassiske beslutningsproblem. Springer, 1997.
• Y. Gurevich. Monadiske teorier af anden orden. I J. Barwise og S. Feferman (red.), Model Theoretical Logic, Springer, 1985, 479-506.
• Y. Gurevich og L. Harrington. Automater, træer og spil. STOC '82: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 1982, 60-65.
• Yu. Gurevich og S. Shelah. Forventet beregningstid for Hamilton-stiproblemet. SIAM Journal on Computing 16:3, 1987, 486-502.
• Y. Gurevich. Gennemsnitlig fuldstændighed af sagen. Journal of Computer and Systems Sciences 42:3, 1991, 346-398.
• Y. Gurevich. Til logik tilpasset beregningsmæssig kompleksitet. I M Richter et al. (red.), Beregningsteori og beviser. Springer Lecture Notes in Mathematics 1104, 1984, 175-216.
• Y. Gurevich. Evolving Algebra 1993: Liparis håndbog. I E. Borger (red.)
• Y. Gurevich. Sekventielle abstrakte finite automata-fangst sekventielle algoritmer. ACM Transactions in Computing Logic 1(1), 2000.
• N. Dershowitz og Yu Gurevich. Naturlig aksiomatisering af beregnelighed og beviset for Kirkens tese. Symbolic Logic Bulletin 14:3, 2008, 299-350.
• A. Blass og Yu Gurevich. Abstrakte, endelige automater opfanger parallelle algoritmer. ACM Transactions on Computational Logic 4(4), 2003, 578–651 og 9(3), 2008, artikel 19.

Noter

1. ↑ Matematisk genealogi  (engelsk) - 1997.
2. ↑ https://viaf.org/processed/SUDOC%7C073402559
3. ↑ Freebase data download - Google .
4. ↑ Gurevich Yuri Shlemovich . Hentet 17. april 2022. Arkiveret fra originalen 15. maj 2021. (ubestemt)

Links

• GUREVICH Yuri Shlyomovich
• Gurevich Yuri