71、计算机术语与Unix编辑器知识全解析

计算机术语与Unix编辑器知识全解析

1. 计算机术语与数学的渊源

在学习计算机科学的过程中，你会发现很多计算机术语都源于数学。这背后存在几个重要原因：
- 理论基础 ：早期计算机科学是在20世纪50 - 60年代基于30 - 40年代的数学理论发展起来的。像艾伦·图灵（Alan Turing）、约翰·冯·诺伊曼（John von Neumann）、阿隆佐·丘奇（Alonzo Church）以及库尔特·哥德尔（Kurt Gödel）等数学家的工作为计算机科学奠定了数学基础。
- 人员背景 ：在50 - 60年代，几乎所有的计算机科学家都是数学家，计算机科学曾被视为数学的一个分支，所以先驱们自然会借鉴自己领域的术语来描述新思想。
- 分析需求 ：随着计算机科学的发展，需要大量的分析和形式化工作。数学经过2000多年的研究和形式化，为计算机科学提供了丰富的工具和方法。即便在今天，计算机科学家和程序员在进行抽象和逻辑推理时，仍会大量借鉴数学知识，并且常常会修改数学术语以满足自身需求。

“canonical”这个词就是一个很好的例子，它在不同领域有不同的含义：
|领域|含义|示例|
|----|----|----|
|普通英语|与教会的官方规则集（教规）相关，描述遵循教规的事物|天主教的规范做法|
|数学|指表达数学思想的最简单、最重要的方式|高中学习的求二次方程根的规范公式|
|计算机科学|指做某事最常见、常规的方式|od和hexdump命令中显示二进制数据的规范格式|

2. 文件显示相关问题