Kniha Ronald V.

Ronald "Ron" Vernon Book (narozen 5. března 1937 - 28. května 1997 v Santa Barbaře v Kalifornii ) byl americký počítačový vědec .

Život

Kniha Ronalda Vernona vyrostla v zemědělské rodině. Navštěvoval Grinnell College, vyšší soukromou školu v Grinnel , Iowa, a získal titul BA v roce 1958. Na Wesleyan University , soukromé univerzitě v Middletownu v Connecticutu, studoval matematiku a magisterský titul získal v roce 1960 a druhý magisterský v roce 1964. Poté zahájil svůj první výzkum na Harvardské univerzitě pod vedením Sheily A. Greibacha . Získal doktorát v roce 1969 (disertační práce: gramatiky s časovými funkcemi ) . V roce 1970 publikoval práci s Greibachové: Kvazi-realtime jazyků (viz také kvazi-Realtime jazyky , což je třída složitosti Q).

Book byl najat na Harvardu a později se přestěhoval na Yale . V roce 1971 se setkal s francouzským vědcem Mauricem Nivatem na jakési letní škole pro formální jazyky na University of Western Ontario v Londýně v Ontariu . Na Nivata Book Art velmi zapůsobil, oba zůstali přátelští.

V roce 1972 Ron Book vydal dvě práce: V jazycích přijatých v polynomiálním čase oddělil různé třídy polynomiálního času a v Tématech formální teorie jazyků představil aktivně zpracované a ústřední témata formálních jazyků.

V roce 1977 byl Ron Book jmenován profesorem na katedře matematiky na Kalifornské univerzitě v Santa Barbaře (UCSB). Ve svém výzkumu začal zahrnovat další téma: systémy přepisování řetězců. V osmdesátých letech vzniklo mnoho děl.

Ronald Book zemřel na roztroušenou sklerózu . Jeho manželka Celia Wrathall je nejlépe známá svou prací v teoretické informatice (viz např. Polynomiální časová hierarchie ).

Posouzení

Robert McNaughton věří, že během této doby napsal Ron Book práci o systémech nahrazování slov, která měla na toto téma největší vědecký dopad. V roce 1993 napsal spolu s Friedrichem Ottem knihu String-rewriting systems . To shrnuje nejdůležitější výsledky týkající se systémů nahrazování slov.

Na druhou stranu dal teorii složitosti různé nové impulzy, například zavedl do teorie složitosti výrazy tenká množina a shodný jazyk . Mnoho vědců použilo tyto technologie na problém P-NP . Dnes tato práce poskytuje hluboký vhled do obtížnosti tohoto problému. Dále zkoumal a vylepšoval relativizační koncepty teorie složitosti.

Ding Zhu Du a Keri-I Ko uvádějí, že v osmdesátých letech dal svým myšlenkám vědecké komunitě velmi důležité impulsy až po uplatnění Kolmogorowské složitosti .

Tento silný účinek byl do značné míry formován skutečností, že intenzivně pracoval s mnoha vědci. Pravidelně hostuje hosty (většinou postdoktorandů ) v Santa Barbaře. Někteří z nich byli Humboldtovi kolegové z Německa a nyní jsou známými vědci, jako jsou Friedrich Otto a Uwe Schöning .

Na začátku 90. let mu byla za jeho úspěchy udělena cena Nadace Alexandra von Humboldta . Toto ocenění spočívalo ve skutečnosti, že mu byl na jeden rok financován výzkumný pobyt v Německu.

Vědecký závazek

Ron Book publikoval více než 150 článků v mezinárodních vědeckých časopisech.

• 1970–1971 byl členem výkonného výboru SIGACT ( zájmová skupina Asociace pro výpočetní techniku pro algoritmy a výpočetní teorii)
• 1977–1981 byl předsedou Technologického výboru Ústavu elektrotechnických a elektronických inženýrů pro matematické základy výpočetní techniky v letech 1977–1981
• 1977–1985 působil jako rada v EATCS ( Evropská asociace pro teoretickou informatiku ).

Byl také editorem tří různých sérií monografií o informatice.

Pravidelně byl zastoupen na jedné z následujících konferencí jako předseda nebo jako člen programového výboru:

• STOC (Annual ACM Symposium on Theory of Computing)
• FOCS (výroční sympozium IEEE o základech informatiky)
• ICALP (mezinárodní kolokvium o automatech, jazycích a programování sponzorované Evropskou asociací teoretické informatiky)
• MFCS (International Symposium on Mathematical Foundations of Computer Science)

PhD studenti

PhD z Ron Book:

• Brenda Baker , Harvard University , 1973
• Ding Zhu Du , University of California, Santa Barbara , 1985
• Colm O'Dunlaing , University of California, Santa Barbara, 1981
• Luquan Pan , University of California, Santa Barbara, 1986
• David Russo , University of California, Santa Barbara, 1985

literatura

• Souhrn vědeckého výzkumu Ronalda V. Booka. In: Pokroky v algoritmech, jazycích a složitosti. Dordrecht, 1997, s. Xv-xvii.
• Ding Zhu Du, Keri-I Ko: In memoriam Kniha Ronalda V. In: Theoretical Computer Science. 1, 207, 1998, s. 1-3.
• In memoriam: Ronald V. Book, Bull. In: Evropská asociace teoretické informatiky (EATCS). 63, 1997, s. 292.
• Seznam publikací Ronalda V. Booka. In memoriam knihy Ronalda V. V teorii. Comput. Sci. 1, 207, 1998, s. 5-11.
• Seznam publikací Ronalda V. Booka. In Pokroky v algoritmech, jazycích a složitosti. Dordrecht, 1997, s. Xxiii-xxxiv.
• Robert McNaughton: Příspěvky Ronalda V. Booka k teorii systémů přepisování řetězců. In memoriam knihy Ronalda V. In: Theoret. Comput. Sci. 1, 207, 1998, s. 13-23.
• Maurice Nivat: Předmluva in memoriam Kniha Ronalda V. In memoriam knihy Ronalda V. In: Theoret. Comput. Sci. 1, 207, 1998, s. Xiii-xiv.

webové odkazy

• Literatura od Ronalda V. Kniha v katalogu Německé národní knihovny
• John J. O'Connor, Edmund F. Robertson :  Kniha Ronalda V. In: MacTutor History of Mathematics archive .
• Ronald V. Book in the Mathematics Genealogy Project (anglicky)Použitá šablona: MathGenealogyProject / Maintenance / name