Клини, Стивен Коул

Стивен Коул Клини (англ. Stephen Cole Kleene; 5 января 190925 января 1994) — американский математик, чьи работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логикитеории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы Алгебра Клини, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Кроме того, известны его работы в области интуиционистсткой математики Брауэра.

Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с изданием переводов его книг именно под такой фамилией.

Среди наиболее известных работ, издававшихся на русском языке — книги «Введение в метаматематику» и «Математическая логика».

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home