作者开篇给出了一个谜题，给定一个初始的字符串以及一些规则，能否得到另一个字符串。迷题的答案无关紧要，侯世达想让我们领略的是关于形式系统的基本概念。比如说：在推导结果过程中产生的结果，我们可以理解为定理——一个日常语言的陈述，并且这个陈述已被逻辑证明为真理。而最初时给的字符串（也是一个定理）即为公理，给定的规则是为推理规则。实际上在我们推理出一些定理之后会很容易发现，从字符串wj是不可能推出wu的。注意这里指的我们是人类，假设我们编写一段程序来寻找wu字符串，很遗憾这将是一个死循环。因为机器是不会观察的，我们则不然，我们会跳出wu系统，从外部评估这个系统的可行性。这正是研究形式系统的关键——区分系统之内的工作和作出对系统的判断以及说明。
集异壁第一章读后感——所谓形式系统
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
- 文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
