Перейти до вмісту

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

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Stephen Kleene)
Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Кліні в 1978
Ім'я при народженніангл. Stephen Cole Kleene Редагувати інформацію у Вікіданих
Народився5 січня 1909(1909-01-05)[1][2][…] Редагувати інформацію у Вікіданих
США
Помер25 січня 1994(1994-01-25)[1][2][…] (85 років) Редагувати інформацію у Вікіданих
США
ГромадянствоСША США
Діяльністьматематик, інформатик, філософ, викладач університету Редагувати інформацію у Вікіданих
Галузьматематика
Alma materПринстонський університет
Науковий керівникАлонзо Черч
Знання мованглійська[4][5] Редагувати інформацію у Вікіданих
ЗакладУніверситет Вісконсин-Медісон
УчасникДруга світова війна[1] Редагувати інформацію у Вікіданих
ЧленствоНаціональна академія наук США і Американська академія мистецтв і наук Редагувати інформацію у Вікіданих
НапрямокІнтуїціонізм Редагувати інформацію у Вікіданих
Magnum opusKleene–Brouwer orderd, Kleene–Rosser paradoxd, Kleene's Od, Church–Kleene ordinald, Kleene's recursion theoremd, Kleene's T predicated, Kleene's theoremd, Kleene's algorithmd, Kleene algebrad, зірочка Кліні, Kleene fixed-point theoremd, лямбда-числення і The foundations of intuitionistic mathematicsd Редагувати інформацію у Вікіданих
Військове званнялейтенант-коммандерd[1] Редагувати інформацію у Вікіданих
Нагороди
Званняпрофесор

Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій.

Його роботи спільно з роботами Алонзо Черча, Курта Геделя і Алана Тюринга дали початок розділу математичної логіки — теорії обчислюваності. Крім того, відомий винаходом регулярних виразів. Його ім'ям названі алгебра Кліні, зірочка Кліні, теорема Кліні про рекурсію, теорема Кліні про нерухому точку, smn-теорема. Працював також в області інтуїціоністської математики Брауера. Вніс важливий вклад до теорії Скінченних автоматів (див. теорема Кліні).

Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?]

Примітки

[ред. | ред. код]
  1. ↑ а б в г д Архів історії математики Мактьютор — 1994.
  2. ↑ а б в Encyclopædia Britannica
  3. ↑ а б в SNAC — 2010.
  4. ↑ Identifiants et Référentiels — ABES, 2011.
  5. ↑ CONOR.Sl

Посилання

[ред. | ред. код]
  • Кліні на сайті MacTutor
  • Кліні на сайті Mathematics Genealogy Project
  • Біографічні мемуари — автор Саундерс Маклейн
  • Бібліографія
  • Інтерв'ю з Кліні та Джоном Барклі Россером щодо їх праці у Принстоні.


науковець Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=Стівен_Коул_Кліні&oldid=42968279