| dbo:abstract
|
- 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 . Správná výslovnost jména Kleene je / kleɪni ː / (jako anglické "clay-knee"), ne / kli ː ni ː / nebo / kli ː n /. Jeho syn, k tomu řekl: (cs)
- 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. 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 wuchs auf der Farm seines Großvaters in Maine auf (die er auch später übernahm) und studierte am Amherst College (Abschluss 1930 „summa cum laude“). 1934 wurde er an der Princeton University bei Alonzo Church promoviert mit „A Theory of Positive Integers in Formal Logic“. Nach kurzer Lehrtätigkeit in Princeton ging er 1934 an die University of Wisconsin in Madison, wo er 1937 Assistenzprofessor und 1948 Professor wurde und bis zu seiner Emeritierung 1979 blieb. 1942 bis 1946 war er Offizier in der US Navy. Kleene trug wie sein Lehrer Church zur Entwicklung der Theorie der rekursiven Funktionen bei, die von Church in seinem Lambda-Kalkül formalisiert wurden (später in der Programmiersprache Lisp verwandt). Kleene untersuchte in seiner Dissertation insbesondere Churchs Behauptung, dass sein Lambda-Kalkül alle „berechenbaren“ Funktionen liefert, wobei er allgemeinere rekursive Funktionen untersuchte, für die er einen Normalform-Satz bewies. Er fand mehrere Stufen der Berechenbarkeit wie z. B. bei partiell rekursiven Funktionen. Er führte auch eine „arithmetische Hierarchie“ und eine „hyperarithmetische Hierarchie“ für Prädikate ein. 1938 veröffentlichte er einen Fachartikel über das von ihm entwickelte dreiwertige Logiksystem K3. 1954 schrieb er mit Emil Post eine Arbeit über Grade der Unlösbarkeit von mathematischen Problemen. Seit einem Aufenthalt bei der Rand Corporation 1951 interessierte er sich auch für Automaten und verfasste dort einen einflussreichen Bericht, in dem er Ideen von John von Neumann über Rechenmaschinen mit denen über neuronale Netzwerke von Warren McCulloch und Walter Pitts (1949) verband. Kleene war in den USA auch ein führender Vertreter des von Luitzen Egbertus Jan Brouwer begründeten Intuitionismus. 1950 verbrachte er als Guggenheim Fellow in Amsterdam, um bei Brouwer und seinen Schülern dessen Ideen zu studieren. Kleene schrieb zwei weit verbreitete Lehrbücher über mathematische Logik und Metamathematik, in dem er auch eine klare Formulierung von Gödels Theorem gab. 1983 erhielt er den Leroy P. Steele Prize. 1969 wurde er Mitglied der National Academy of Sciences. 1980 wurde er in die American Academy of Arts and Sciences aufgenommen. 1990 erhielt er die National Medal of Science. 1958 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Edinburgh (Mathematical Logic: Constructive and non-constructive operations) und 1950 war er Invited Speaker auf dem ICM in Cambridge (Massachusetts) (Recursive functions and intuitionistic mathematics). Kleene war ein erfahrener Bergsteiger. Er war zweimal verheiratet und hatte aus erster Ehe (ab 1942) vier Kinder. (de)
- Ο Στίβεν Κλέινι (Stephen Cole Kleene, 5 Ιανουαρίου 1909 – 25 Ιανουαρίου 1994) ήταν Αμερικανός μαθηματικός. Γεννήθηκε στο Χάρτφορντ του Κονέκτικατ των Η.Π.Α. Ήταν μαθηματικός που έθεσε τις βάσεις για τη θεωρητική υπολογιστική επιστήμη. Είναι ευρέως γνωστός ως ιδρυτής της αναδρομικής θεωρίας, κλάδου της μαθηματικής λογικής. (el)
- 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. La esplorado de Kleene temis pri la kaj . Li disvolvis la fakon de la teorio de rikuro kun Alonzo Church, Kurt Gödel, Alan Turing, kaj aliaj. Li kontribuis al matematika intuiciismo kiun fondis Luitzen Brouwer. Lia laboro pri la teorio de rikuro helpis provizi la bazojn de teoria komputiko. Per provizi metodojn por determini, kiuj problemoj estas solveblaj, lia laboro kondukis al la studado de kiuj funkcioj povas esti komputataj. La plej konataj libroj de Kleene estas (en la angla) Enkonduko al Matematiko (1952) kaj Matematika Logiko (1967). (eo)
- 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 (/ˈ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 intuitionism. (en)
- 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; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский математик и логик. В 1930 окончил Принстонский университет, в 1930–1935 преподавал там же. С 1935 в Висконсинском университете перспективных исследований. В 1966–1967 – директор Математического исследовательского центра. Член Национальной академии наук США с 1969. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости. Кроме того, известен изобретением регулярных выражений. Его именем названы алгебра Клини, звёздочка Клини, , теорема Клини о неподвижной точке. Работал также в области интуиционистской математики Брауэра. Внёс важный вклад в конечных автоматов (см. теорема Клини). Сам Клини произносил свою фамилию как «Клейни», ошибочная транслитерация «Клини» утвердилась в Советском Союзе в связи с переводов его книг именно под такой фамилией. Среди наиболее известных работ, издававшихся на русском языке, — книги «Введение в метаматематику» и «Математическая логика». (ru)
- 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) (5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики і теорії рекурсивних функцій. Його роботи спільно з роботами Алонзо Черча, Курта Геделя і Алана Тюринга дали початок розділу математичної логіки — теорії обчислюваності. Крім того, відомий винаходом регулярних виразів. Його ім'ям названі , зірочка Кліні, , , smn-теорема. Працював також в області інтуїціоністської математики Брауера. Вніс важливий вклад до Скінченних автоматів (див. ). Сам Кліні вимовляв своє прізвище як «Клейні», помилкова транслітерація «Кліні» затвердилася в СРСР через видання перекладів його книг саме під таким прізвищем.[джерело?] (uk)
- 斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日－1994年1月25日）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。 (zh)
|
| 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)
|
