《超越学科的认知基础》2015秋赵益泉学习报告-第七周
标题
自洽的语言系统与区块链
关键词
正文
Part1 自洽的语言系统
1.一个自洽的语言系统，首先要做到的应该是逻辑自洽；语言系统中又包含各式各样的词语。因此对于一个自洽的语言系统，这些词语需要在特定的环境中具有特定的含义，而且这个含义必须是自洽的、被大家广泛认可的，这些词也因此可以被称为术语。当一个自洽的语言系统形成的时候，范式也就随之形成了。
2.然而，许多正在飞速发展的领域（以及一些已经发展了几十年的领域），有些重要的、本应为术语的名词没有公认的准确含义，所以在这些领域中并没有形成一个自洽的语言系统，也就是说，并没有形成范式。例如人工智能领域，即使是世界上在人工智能领域最著名、最重要的专家，也并不能说清何为智能，何为人工智能。令人惊奇的是，这并没有改变人工智能领域飞速发展的现实和人工智能即将取得广泛应用的预测（Gartner认为，2016年，我们将进入数字化时代，将会重新定义人和机器人的关系。[3]）
3.不过，如果能形成自洽的语言系统、能形成范式的话，当然是更好的。许多人也在孜孜不倦地寻求某些领域语言系统中重要名词的准确含义以弥补某些领域语言系统的漏洞，并取得了不错的进展。比如对于“什么是量子”这个问题，过去并没有人可以准确回答，当然现在也没有，不过现在有些人尝试准确回答，而且他们的想法互相之间已经很接近了。潘建伟在2015杭州云栖大会上说：
“所谓量子，它非常简单：构成物质的基本单元，能量的最基本携带者。”[4]
而张礼在《量子力学前沿》中表示，
量子代表世界最基本的非定域存在，有最小的质量、能量单元，因此在某些条件下……定域信息。（待修改）
这两种论述是相关的，都阐明了量子是一个与物质和能量有关的基本单元。
4.对于“什么是智能”，在“麦克斯韦妖”这一概念的启发下，韩锋博士尝试用物理方法对智能定义，并提出了他的理解：
智能是一种协议（即算法），它可以减少一个系统的熵。
于是按照他的理解，一个混沌分形的协议（算法）可以使系统的熵减少，可以算是智能。
这种对智能的理解很新颖，不过能否被普遍接受还需要时间的检验。
Part2 区块链
在本周的课程上，韩锋博士表示：
区块链将会是一个新的热点。[2]
区块链中最著名的当属比特币系统中的区块链。在比特币中，矿工把区块盖上时间戳，通过全网公证的方式压缩比特币重复支付，以减少造假账行为（因为此时造假账所需成本远远大于收益）。
《Probably Approximately Correct》中写道： In computation the laws are statements, subject to mathematical proof or refutation.[5]
这种可以实现全网公证的算法，实际上相当于现实生活中的法律。这种全网公证的方式，使得比特币成为一种去中心化的货币（相对于其他官方货币多由中央银行控制其发行与流通）。
参考资料
1. Toyhouse.ie.tsinghua.edu.cn. 范式 - Toyhouse WIki. 2015. Available at: http://toyhouse.ie.tsinghua.edu.cn/wiki/index.php?title=%E8%8C%83%E5%BC%8F. Accessed November 1, 2015.
2.教学内容：韩锋 清华学堂109 2015/10/28; 2:20—5:00pm
3. Aiweibang.com. #独家#Gartner预测智能化世界十大未来趋势（30PDF）_新智元-爱微帮. 2015. Available at: http://www.aiweibang.com/yuedu/55881921.html. Accessed November 1, 2015.
4. Toyhouse.ie.tsinghua.edu.cn. 《超越学科的认知基础》2015秋黄致昊学习报告-第七周 - Toyhouse WIki. 2015. Available at: http://toyhouse.ie.tsinghua.edu.cn/wiki/index.php?title=%E3%80%8A%E8%B6%85%E8%B6%8A%E5%AD%A6%E7%A7%91%E7%9A%84%E8%AE%A4%E7%9F%A5%E5%9F%BA%E7%A1%80%E3%80%8B2015%E7%A7%8B%E9%BB%84%E8%87%B4%E6%98%8A%E5%AD%A6%E4%B9%A0%E6%8A%A5%E5%91%8A-%E7%AC%AC%E4%B8%83%E5%91%A8. Accessed November 1, 2015.
5. Valiant L. Probably Approximately Correct. New York: Basic Books; 2013:42.
