Стівен Коул Кліні (англ. Stephen Cole Kleene; 5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій.
Стівен Коул Кліні (Клейні) | |||
---|---|---|---|
Stephen Cole Kleene | |||
Кліні в 1978 | |||
Ім'я при народженні | англ. Stephen Cole Kleene | ||
Народився | 5 січня 1909[1][2][…] США | ||
Помер | 25 січня 1994[1][2][…] (85 років) США | ||
Громадянство | США | ||
Діяльність | математик, інформатик, філософ, викладач університету | ||
Галузь | математика | ||
Alma mater | Принстонський університет | ||
Науковий керівник | Алонзо Черч | ||
Знання мов | англійська[5] | ||
Заклад | Університет Вісконсин-Медісон | ||
Учасник | Друга світова війна[1] | ||
Членство | Національна академія наук США і Американська академія мистецтв і наук | ||
Напрямок | Інтуїціонізм | ||
Magnum opus | d, d, d, d, d, d, d, d, d, зірочка Кліні, d, лямбда-числення і d | ||
Військове звання | d[1] | ||
Нагороди | |||
Звання | професор | ||
Посилання
|
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Stiven Koul Klini angl Stephen Cole Kleene 5 sichnya 1909 25 sichnya 1994 amerikanskij logik i matematik praci yakogo zaklali osnovi teoretichnoyi informatiki Avtor ryadu shiroko vidomih monografij z matematichnoyi logiki osnovah matematiki i teoriyi rekursivnih funkcij Stiven Koul Klini Klejni Stephen Cole KleeneKlini v 1978Im ya pri narodzhenniangl Stephen Cole KleeneNarodivsya5 sichnya 1909 1909 01 05 1 2 SShAPomer25 sichnya 1994 1994 01 25 1 2 85 rokiv SShAGromadyanstvo SShADiyalnistmatematik informatik filosof vikladach universitetuGaluzmatematikaAlma materPrinstonskij universitetNaukovij kerivnikAlonzo CherchZnannya movanglijska 5 ZakladUniversitet Viskonsin MedisonUchasnikDruga svitova vijna 1 ChlenstvoNacionalna akademiya nauk SShA i Amerikanska akademiya mistectv i naukNapryamokIntuyicionizmMagnum opusd d d d d d d d d zirochka Klini d lyambda chislennya i dVijskove zvannyad 1 NagorodiGrant Guggengajma 1949 Premiya Stila 1983 ZvannyaprofesorVislovlyuvannya u Vikicitatah Encyclopaedia Britannica d Track Q5375741 SNAC 2010 d Track Q29861311 Identifiants et Referentiels ABES 2011 d Track Q47757534d Track Q2826570 CONOR Sl d Track Q16744133 ol section PosilannyaKlini na sajti MacTutor Klini na sajti Mathematics Genealogy Project Biografichni memuari avtor Bibliografiya Ce nezavershena stattya pro naukovcya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi