Julius Richard Büchi

Julius Richard Büchi
Nascimento	1924
Morte	1984 (60 anos)
Nacionalidade	Suíço
Alma mater	Instituto Federal de Tecnologia de Zurique
Carreira científica
Orientador(es)(as)	Paul Bernays
Orientado(a)(s)	Lawrence Landweber
Campo(s)	Matemática, lógica
Tese	1950: Die Boole'sche Partialordnung und die Paarung von Gefügen

Julius Richard Büchi (1924 — 1984) foi um matemático e lógico suíço.

Obteve um doutorado em 1950, no Instituto Federal de Tecnologia de Zurique, orientado por Paul Bernays e Ferdinand Gonseth. Pouco tempo depois foi para a Universidade de Purdue, em West Lafayette, Indiana. Juntamente com seu primeiro aluno, Lawrence Landweber, teve grande influência sobre o desenvolvimento da ciência da computação teórica.^[1]

Juntamente com seu amigo Saunders Mac Lane, também aluno de doutorado de Paul Bernays, Büchi publicou diversas obras de destaque. Ele inventou o que é atualmente conhecido como o autômato de Büchi, uma máquina de estados finitos que aceita certas coleções de sequências infinitas de símbolos conhecida como Linguagem Omega-regular. O "problema dos n quadrados" conhecido também como problema de Büchi, é um problema ainda sem solução da teoria dos números, estreitamente relacionado com o décimo problema de Hilbert. Um de seus alunos foi Lawrence Landweber, que obteve um doutorado na Universidade de Purdue em 1967.

• Finite Automata, Their Algebras and Grammars -- Towards a Theory of Formal Expressions. Published posthumously, Springer, New York 1989.
• Collected Works of J. Richard Büchi. Edited by Saunders Mac Lane and Dirk Siefkes. Springer, New York 1990.

• Julius Richard Büchi (em inglês) no Mathematics Genealogy Project