注册 |登录
已有 1788 次阅读 2018-4-28 16:22 |个人分类:学术研究|系统分类:科研笔记| 图灵, 克莱尼, 邹晓辉
如果图灵解决了从数学的算法到物理的操作之间一一对应的双射暨自动转换问题,
那么克莱尼则进一步解决了从数学的算法到语言的符号之间的双射暨一一对应的自动转换问题。-邹晓辉Geneculture
推荐到博客首页
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-27 11:04
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社