Julius Richard Büchi
Julius Richard Büchi ( — ) 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.
Q395
matemático
Concept
Q8078
lógico
Concept
Q39
suíço
LOC
Q849697
doutorado
Concept
Q11942
Instituto Federal de Tecnologia de Zurique
LOC
Q122318
Paul Bernays
PER
Q122314
Ferdinand Gonseth
PER
Q217741
Universidade de Purdue
LOC
Q166481
West Lafayette
LOC
Q1415
Indiana
LOC
Q92912
Lawrence Landweber
PER
Q2878974
ciência da computação teórica
Concept
Q441223
Saunders Mac Lane
PER
Q122318
Paul Bernays
PER
Q1020380
autômato de Büchi
Concept
Q176452
máquina de estados finitos
Concept
Q4334568
sequências infinitas de símbolos
UNK
Q309558
Linguagem Omega-regular
Concept
None
problema de Büchi
UNK
Q12479
teoria dos números
Concept
Q986147
décimo problema de Hilbert
MEDIA
Q92912
Lawrence Landweber
PER
Q92672
Julius Richard Büchi
PER
+1950^^http://www.w3.org/2001/XMLSchema#decimal
1950
NUMBER
+1967^^http://www.w3.org/2001/XMLSchema#decimal
1967
NUMBER
country of citizenship
doctoral advisor
student
employer
doctoral advisor
doctoral advisor
doctoral advisor
located in the administrative territorial entity
doctoral advisor
instance of