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

Стівен Коул Кліні (Клейні)
Stephen Cole Kleene
	Кліні в 1978
Ім'я при народженні	англ. Stephen Cole Kleene
Народився	5 січня 1909[…]; США
Помер	25 січня 1994[…] (85 років); США
Громадянство	США
Діяльність	математик, інформатик, філософ, викладач університету
Галузь	математика
Alma mater	Принстонський університет
Науковий керівник	Алонзо Черч
Знання мов	англійська
Заклад	Університет Вісконсин-Медісон
Учасник	Друга світова війна
Членство	Національна академія наук США і Американська академія мистецтв і наук
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 і лямбда-числення
Військове звання	лейтенант-коммандерd
Нагороди	Грант Ґуґґенгайма (1949) Премія Стіла (1983)
Звання	професор
	; Висловлювання у Вікіцитатах; ;

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

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

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

Примітки[ред. | ред. код]

↑ ^а ^б ^в ^г ^д Архів історії математики Мактьютор — 1994.
d:Track:Q547473
↑ ^а ^б ^в Encyclopædia Britannica
d:Track:Q5375741
↑ ^а ^б ^в SNAC — 2010.
d:Track:Q29861311
↑ Identifiants et Référentiels — ABES, 2011.
d:Track:Q47757534 d:Track:Q2826570
↑ CONOR.Sl
d:Track:Q16744133

Посилання[ред. | ред. код]

Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.

[<span_class="wikidata_cite_citetype_Q35127"_data-entity-id="Q547473">Архів_історії_математики_Мактьютор<span_class="wef_low_priority_links">_—_1994.</span></span><div_style="display:none">[[d:Track:Q547473]]</div>-1] а ^б ^в ^г ^д Архів історії математики Мактьютор — 1994.
d:Track:Q547473

[<span_class="wikidata_cite_citetype_Q615699"_data-entity-id="Q5375741">[http://global.britannica.com/biography/Stephen-Cole-Kleene_Encyclopædia_Britannica]<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q5375741]]</div>-2] а ^б ^в Encyclopædia Britannica
d:Track:Q5375741

[<span_class="wikidata_cite_citetype_Q8513_citetype_Q35127_citetype_Q36524_citetype_Q194166"_data-entity-id="Q29861311">SNAC<span_class="wef_low_priority_links">_—_2010.</span></span><div_style="display:none">[[d:Track:Q29861311]]</div>-3] а ^б ^в SNAC — 2010.
d:Track:Q29861311

[<span_class="wikidata_cite_citetype_Q36524_citetype_Q19967801"_data-entity-id="Q47757534">[https://www.idref.fr/031634052_Identifiants_et_Référentiels]<span_class="wef_low_priority_links">_—_[[:fr:Agence_bibliographique_de_l'enseignement_supérieur|ABES]],_2011.</span></span><div_style="display:none">[[d:Track:Q47757534]][[d:Track:Q2826570]]</div>-4] Identifiants et Référentiels — ABES, 2011.
d:Track:Q47757534 d:Track:Q2826570

[<span_class="wikidata_cite_citetype_Q36524"_data-entity-id="Q16744133">CONOR.Sl<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q16744133]]</div>-5] CONOR.Sl
d:Track:Q16744133

[1]

[2]

[4]

[5]

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

Примітки[ред. | ред. код]

Посилання[ред. | ред. код]

Навігаційне меню

Пошук