Loading AI tools
Da Wikipédia, a enciclopédia livre
Julius Richard Büchi (1924 — 1984) foi um matemático e lógico suíço.
Julius Richard Büchi | |
---|---|
Nascimento | 1924 |
Morte | 1984 (60 anos) |
Nacionalidade | Suíço |
Alma mater | Instituto Federal de Tecnologia de Zurique |
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 |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.