Julius Richard Büchi

Julius Richard Büchi

Julius Richard Büchi, né en 1924 et mort en 1984, est un mathématicien suisse.

Sommaire

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 :

Publications

  • Finite Automata, Their Algebras and Grammars -- Towards a Theory of Formal Expressions. Springer, New York 1989.
  • Collected Papers of J. Richard Büchi. Édition dirigée par Saunders Mac Lane et Dirk Siefkes. Springer, New York 1990.

Note

  1. (de) Die Boole'sche Partialordnung und die Paarung von Gefügen.

Source



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Julius Richard Büchi de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Julius Richard Büchi — (* 1924; † 1984) war ein Schweizer Logiker und Mathematiker. Er wurde 1950 an der ETH Zürich zum Dr. sc. nat. promoviert; seine akademischen Lehrer waren Paul Bernays und Ferdinand Gonseth. Kurz darauf ging er an die Purdue University (Lafayette …   Deutsch Wikipedia

  • Julius Richard Büchi — (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his… …   Wikipedia

  • Büchi — ist der Familienname folgender Personen: Albert Büchi (1864–1930), Schweizer Historiker Albert Büchi (1907–1988), Schweizer Radrennfahrer Christophe Büchi (* 1952), Schweizer Journalist Alfred Büchi (1879–1959), Schweizer Ingenieur Ella Büchi… …   Deutsch Wikipedia

  • Buchi — Büchi Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Büchi est un patronyme : Alfred Büchi, ingénieur suisse, en 1905, il a dépose un brevet de turbocompresseur. Albert Büchi, cycliste suisse,… …   Wikipédia en Français

  • Büchi-Baumautomat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi-Erkennbarkeit — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi-Automat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi automaton — A Büchi automaton is the extension of a finite state automaton to infinite inputs. It accepts an infinite input sequence iff there exists a run of the automaton (in case of a deterministic automaton, there is exactly one possible run) which… …   Wikipedia

  • Büchi — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Büchi est un patronyme : Alfred Büchi, ingénieur suisse, en 1905, il a dépose un brevet de turbocompresseur. Albert Büchi, cycliste suisse, médaille… …   Wikipédia en Français

  • Buchi — can mean NOTOC Items*Bachi, special Japanese drumsticks *Butsi, the Tagalog term for mochi. *B%C3%BCchi automaton, finite state automata extended to infinite inputsPeopleGiven namesFamily names*George Büchi (August 1 1921 ndash; August 28 1998)… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”