原始递归函数相关论文
文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念,机制、要素,数据库技术中的数据模型和函数依赖,面向对......
哥德尔定理现在似乎已经越出了数学基础和哲学的范畴而在“当代”的日常数学研究中苏醒过来了。......