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

Материал из Гуру — мира словарей и энциклопедий
Перейти к: навигация, поиск

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

Статья из Большого Энциклопедического словаря Брокгауза и Ефрона

Данная статья была взята с Большого Энциклопедического словаря Брокгауза и Ефрона. Это вовсе не означает что статью нельзя редактировать или обновлять, или исправлять неточность.

Если вы заметили неточность в статье, или хотите внести больше ясности, вы можете ее "редактировать" и "править" по Вашему усмотрению