数理逻辑在1951年迎来了重大转折点，当时斯蒂芬·科尔·克利 (Stephen Cole Kleene) 描述了有限自动机的运算，为神经网络与数字计算之间提供了基础性的桥梁。这一发展与他对递归函数理论的毕生探索同时发生，使他成为二十世纪理论计算机科学崛起过程中的核心人物。
学术背景
克利1909年出生于哈特福德，早年在阿默斯特学院求学，于1930年毕业。随后他前往普林斯顿大学攻读博士学位，于1934年在阿隆佐·邱奇 (Alonzo Church) 的指导下完成学业。他的学位论文《形式逻辑中的正整数理论》（A Theory of Positive Integers in Formal Logic）标志着一段专注于λ演算的多产时期的开始。在这些形成期，他于1935年加入了威斯康星大学麦迪逊分校，该机构成为了他绝大部分学术生涯的所在地。
计算的基础
克利被认为确立了递归论的形式化，该领域为可计算函数的研究奠定了基础。在20世纪30年代和40年代间，他撰写了基础性的证明，包括递归定理和正规形定理。这些贡献使得对计算过程的精确数学描述成为可能。他在20世纪40年代末和50年代的工作扩展到了算术和超算术层次，而他在1951年为兰德公司 (RAND Corporation) 撰写的备忘录则引入了正则表达式来对有限自动机中的事件进行分类。
服役与直觉主义
第二次世界大战期间，克利在美国海军预备役服役，于1942年至1946年间晋升至少校（Lieutenant Commander）。回到威斯康星大学麦迪逊分校恢复平民生活后，他将系主任和文理学院院长等行政职务与对直觉主义数学的研究结合起来。他的著作，特别是与理查德·韦斯利 (Richard Vesley) 合作编写的著作，为通过递归可实现性解释直觉主义陈述确立了美国标准。
职业遗产
克利于1979年从赛勒斯·C·麦克达菲数学教授（Cyrus C. MacDuffee professor of mathematics）的职位上退休。在四十年间，他指导了13名博士生，并通过阐明哥德尔不完备定理的教科书影响了数代人。他的专业领导职务包括担任符号逻辑协会（Association for Symbolic Logic）以及国际科学史与科学哲学联合会（International Union of History and Philosophy of Science）的主席。1990年，他因所取得的成就被授予国家科学奖章。
快速事实
- 出生：1909年，哈特福德 - 逝世：1994年，麦迪逊 - 教育：阿默斯特学院、普林斯顿大学 - 主要军衔：少校 - 主要领域：理论计算机科学 - 重要奖项：国家科学奖章（1990年） - 专业会员：美国国家科学院
读者提问
### 什么是克利星号？
它是一种数学运算，也称为克利闭包，因其在形式语言理论和理论计算机科学中的作用而以他的名字命名。
### 克利对神经网络的研究做出过贡献吗？
是的，他在1951年开发了一种方法来表征由有限自动机接受的事件，并将其应用于麦卡洛克-皮茨神经网络的研究中。
