Julius Richard Buchi

Biografia

Narodziny	1924 lub 31 stycznia 1924 Porto Alegre
Śmierć	1984
Narodowość	szwajcarski
Trening	Szwajcarski Federalny Instytut Technologii w Zurychu
Zajęcia	Matematyk , profesor uniwersytecki , informatyk

Inne informacje

Pracował dla	Uniwersytet Purdue
Mistrz	Ferdynand Gonseth
Kierownik	Paul Bernays
Archiwum prowadzone przez	Archiwa Szwajcarskiego Federalnego Instytutu Technologii w Zurychu ( en ) (CH-001807-7: Hs 1175) Archiwa Szwajcarskiego Federalnego Instytutu Technologii w Zurychu ( en ) (CH-001807-7: Hs 1176) Archiwa Szwajcarskiego Instytutu Federalnego Technologii Federalnej w Zurychu ( en ) (CH-001807-7: Hs 1177)

Julius Richard Büchi , urodzony dnia31 stycznia 1924w Porto Alegre i zmarł w 1984 r., jest szwajcarskim matematykiem .

Biografia

Büchi robi pracę doktorską w Szwajcarskim Federalnym Instytucie Technologii w Zurychu pod kierunkiem Paula Bernaysa i Ferdinanda Gonsetha . Bronił tezy zatytułowany „ częściowy porządek z Boole'a i parowanie struktur” w 1950 Buchi poszedł do pracy na Uniwersytecie Purdue w stanie Indiana ( USA ) wkrótce po.

Büchi pracuje w dziedzinie obliczalności i pozostawia swoje imię kilku obiektom:

automatem Buchi jest skończony automat , który rozpoznaje szereg nieskończonych słów ( ω-językowych );
problemem Biichi (w) jest otwarty problem teorii numer podłączona do problemu X Hilberta .

(en) J Richard Büchi i Dirk Siefkes, Automaty skończone, ich algebry i gramatyki: ku teorii wyrażeń formalnych , New York, Springer-Verlag ,1989( repr. 316), 316 s. ( ISBN 978-0-387-96905-3 i 978-3-540-96905-1 , OCLC 18780506 )
Dzieła zebrane J. Richarda Büchiego , wydanie pod redakcją Saunders Mac Lane i Dirka Siefkesa, Nowy Jork, Springer, 1990

(de) Ten artykuł jest częściowo lub w całości zaczerpnięty z artykułu z Wikipedii w języku niemieckim zatytułowanego „ Julius Richard Büchi ” ( patrz lista autorów ) .