| rdfs:comment
| - Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc. (ca)
- ستيفن كول كلين (بالإنجليزية: Stephen Cole Kleene) (5 يناير 1909 - 25 يناير 1994)، عالم رياضيات أمريكي. كان أحد طلاب عالم الرياضيات الأميركي ألونزو تشرتش. عُرفَ كلين جنبًا إلى جنب مع روزا بيتر وآلان تورنغ وإيميل ليون بوست وغيرهم، كمؤسس لفرع المنطق الرياضي المعروف باسم نظرية الحاسوبية، والتي ساعدت لاحقًا في وضع الأسس النظرية لعلوم الحاسوب. أسست أعمال كلين لدراسة الدالة القابلة للحساب. سُميّت العديد من المفاهيم الرياضية باسمه، مثل: التسلسل الهرمي الحسابي لكلين وجبر كلين ونجمة كلين ونظرية كلين الحسابية ونظرية كلين الثابتة. اخترع أيضًا التعابير النمطية في عام 1951 لوصف شبكات مكولوتش-بيتس، وقدّم مساهمات كبيرة في أسس الحدس الرياضي. (ar)
- Ο Στίβεν Κλέινι (Stephen Cole Kleene, 5 Ιανουαρίου 1909 – 25 Ιανουαρίου 1994) ήταν Αμερικανός μαθηματικός. Γεννήθηκε στο Χάρτφορντ του Κονέκτικατ των Η.Π.Α. Ήταν μαθηματικός που έθεσε τις βάσεις για τη θεωρητική υπολογιστική επιστήμη. Είναι ευρέως γνωστός ως ιδρυτής της αναδρομικής θεωρίας, κλάδου της μαθηματικής λογικής. (el)
- Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense. Introdujo la operación Clausura de Kleene, denotada por el símbolo V*. (es)
- Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain. (fr)
- スティーヴン・コール・クリーネ（Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日）は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。クリーネは、正規表現の発明や、アロンゾ・チャーチ、クルト・ゲーデル、アラン・チューリング、エミール・ポストらと共に帰納的関数論という数理論理学の一分野を創始したことで知られる。、クリーネ閉包、クリーネの再帰定理、クリーネ不動点定理の由来になっている。クリーネはまたライツェン・エヒベルトゥス・ヤン・ブラウワーが創始した直観主義に貢献した。 クリーネは自分の姓をクレーニ（['kleɪni]（IPA））と発音していた。英語圏ではクリーニ（['kli:ni]）、クリーン（[kli:n]）などと誤読されることが多く、日本ではクリーネの表記が一般的になってしまっている。 その数理論理学における傑出した業績は、英語圏の論理学者の間に、"Cleanliness is next to godliness"「清潔さは信心深さに次ぐ」をもじって"Kleeneliness is next to Gödeliness"という格言があることにも表れている。 (ja)
- 스티븐 콜 클레이니(영어: Stephen Cole Kleene IPA: [ˈstiːvən koʊl ˈkleɪniː], 1909~1994)는 미국의 수학자이다. (ko)
- Stephen Cole Kleene (ur. 5 stycznia 1909 r. w Hartford w stanie Connecticut, zm. 25 stycznia 1994 r. w Madison w stanie Wisconsin) – amerykański matematyk, jeden z pionierów informatyki teoretycznej. Zasłynął z prac z teorii rekursji, opracowania koncepcji wyrażeń regularnych i teorii funkcji obliczalnych. Z jego nazwiskiem związane są takie pojęcia jak domknięcie Kleene'ego, , oraz . Wniósł również wkład do prac intuicjonistów w matematyce. (pl)
- Stephen Cole Kleene (Hartford, 5 gennaio 1909 – Madison, 25 gennaio 1994) è stato un matematico statunitense che lavorò all'università di Wisconsin-Madison dove predispose le fondamenta dell'informatica teorica.(All'inglese si pronuncia ['klej.ni] (IPA). ['kli.ni] e [klin] sono pronunce errate estremamente comuni). (it)
- Stephen Cole Kleene (Hatford, 5 januari 1909 – Madison, 25 januari 1994) was een Amerikaans wiskundige en theoretisch informaticus. Hij was een student van Alonzo Church en was een van de eersten die zich bezighield met berekenbaarheidstheorie. Hij bedacht reguliere expressies. Verschillende concepten binnen de theoretische informatica zijn naar hem genoemd, zoals de Kleene-ster. (nl)
- Stephen Cole Kleene (Hartford, 5 de janeiro de 1909 — Madison, 25 de janeiro de 1994) foi um matemático estadunidense. Um dos estudantes mais notórios de Alonzo Church, Kleene é reconhecido junto com Alan Turing, Emil Post e outros como um fundador da ramificação da lógica matemática conhecida por teoria da computabilidade. Seu trabalho fundamentou o estudo de que funções são computáveis. Diversos conceitos matemáticos têm seu nome, como a , a álgebra de Kleene, o fecho de Kleene, o teorema da recursão de Kleene e o . Ele também é o inventor das expressões regulares, e foi um líder na defesa do intuicionismo. (pt)
- 斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日－1994年1月25日）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。 (zh)
- Stephen Cole Kleene (5. ledna 1909, Hartford – 25. ledna 1994, Madison) byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky. Spolu s Alonzo Churchem, Alanem Turingem, či Kurtem Gödelem je považován za zakladatele specifické větve matematické logiky, a to tzv. . Obzvláště významná je jeho práce v teorii vyčíslitelnosti. Je po něm pojmenovaných několik matematických konceptů, např. , , nebo Kleeneho hvězdička (také nazývána iterace nebo Kleeneho uzávěr) a s ní úzce související (kladná iterace). Také vynalezl regulární výrazy a spolu s Alonzo Churchem i lambda kalkul. Jeho jméno nesou i a . Byl také průkopníkem . (cs)
- Stephen Cole KLEENE (naskiĝis la 5-an de januaro 1909 en Hartford (Konetikuto); mortis la 25-an de januaro 1994 en Madison (Wisconsin)) estis usona matematikisto, kies laboro pri provizas la fundamenton de teoria komputiko. Kleene doktoriĝis ĉe la Universitato Princeton en 1934. Lia tez-direktoro estis Alonzo Church kaj la titolo de lia tezo estis Teorio de Pozitivaj Entjeroj en Formala Logiko. Poste, Kleene instruis ĉe la universitato ĝis li membriĝis la fakultaton de la Universitato de Viskonsino en 1935. Li fariĝis plena profesoro en 1948 kaj restis tie ĝis emeritiĝo en 1979. (eo)
- Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der Automatentheorie (siehe zum Beispiel Kleenesche Hülle, Lambda-Kalkül, Fixpunktsatz von Kleene, Kleenesche Normalform, regulärer Ausdruck). Kleene war ein erfahrener Bergsteiger. Er war zweimal verheiratet und hatte aus erster Ehe (ab 1942) vier Kinder. (de)
- Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuiti (en)
- Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский математик и логик. В 1930 окончил Принстонский университет, в 1930–1935 преподавал там же. С 1935 в Висконсинском университете перспективных исследований. В 1966–1967 – директор Математического исследовательского центра. Член Национальной академии наук США с 1969. Среди наиболее известных работ, издававшихся на русском языке, — книги «Введение в метаматематику» и «Математическая логика». (ru)
- Стівен Коул Кліні (англ. Stephen Cole Kleene) (5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій. Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?] (uk)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)