Julius Richard Büchi

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Julius Richard Büchi
Nascimento 1924
Morte 1984 (60 anos)
Nacionalidade Suíça Suíço
Alma mater Instituto Federal de Tecnologia de Zurique
Orientador(es) Paul Bernays
Orientado(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 (19241984) 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.

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.

Publicações selecionadas[editar | editar código-fonte]

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

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.