会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
滴水成冰的快乐
博客园
首页
新随笔
联系
订阅
管理
04 2010 档案
读《逻辑的引擎》有感
摘要:最近看了《逻辑的引擎》,心得写下:(1)计算机的分层理论来自与集合论和系统的不可判定性(不明白为什么,也许是1为什么就是1的问题?待定),因为系统部可判定,但是系统内部是可计算的,所以说需要分层结构建立新的系统证明结构的正确性(2)符号系统是用来证明数学的可证明行的有效工具(3)从存在性转化为符号系统,在转化为编码形式,两个集合之间的对应关系式符号转化系统的基础(4)数学中的集合和定义在集合上的操...
阅读全文
posted @
2010-04-29 15:59
戈壁的石头
阅读(512)
评论(0)
推荐(0)
编辑
公告
点击右上角即可分享