Клини С.


Клини С.

Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США25 января 1994, Мэдисон, Висконсин, США) — американский математик.

Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логикитеории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы Алгебра Клини, Звёздочка Клини, теорема Клини о рекурсии, теорема Клини о неподвижной точке. Работал также в области интуиционистсткой математики Брауэра. Внёс важный вклад в теорию конечных автоматов (см. теорема Клини).

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

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

Содержание

Переведено на русский язык

  • Клини С.К. “Введение в метаматематику.“ -М.: изд-во ИЛ, [1952]1957
  • Клини С.К. “Весли Р.И.[Vesley R.E.] Основания интуиционистской математики с точки зрения теории рекурсивных функций.“ -М.: изд-во Наука, [1965]1978
  • Клини С.К. Математическая логика. -М.: изд-во Мир, [1967]1973
  • Идельсон А.В(ред) Минц Г.Е.(ред) “Математическая теория логического вывода“, изд-во Наука, 1967 -- в сборнике переводов две статьи :
    • Клини С.К. “Перестановочность применений правил в генценовских исчислениях LK и LJ“.
    • Клини С.К. “Конечная аксиоматизируемость теорий в исчислении предикатов с помощью дополнительных предикатных символов“.

Примечания

Ссылки

См. также



Wikimedia Foundation. 2010.

Смотреть что такое "Клини С." в других словарях:

  • Клини — Клини, Стивен Коул Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта… …   Википедия

  • КЛИНИ — (Kleene), Стивен Коул (р. 5 янв. 1909) – амер. логик и математик, проф. Висконсинского ун та (Мэдисон) с 1948. Работы К. в области математич. логики посвящены в основном разработке теории общерекурсивных функций, в к рой им доказан ряд осн.… …   Философская энциклопедия

  • Клини — множинний іменник населений пункт в Україні …   Орфографічний словник української мови

  • Клини С. К. — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини — (Kleene)         Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы… …   Большая советская энциклопедия

  • Клини Стивен Коул — Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы… …   Большая советская энциклопедия

  • Клини, Стивен — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини Стивен Коул — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее  Клейни, англ. Stephen Cole Kle …   Википедия

  • КЛИНИ - МОСТОВСКОГО КЛАССИФИКАЦИЯ — классификация теоретико числовых предикатов, введенная независимо С. Клини [1] и А. Мостовским [2]. Через П 0 и одновременно через е 0 обозначается класс всех рекурсивных предикатов. Для всякого k>0 класс е k определяется как класс всех… …   Математическая энциклопедия

Книги

Другие книги по запросу «Клини С.» >>