Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Клини, Стивен Коул
Русская Википедия - свободная энциклопедия
Download this dictionary
Клини, Стивен Коул
Стивен Коул Клини
(;
5 января
1909
—
25 января
1994
) — американский математик, чьи работы совместно с работами
Алонзо Чёрча
,
Курта Гёделя
и
Алана Тьюринга
дали начало разделу
математической логики
—
теории вычислимости
. Кроме того, известен изобретением
регулярных выражений
. Его именем названы
Алгебра Клини
, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Кроме того, известны его работы в области
интуиционистсткой математики
Брауэра
.
Продолжение на Wikipedia.οrg...
© Текстовое содержимое использует материал из
Википедии
®
и доступно в соответствии с
лицензией свободной документации GNU