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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
Кліні в 1978
Ім'я при народженні англ. Stephen Cole Kleene
Народився 5 січня 1909(1909-01-05)Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]-1">[1][http://global.britannica.com/biography/Stephen-Cole-Kleene_Encyclopædia_Britannica][[d:Track:Q5375741]]-2">[2][…]
США
Помер 25 січня 1994(1994-01-25)Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]-1">[1][http://global.britannica.com/biography/Stephen-Cole-Kleene_Encyclopædia_Britannica][[d:Track:Q5375741]]-2">[2][…] (85 років)
США
Громадянство США США
Діяльність математик, інформатик, філософ, викладач університету
Галузь математика
Alma mater Принстонський університет
Науковий керівник Алонзо Черч
Знання мов англійська[https://www.idref.fr/031634052_Identifiants_et_Référentiels]_—_[[:fr:Agence_bibliographique_de_l'enseignement_supérieur|ABES]],_2011.[[d:Track:Q47757534]][[d:Track:Q2826570]]-4">[4]CONOR.Sl[[d:Track:Q16744133]]-5">[5]
Заклад Університет Вісконсин-Медісон
Учасник Друга світова війнаАрхів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]-1">[1]
Членство Національна академія наук США і Американська академія мистецтв і наук
Напрямок Інтуїціонізм
Magnum opus Kleene–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Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]-1">[1]
Нагороди
Звання професор

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

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

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

Примітки

[ред. | ред. код]
  1. ↑ Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]
_1-0">а Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]
_1-1">б Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]
_1-2">в Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]
_1-3">г Архів_історії_математики_Мактьютор_—_1994.[[d:Track:Q547473]]