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 Die Boole'sche Partialordnung und die Paarung von Gefügen. » 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
Catégorie:Mathématicien suisse du XXe siècle Catégorie:Logicien suisse Catégorie:Étudiant de l'École polytechnique fédérale de Zurich Catégorie:Naissance en janvier 1924 Catégorie:Décès en 1984 Catégorie:Naissance à Porto Alegre Catégorie:Lieu de décès inconnu