Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

В Википедии есть статьи о других людях с фамилией Клини.
Стивен Коул Клини
Kleene.jpg
Имя при рождении англ. Stephen Cole Kleene
Дата рождения 5 января 1909(1909-01-05)[1][2][3][…]
Место рождения
Дата смерти 25 января 1994(1994-01-25)[1][2][3][…] (85 лет)
Место смерти
Страна
Научная сфера теоретическая информатика
Место работы
Альма-матер
Научный руководитель Алонзо Чёрч[5]
Награды и премии

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

В 1930 окончил Принстонский университет, в 1930–1935 преподавал там же. С 1935 в Висконсинском университете перспективных исследований. В 1966–1967 – директор Математического исследовательского центра.

Член Национальной академии наук США с 1969.

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

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

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

Работы, переведённые на русский язык

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

См. также

Примечания

  1. 1 2 Архив по истории математики Мактьютор
  2. 1 2 Encyclopædia Britannica (англ.)
  3. 1 2 Музей Соломона Гуггенхайма — 1937.
  4. Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
  5. Математическая генеалогия (англ.) — 1997.

Литература

Ссылки

Эта страница в последний раз была отредактирована 3 февраля 2021 в 01:12.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).