Юлиус Рихард Бючи
Юлиус Рихард Бючи | |
---|---|
![]() | |
Рожденный | 31 января 1924 г. |
Умер | 1984 |
Юлиус Рихард Бючи (1924–1984) был швейцарским логиком и математиком .
Он получил степень доктора наук. физ. в 1950 году в ETH Zurich под руководством Пауля Бернейса и Фердинанда Гонсета . Вскоре после этого он поступил в Университет Пердью в Лафайете , штат Индиана . Он и его первый ученик Лоуренс Ландвебер оказали большое влияние на развитие теоретической информатики .
Вместе со своим другом Сондерсом Мак Лейном был учеником Поля Бернейса , который также , Бючи опубликовал множество знаменитых работ. Он изобрел то, что сейчас известно как автомат Бючи , конечный автомат, принимающий определенные наборы бесконечных последовательностей символов, известных как омега-регулярные языки . « Проблема n квадратов», известная также как проблема Бючи , является открытой проблемой теории чисел , тесно связанной с десятой проблемой Гильберта .
Избранные публикации
[ редактировать ]- Конечные автоматы, их алгебры и грамматики – к теории формальных выражений . Опубликовано посмертно, Спрингер, Нью-Йорк, 1989 г.
- Собрание сочинений Дж. Рихарда Бючи . Под редакцией Сондерса Мак Лейна и Дирка Сифкса . Спрингер, Нью-Йорк, 1990.
Внешние ссылки
[ редактировать ]- Публикации Юлиуса Рихарда Бючи и о нем в каталоге Helveticat Швейцарской национальной библиотеки.