2020年2月9日
《构建之法》--读后感3
摘要： 形式符号系统具有一定的数学性质，所以它们非二义性的基础在于其内在的数学结构。越是复杂的数学概念，越是建立在更原始的概念之上，如：集合、命题逻辑。这就是说，形式符号系统可以具有合适的解释，并在理论上足以确保规范的一致性解释。 形式规范是由一些精确的定义组成的，因为其符号系统的含义是明确定义的。相对地， 阅读全文
posted @ 2020-02-09 22:27 晨起 阅读(133) 评论(0) 推荐(0) 编辑