2010年4月29日
读《逻辑的引擎》有感
摘要： 最近看了《逻辑的引擎》，心得写下：（1）计算机的分层理论来自与集合论和系统的不可判定性（不明白为什么，也许是1为什么就是1的问题？待定），因为系统部可判定，但是系统内部是可计算的，所以说需要分层结构建立新的系统证明结构的正确性（2）符号系统是用来证明数学的可证明行的有效工具（3）从存在性转化为符号系统，在转化为编码形式，两个集合之间的对应关系式符号转化系统的基础（4）数学中的集合和定义在集合上的操... 阅读全文
posted @ 2010-04-29 15:59 戈壁的石头 阅读(492) 评论(0) 推荐(0) 编辑