Julius Richard Büchi

Životopis

Narození	1924 nebo 31. ledna 1924 Porto Alegre
Smrt	1984
Státní příslušnost	švýcarský
Výcvik	Švýcarský federální technologický institut v Curychu
Činnosti	Matematik , univerzitní profesor , počítačový vědec

Jiná informace

Pracoval pro	Purdue University
Mistr	Ferdinand Gonseth
Dozorce	Paul Bernays
Archivy vedené	Archivy Švýcarského federálního technologického institutu v Curychu ( en ) (CH-001807-7: Hs 1175) Archivy Švýcarského federálního technologického institutu v Curychu ( en ) (CH-001807-7: Hs 1176) Archivy Švýcarského federálního institutu of Technology Zurich Federal ( en ) (CH-001807-7: Hs 1177)

Julius Richard Büchi , narozen dne31. ledna 1924v Porto Alegre a zemřel v roce 1984, je švýcarský matematik .

Životopis

Büchi dělá doktorskou práci na Švýcarském federálním technologickém institutu v Curychu pod vedením Paula Bernayse a Ferdinanda Gonsetha . Obhájil disertační práci s názvem „ částečné uspořádání na Boole a párování struktur“ v roce 1950. Büchi šel do práce na Purdue University v Indianě ( USA ) krátce poté.

Büchi pracuje v oblasti vypočítatelnosti a své jméno ponechává několika objektům:

Büchi automat je konečný automat , který rozpoznává množinu nekonečných slov ( ω jazyka );
problém Büchi (v), je otevřený problém v teorii čísel , připojený k problému desátého Hilbertova .

(en) J Richard Büchi a Dirk Siefkes, Konečné automaty, jejich algebry a gramatiky: k teorii formálních výrazů , New York, Springer-Verlag ,1989( dotisk 316), 316 str. ( ISBN 978-0-387-96905-3 a 978-3-540-96905-1 , OCLC 18780506 )
Collected Works of J. Richard Büchi , edice edited by Saunders Mac Lane and Dirk Siefkes, New York, Springer, 1990

(de) Tento článek je částečně nebo zcela převzat z německého článku na Wikipedii s názvem „ Julius Richard Büchi “ ( viz seznam autorů ) .