Julius Richard Büchi

Julius Richard Büchi, né le 31 janvier 1924 à Porto Alegre et mort en 1984, est un mathématicien suisse.

Biographie
Naissance	31 janvier 1924 Porto Alegre
Décès	1984
Nationalité	Suisse
Formation	École polytechnique fédérale de Zurich
Activités	Mathématicien, professeur d'université, informaticien

Autres informations
A travaillé pour	Université Purdue
Maître	Ferdinand Gonseth
Dir. de thèse	Paul Bernays
Archives conservées par	Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 1175)[1] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 1176)[2] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 1177)[3]

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[4] » 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.

(en) J Richard Büchi et Dirk Siefkes, Finite automata, their algebras and grammars : towards a theory of formal expressions, New York, Springer-Verlag, 1989 (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

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Julius Richard Büchi » (voir la liste des auteurs).

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.