Collected Works of J. Richard Buchi (eBook)

J. Richard Buchi (Autor)

Saunders Mac Lane, Dirk Siefkes (Herausgeber)

eBook Download: PDF

2012
Springer New York (Verlag)
978-1-4613-8928-6 (ISBN)

Infos

J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "e;theoretical,"e; because he more or less identified science and theory, using "e;theory"e; in a broader sense and "e;science"e; in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis- cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au- tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story.

Produkt-Details

• Erscheint lt. Verlag: 6.12.2012
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• ISBN-10: 1-4613-8928-3 / 1461389283
• ISBN-13: 978-1-4613-8928-6 / 9781461389286