Julius Richard Büchi

Julius Richard Büchi

Julius Richard Büchi ( Porto Alegre , 31 ianuarie 1924 ^[1] - 1984 ) a fost un logician și matematician elvețian . Julius Richard Büchi s-a născut în Brazilia, în orașul Porto Alegre, unde au trăit părinții săi Jacob și Hedwig Büchi-Eigensatz, înainte de a se întoarce în Elveția, de unde provineau inițial, când Richard avea doi ani ^[2] .

S-a înscris apoi la Universitatea din Zurich, unde și-a obținut doctoratul în științe naturale în 1950 la ETH din Zurich , sub supravegherea lui Paul Bernays și Ferdinand Gonseth , cu o teză intitulată Die Boole'sche Partialordnung und die Paarung von Gefügen ( Ordinea parțială a lui Boole și asocierea structurilor ) ^[3] . La scurt timp după aceea s-a mutat la Lafayette , Indiana , la Universitatea Purdue . Büchi și primul său student Lawrence Landweber și-au început studiile acolo, ceea ce a avut o mare influență asupra dezvoltării ulterioare a informaticii teoretice .

Împreună cu colegul și prietenul său Saunders Mac Lane , tot elev al lui Paul Bernays , Büchi a publicat numeroase opere celebre. Este la originea a ceea ce a devenit cunoscut sub numele de automatul Büchi , un automat cu stare finită care acceptă seturi infinite de cuvinte cunoscute sub numele de limbaje omega-regulate și care generalizează definiția limbajului regulat pentru cuvintele de lungime infinită ^[4] . „Problema n- pătratelor”, cunoscută și sub numele de problema Büchi , este o problemă deschisă de teoria numerelor , strâns legată de a zecea problemă a lui Hilbert .

Bibliografie

• ( EN ) Büchi, J. Richard., Automate finite, algebrele și gramaticile lor: către o teorie a expresiilor formale , Springer-Verlag, 1989, ISBN 0-387-96905-5 ,OCLC 18780506 . Adus la 30 decembrie 2020 .
• ( EN ) Saunders Mac Lane și Dirk Siefkes (eds), The Collected Works of J. Richard Büchi , 1990, DOI : 10.1007 / 978-1-4613-8928-6 . Adus la 30 decembrie 2020 .

Notă

linkuri externe

• Publicații de și despre Julius Richard Büchi în catalogul Helveticat al Bibliotecii Naționale Elvețiene