Julius Richard Büchi

Biografia

Aniversário	1924 ou 31 de janeiro de 1924 Porto Alegre
Morte	1984
Nacionalidade	suíço
Treinamento	Instituto Federal Suíço de Tecnologia de Zurique
Atividades	Matemático , professor universitário , cientista da computação

Outra informação

Trabalhou para	Universidade de Purdue
Mestre	Ferdinand Gonseth
Supervisor	Paul Bernays
Arquivos mantidos por	Arquivos do Instituto Federal Suíço de Tecnologia de Zurique ( en ) (CH-001807-7: Hs 1175) Arquivos do Instituto Federal Suíço de Tecnologia de Zurique ( en ) (CH-001807-7: Hs 1176) Arquivos do Instituto Federal Suíço de Tecnologia do Distrito Federal de Zurique ( en ) (CH-001807-7: Hs 1177)

Julius Richard Büchi , nascido em31 de janeiro de 1924em Porto Alegre e falecido em 1984, é matemático suíço .

Biografia

Büchi está fazendo sua tese de doutorado no Instituto Federal Suíço de Tecnologia de Zurique, sob a supervisão de Paul Bernays e Ferdinand Gonseth . Ele defendeu uma tese intitulada "A ordem parcial de Boole e o emparelhamento de estruturas" em 1950. Büchi foi trabalhar na Purdue University em Indiana ( Estados Unidos ) logo depois.

Büchi atua na área de computabilidade e deixa seu nome para vários objetos:

o autômato de Büchi é um autômato finito que reconhece um conjunto de palavras infinitas ( linguagem ω );
o problema de Büchi (in) é um problema aberto na teoria dos números , conectado ao décimo problema de Hilbert .

(pt) J Richard Büchi e Dirk Siefkes, autômatos finitos, suas álgebras e gramáticas: em direção a uma teoria das expressões formais , New York, Springer-Verlag ,1989( repr. 316), 316 p. ( ISBN 978-0-387-96905-3 e 978-3-540-96905-1 , OCLC 18780506 )
Collected Works of J. Richard Büchi , edição editada por Saunders Mac Lane e Dirk Siefkes, New York, Springer, 1990

(de) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em alemão intitulado “ Julius Richard Büchi ” ( ver lista de autores ) .