WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Стивен Коул Клини
Имя при рождении англ. Stephen Cole Kleene
Дата рождения 5 января 1909(1909-01-05)[1][2][3]
Место рождения
Дата смерти 25 января 1994(1994-01-25)[1][2][3] (85 лет)
Место смерти
Страна
Род деятельности математик, специалист в области информатики, философ, преподаватель университета
Награды и премии

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

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

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

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

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

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

См. также

Это заготовка статьи об учёном-математике. Вы можете помочь проекту, дополнив её.

Примечания

  1. 1 2 Архив по истории математики Мактьютор
  2. 1 2 Encyclopædia Britannica
  3. 1 2 SNAC — 2010.
  4. ↑ Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
  5. ↑ Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека и др. Record #136329632 // Общий нормативный контроль (GND) — 2012—2016.

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии