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

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 » 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  est un problème ouvert en théorie des nombres, relié au dixième problème de Hilbert.

Publications 
 
Collected Works of J. Richard Büchi, édition dirigée par Saunders Mac Lane et Dirk Siefkes, New York, Springer, 1990

Note

Liens externes 
 
 
 

Mathématicien suisse du XXe siècle
Logicien suisse
Étudiant de l'École polytechnique fédérale de Zurich
Naissance en janvier 1924
Décès en 1984
Naissance à Porto Alegre
Lieu de décès inconnu