网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Kleene
释义

Kleene

中文百科

斯蒂芬·科尔·克莱尼 Stephen Cole Kleene

(重定向自Kleene)

斯蒂芬·科尔·克莱尼Stephen Cole Kleene1909年1月5日-1994年1月25日)美国数学家、逻辑学家,出生于美国康涅狄克州的哈特福德。他的递归论研究有助于奠定理论计算机科学的基础,他也是正规表示法的发明者。

英语百科

Stephen Cole Kleene 斯蒂芬·科尔·克莱尼

(重定向自Kleene)

Stephen Cole Kleene /ˈkln/ KLEE-nee (January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with 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 which functions are computable. 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 fixpoint theorem. He also invented regular expressions, and made significant contributions to the foundations of mathematical intuitionism.

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/16 23:05:03