Julius Richard Büchi
- Julius Richard Büchi
-
Julius Richard Büchi, né en 1924 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 »[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
- ↑ (de) Die Boole'sche Partialordnung und die Paarung von Gefügen.
Source
Catégories :
- Mathématicien suisse
- Étudiant de l'École polytechnique fédérale de Zurich
- Naissance en 1924
- Décès en 1984
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
