Julius Richard Büchi

Julius Richard Büchi

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
Directeur 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]

modifier - modifier le code - modifier Wikidata

Julius Richard Büchi, né le 31 janvier 1924 à 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^[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.

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, 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

Note

• (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).

Liens externes

• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Pays-Bas
  • Israël
  • NUKAT
  • Norvège
  • Tchéquie
  • WorldCat
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project

• Portail des mathématiques
• Portail de la Suisse