Julius Richard Büchi

Julius Richard Büchi (* 1924; † 1984) war ein Schweizer Logiker und Mathematiker.

Er promovierte 1950 an der ETH Zürich zum Dr. sc. nat.; seine Lehrer waren Paul Bernays und Ferdinand Gonseth.

Kurz darauf ging er an die Purdue University (Lafayette, Indiana) im mittleren Westen der USA. Er selbst und sein erster Schüler Lawrence Landweber nahmen erheblichen Einfluss auf die Entwicklung der Theoretischen Informatik.

Nach Büchi benannt ist der Büchi-Automat, ein endlicher Automat zum Erkennen von formalen Sprachen, die unendlich lange Wörter enthalten (Sprachen mit unendlich langen Wörtern heißen auch $\omega$-Sprachen).

Büchi war mit Saunders Mac Lane, ebenfalls Schüler von Paul Bernays, befreundet und hat mit ihm zahlreiche Arbeiten publiziert.

Einer von Büchis Schülern war Lawrence Landweber (Promotion 1967).

Veröffentlichungen

• Collected Papers of J. Richard Büchi. Hrsg. von Saunders MacLane und Dirk Siefkes. Springer, New York 1990.