Julius Richard Büchi

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Julius Richard Büchi
Matemática, lógica
Nacionalidade Suíça Suíço
Nascimento 1924
Morte 1984 (60 anos)
Atividade
Campo(s) Matemática, lógica
Alma mater Instituto Federal de Tecnologia de Zurique
Tese 1950: Die Boole'sche Partialordnung und die Paarung von Gefügen
Orientador(es) Paul Bernays
Orientado(s) Lawrence Landweber

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