Julius Richard Büchi - Julius Richard Büchi

Julius Richard Büchi
Julius Richard Büchi.jpg
narozený(1924-01-31)31. ledna 1924
Zemřel1984

Julius Richard Büchi (1924–1984) byl a švýcarský logik a matematik.

Získal Dr. sc. nat. v roce 1950 na ETH Curych pod dohledem Paul Bernays a Ferdinand Gonseth. Krátce nato šel do Purdue University, Lafayette, Indiana. On a jeho první student Lawrence Landweber měl zásadní vliv na vývoj teoretická informatika.

Spolu se svým přítelem Saunders Mac Lane, student Paul Bernays také Büchi publikoval řadu slavných děl. Vynalezl to, co je nyní známé jako Büchi automat, a konečný stavový automat přijímání určitých sbírek nekonečná slova známý jako běžné jazyky omega. „n problém čtverců ", známý také jako Bučiho problém, je otevřený problém od teorie čísel, úzce souvisí s Hilbertův desátý problém.

Vybrané publikace

  • Konečné automaty, jejich algebry a gramatiky - směrem k teorii formálních výrazů. Publikováno posmrtně, Springer, New York 1989.
  • Sebraná díla J. Richarda Büchiho. Editoval Saunders Mac Lane a Dirk Siefkes. Springer, New York 1990.

externí odkazy