Julius Richard Büchi
mathématicien suisse
From Wikipedia, the free encyclopedia
Julius Richard Büchi, né le à Porto Alegre et mort en 1984, est un mathématicien suisse.
Julius Richard Büchi
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Maître | |
| Directeur de thèse |
Biographie
Büchi effectue sa thèse de doctorat à l'École polytechnique fédérale de Zurich sous la direction de Paul Bernays et Ferdinand Gonseth. Il soutient une thèse intitulée « L'ordre partiel de Boole et l'appariement des structures[1] » en 1950. Büchi part travailler à l'université Purdue dans l'Indiana (États-Unis) peu après.
Büchi travaille dans le domaine de la calculabilité et laisse son nom à plusieurs objets :
- l'automate de Büchi est un automate fini qui reconnaît un ensemble de mots infinis (ω-langage) ;
- le problème de Büchi (en) est un problème ouvert en théorie des nombres, relié au dixième problème de Hilbert.
Publications
- (en) J Richard Büchi et Dirk Siefkes, Finite automata, their algebras and grammars : towards a theory of formal expressions, New York, Springer-Verlag, (réimpr. 316), 316 p. (ISBN 978-0-387-96905-3 et 978-3-540-96905-1, OCLC 18780506)
- Collected Works of J. Richard Büchi, édition dirigée par Saunders Mac Lane et Dirk Siefkes, New York, Springer, 1990
