第十章 电子计算机与互联网：知识能力的连续封装

一、当“计算机”还是一个人的职位

在电子计算设备成为日常用品之前，“computer”也曾指从事计算的人。美国航空航天机构保存的兰利研究中心历史材料，展示了这些工作者如何使用计算尺、机械计算器和测量记录，将实验数据转为工程研究可以使用的结果。她们并非在没有问题背景的情况下机械处理数字，而要理解程序、核对异常，并掌握与航空研究相关的方法。

这一职业的存在，说明计算能力曾以人的训练、工序分配和组织协作为主要载体。工程师提出需要处理的量，计算员承担大量推算，结果还要回到实验解释和设计活动之中。一个人完成的步骤可以由另一个人检查，一类重复任务可以形成惯用程序。即使尚无电子计算机，计算也已经具有一定封装：表格、方法手册和检查规则使后续工作无需每次从零开始。

电子计算机改变了这个体系中的执行速度与可重复性，却不是把原先只有数字的工作变成有思想的工作。人工计算本来就包含判断，电子计算也仍然依赖问题安排、输入、程序和结果解释。变化发生在这些能力如何分布。某些操作被机器承担之后，人的工作有机会转向更大规模的问题，同时也面临原有岗位被重新定义的压力。

兰利的历史还包含种族与性别隔离。不能把计算员转向程序员的经历只写成技术学习故事，而忽略谁原先能够获得职位、谁受到晋升限制，以及谁的贡献更容易被记录。新的工具扩大活动空间，不保证旧有不平等自动消失。人员能否进入新角色，还需要组织规则改变、同事支持和实际承担任务的机会。

在这里，本书的封装命题已经从肌肉和物理动作进入知识操作。算法步骤能够被程序表达并反复执行，计算经验能够被写进软件，使用者可以取得曾经需要大量人工劳动的结果。与此同时，软件正确性、数值稳定性与问题适用性，又成为新的判断对象。能力没有终止，而是从一个层次转向新的组合。

二、多萝西·沃恩与ENIAC程序员：转型的具体路径

美国航空航天局的多萝西·沃恩传记记载，她在一九四三年进入兰利，一九四九年成为西区计算组负责人。后来，她进入分析与计算部门，成为熟练的FORTRAN程序员并参与相关航天项目。这个过程提供了一个具体的成功转型案例：已有数学与计算经验，在学习新语言和进入新组织后，能够继续发挥作用。

但沃恩的经历不能被压缩成“只要自学就会成功”。她已经拥有数学训练、实际项目经验和对计算任务的深入理解，也承担过人员分配与协作责任。新语言使其中一些能力取得新的实现方式。她的转向同时依赖机构中真实存在的计算需求，以及能够让她进入新工作的组织位置。个人学习与制度机会在这里相互结合。

美国电气与电子工程师学会计算机学会对ENIAC女性程序员的表彰，则记录了凯瑟琳·麦克纳尔蒂、琼·巴蒂克、贝蒂·霍尔伯顿等人的贡献。她们面对的不是后来那种可以直接编写高级语言程序的环境，而是需要理解机器结构并安排运行的早期系统。现代人看似自然的程序设计活动，在当时需要从具体困难中形成。

这一历史改变了我们对“被替代者”与“新职业创造者”的想象。原来承担人工计算的人，可以参与形成电子计算机的使用方法；她们既不是完全位于旧世界，也不是只在新机器成熟后接受培训。部分新专业能力，正是在旧任务与新设备相遇时由实际操作者创造出来。技术转型因此可以发生在工作内部，而不总是由外部新群体完全替换。

不过，成功者更容易留下传记和纪念。没有同样完整记录的人，可能继续人工计算、转入其他行政与技术岗位，也可能退出相关工作。仅凭几位著名人物，无法估计整个群体的转型比例。严谨的历史叙述既承认她们的示范意义，也不把她们用作要求所有人都能够无损跨越的证据。

她们的经历还显示，贡献的可见性需要后来重新建设。一台被展示的计算机容易使制造硬件者成为故事中心，程序、操作与错误处理则可能被放到背景。机构重新整理口述史、文件与个人经历，使系统内部的知识劳动被辨认出来。今天记录人—AI研究贡献时，也需要避免只保留最后输出，而让提出问题、修改定义、发现错误和组织验证的人消失。

三、编译器：把“怎样命令机器”再次封装

电子计算机承担算术之后，编写机器能够执行的程序仍然昂贵。研究者需要把问题分解为适合机器的指令，管理地址和流程，并发现程序中的错误。计算机执行更快，并不意味着程序编写自动变快。计算能力扩张反而使编程成本更加突出，因为人们希望让机器处理更多问题。

计算机历史博物馆保存的FORTRAN材料，包括一九五七年的程序设计和操作手册、设计文件与研究论文。约翰·巴克斯领导的IBM团队开发FORTRAN，使科学计算者能够以较接近公式的形式表达任务，再由系统转换为可执行程序。其历史意义不是取消程序设计，而是把一部分繁琐转换从每位使用者手中移入工具。

这项封装还必须面对性能问题。若高级表达极其方便，却使程序运行代价高到无法承担，用户未必愿意采用。早期编译器工作因而不仅追求能够翻译，还要努力生成有效率的结果。这里再次出现工具成熟的共同结构：使用方便、运行质量与可承担成本必须一起接受检验。单一指标上的漂亮表现不足以建立可靠使用。

格蕾丝·霍珀的早期编译工作与FLOW-MATIC的发展，则从另一侧展示语言如何随任务改变。计算机历史博物馆保存的口述史中，她讨论过为什么商业数据处理者需要更适合自身工作的表达方式。科学公式、商业记录和机器指令之间，并非只有一种必然语言。问题的组织方式影响工具设计，工具又改变更多人能够直接进行哪些工作。

霍珀在这份口述史中还主张，为不同应用发展更多语言，避免把所有任务强行装入过于庞大的通用表达。这是她的设计判断，不是语言研究的共同定论，却展示了共同机器能力可以支持多种工作表达的思想。

她的尝试也曾受阻。据其回忆，团队把试验程序中的词换成法语和德语，演示不同自然语言参与编程的可能，却受到管理及营销人员反对。口述史附载的生涯介绍还记载，一九六四年前后，她的程序开发组在UNIVAC解散；不愿转入管理岗位的霍珀带少数同事到宾夕法尼亚大学继续工作。这些材料没有交代每位组员的去向，不能补写成全体顺利转型。但它们已经说明，技术成果得到承认，也不保证原有团队和研究岗位持续存在。

高级语言由此使使用者与底层机器之间形成新的距离。使用者不必掌握每一个机器指令细节，却仍需理解程序结构、数据和计算限制。这种距离可以提高能力，也可能隐藏错误。成熟实践不是取消抽象层，而是为抽象层建立说明、测试与必要的追踪方法。封装的成功标准，是适当细节可以被信任地省略，同时异常仍能够被调查。

更重要的是，编译器并没有使所有编程者失去价值。它改变了什么编程值得由人承担，并使更多应用能够成立。手工转换某类指令的稀缺性下降，复杂程序设计、编译技术、维护和领域应用却获得新的空间。这里不是一项永久职业保障定律，而是一次具体历史扩展：能力封装在当时与新任务、新用户和新组织共同增长。

四、软件与科学计算：问题规模改变以后，工作也改变

计算机历史博物馆关于一九五七年的时间线，将FORTRAN与早期图像处理等应用并列。这种并列值得注意：工具不是只让原有数值表更快生成，还使不同类型的数据和问题进入计算。图像可以被处理，复杂模型可以被反复运行，研究者可以比较更多条件。能力增长带来的价值，部分来自原来不值得尝试或根本无法负担的活动。

但科学计算不会因为程序能够运行便自动成为可靠科学。输入数据是否适合，离散化是否合理，误差怎样传播，结果是否受算法选择影响，都需要专门研究。计算越大，人工逐步检查越困难，对结构化验证的要求反而越高。于是，数值方法、软件设计与领域知识之间形成新的合作空间，研究者的工作不再只是把纸上公式交给机器照做。

美国航空航天局关于凯瑟琳·约翰逊的传记，记述了约翰·格伦飞行准备过程中人工复核电子计算结果的经历。这里不宜把人工核验塑造成永远优于机器的象征。它反映的是当时具体任务中的信任形成：电子计算系统已经承担重要工作，人们仍需要用已有可靠经验检查关键结果。随着系统被反复检验，使用者侧的判断层级可以继续变化。

软件的复用进一步扩大了封装。一个经过测试的函数可以被不同项目调用，一个算法库可以支持多个领域。程序员不必每次重写全部底层代码，科学家也能够借助接口取得专业计算能力。但复用同时产生依赖：底层错误可能影响多个项目，版本改变可能改变结果，维护中断可能使长期研究难以重复。封装越成功，其公共责任就越重要。

一九六八年在加米施举行的北约软件工程会议，提供了软件工作组织化的另一个历史节点。彼得·瑙尔与布赖恩·兰德尔编辑的会议报告，把设计、生产、服务等问题纳入共同讨论。计算设备已经具有强大能力，开发者却仍面对软件规模、可靠性与交付方面的困难。“软件工程”这一用语的突出，正反映出仅靠个别聪明程序员不能无条件完成越来越复杂的任务。

这个会议的意义并不是从此所有项目都有了统一方法，而是软件失败成为需要公开研究的专业问题。项目为什么难以估计，需求为什么改变，团队怎样协调，程序怎样被维护，这些问题不能由硬件速度提高直接解决。新的封装反而让系统规模增长，使组织缺口更加明显。能力扩张与专业成熟之间，需要有意识的知识建设。

一九六九年IBM将部分软件与服务从硬件价格中分离，是另一个不同性质的变化。亲历者伯顿·格拉德在IEEE计算史刊物中的回忆，把这项决定与软件产品市场的发展联系起来。它提醒我们，新职业和新产业的形成还涉及如何计价与交易。软件此前已经存在，但其是否作为独立产品被购买，会影响企业进入、投资和专业分工的条件。

技术上可以复用，与经济上能够获得维护经费，并不是同一个问题。一项程序若只能被当作设备附属品，其开发者面对的激励不同于直接为用户提供持续服务。计算史中的新行业，因而既有语言和算法的发明，也有商业边界与组织责任的重新划分。对这两类改变作出区分，才能理解工具为何有时先广泛使用，随后才形成稳定的职业结构。

这使软件工作形成多种不同价值。创造新算法是一种贡献，改进实现、写清文档、维护兼容性和发现边界错误也是贡献。它们未必都产生显眼的新产品，却影响许多后续活动能否开展。若只奖励最初开发而不支持长期维护，工具便可能在最被依赖时失去可靠条件。计算史因此不仅是创新史，也是维护劳动逐渐显现的历史。

计算科学的职业扩展也并不取消传统研究。解析结果可以为数值程序提供检查，实验数据可以约束模拟，计算又可以提出解析研究的新猜想。不同方法各有适用范围，在共同问题中彼此修正。工具封装造成的升级，有时正表现为这种方法组合，而不是旧方法被一举宣布过时。

五、互联网：连接能力如何成为新的公共条件

互联网与万维网需要区分。互联网涉及不同网络之间的通信，万维网则在网络基础上组织页面、链接与访问。把二者都归结为某一年一个人的发明，会掩盖长期协议研究、公共投入和多机构协作。互联网学会由多位参与者共同撰写的历史回顾，说明研究网络、协议与使用社群是相互推动的过程。

一九八三年一月一日，ARPANET向TCP/IP的转换，是其中一个清楚的制度与技术节点。互联网学会的纪念资料强调，这需要连接系统共同转换，而不只是某台电脑安装新功能。协议的价值在于不同机器能够按照共同约定交换信息；其采用需要参与者协调时间、设备与操作。连接能力由此成为一种跨组织封装。

美国国家科学基金会关于NSFNET的历史资料，则展示公共支持如何扩大研究网络。该网络在一九八六年开始连接超级计算中心和研究机构，随后经历扩展与向商业网络服务的转变。这里不必把全部互联网发展归因于单一资助机构，但可以明确看到，早期共享条件并不完全来自立即盈利的商业需求。

网络降低远距离交换资料的难度，使合作可以在更多地点之间持续发生。原先需要邮寄、专程访问或依赖特定机构取得的材料，逐渐出现新的访问方式。对于研究者，连接的意义不仅是节省通信时间，也在于改变潜在合作者的范围、资料可以被检查的速度，以及研究问题能够从哪些地方进入讨论。

但接入网络并不等于所有参与者拥有相同能力。设备、带宽、语言、机构许可和使用训练，都影响真实机会。中心节点可能更容易取得资源，边缘机构则可能只是名义接入。网络史因此不能只按连接数量衡量知识公平。判断一个公共工具是否扩大参与，需要进一步看谁能够提出问题、发布结果和取得他人的回应。

协议标准同样兼有开放与限制。共同标准使异质系统连接，却也规定了信息如何表达和传递。某些需求可以在既有标准内扩展，另一些需求则促使协议和应用改变。网络的成功不在于从一开始就穷尽未来用途，而在于保留让不同应用在其上发展的可能。这样的分层，为活动多元化提供了重要条件。

六、万维网：从科研交流工具到可扩展的信息活动

欧洲核子研究中心的官方历史记载，蒂姆·伯纳斯—李在一九八九年提出万维网方案，随后与罗伯特·卡约等人推动实现。最初需求与分布在不同机构的科学家共享信息有关。这里的起点是一项具体协作困难，而不是对后来全部电子商务、媒体和社交活动的预先设计。

早期浏览器与服务器把访问不同信息的若干操作整合起来，使链接成为可以直接使用的行动。用户不必每次先理解远端系统的全部内部安排，就能够进入某份材料。这个界面的简化建立在底层网络、地址与协议上。与电灯开关相似，终端动作越简单，越容易让人忘记背后的技术与组织劳动。

CERN在一九九三年四月三十日将相关软件置于公共领域，是扩散史中的重要决定。该机构关于公开发布的专门回顾说明，这不是一个可以忽略的行政细节。允许他人使用和改进，改变了进入条件；后续浏览器、服务器和标准工作，才能由更广范围的参与者接续。开放并不独自解释全部成功，却构成了重要发生条件。

美国国家超级计算应用中心开发的Mosaic浏览器，则帮助说明用户界面如何影响普及。该中心及伊利诺伊大学保存的项目历史，记载了马克·安德森、埃里克·比纳等人的工作，以及一九九三年的公开发布。网络已经存在，不表示普通使用者能够方便进入；浏览、安装和显示方式的改进，降低了实际使用门槛。底层能力需要经过适当封装，才能成为更广人群的活动条件。

与印刷相比，网络传播降低了某些复制和分发成本，却把检索、筛选、信任与注意力问题推到前面。材料可以更多，读者的时间却有限；发布更容易，可靠性并不会自动提高。于是，新的搜索、编辑、组织和服务活动不断出现。知识能力的封装不仅消除旧任务，也会暴露原先被高成本遮蔽的下一层困难。

这段历史尤其能够说明新行业如何超出最初工具用途。科研资料共享并没有预先列出后来全部应用，但它形成了可以被不同参与者重新使用的条件。新的活动通过试验获得用户，失败的应用退出，部分实践逐渐稳定为服务与职业。多元发生并非任意想象都成功，而是让更多候选有机会进入真实使用与反馈。

七、开放网络与平台集中：能力普及为何仍可能产生依赖

网络把发布和连接能力交给更多人，并不保证资源分配一直分散。当参与者众多时，找到资料、建立信任、支付费用和组织互动变得重要。提供这些功能的服务可能获得规模优势，用户也可能因为已有内容与关系而持续停留。这里的集中并不需要否认底层开放，它可以在开放网络上生长。

要理解这种过程，可以从功能区分入手。拥有发布页面的能力，与拥有被他人发现的机会不同；能够建立个人网站，与能够持续维护、吸引用户和获得收入不同。基础技术降低一个门槛之后，其他门槛会更加显眼。对于知识劳动者，内容生产的成本下降，并不直接决定谁取得阅读、认可或付费。

互联网史中的企业兴衰也不能仅按技术优劣排序。一个产品可能具有良好性能，却缺少分发渠道；一家企业可能快速取得用户，却无法维持收入；一个成熟组织可能因既有业务冲突而迟迟不能改变。讨论新行业发生，应同时追踪价值提供与资源回收。活动可以对用户有益，却尚未形成可持续职业；反过来，商业规模也不等于知识质量。

从个人转型看，网络创造了程序设计、内容组织、技术支持和在线服务等机会，但这些机会要求不同能力。传统编辑可能迁移到数字出版，前提是能够学习新的制作和分发过程；计算人员可能进入数据与软件工作，前提是存在任务和训练。不能因为后来职业种类更多，就推断每个原从业者的收入和自主性都提高。

而且，封装的下一轮会继续影响这些新职业。网页制作工具降低某些编码要求，内容管理系统改变发布劳动，搜索与推荐改变编辑和分发。一次成功迁移，不再意味着此后可以永远停留。计算机与互联网这一组案例，比之前的工具史更清楚地显示连续封装：每一层成熟能力，都可能成为下一层工具改造的对象。

因此，研究者需要保护的不能只是某个当前收费的动作，还包括接续学习、保存资料、理解任务和重建合作的条件。开放格式、资料可导出、可复现流程和公共知识资源，不只是技术偏好，它们影响人在平台变化时能否继续自己的工作。生涯的连续性有时依赖这些平常看起来不如新功能醒目的条件。

八、AI数学与计算机史：联系在哪里，差异在哪里

电子计算、编译器和网络都把一部分知识活动封装为可调用条件，但生成式AI还参与候选表达、解释、程序和猜想的形成。把它仅理解为一台更快的计算器，会低估它改变研究分工的范围；把它理解为已经能够无条件承担全部研究，又会抹去任务差异和验证要求。需要比较的是具体活动，而不是工具名称的宏大程度。

传统程序通常在明确规定的操作结构中执行，生成式模型的输出则可能表现得连贯而缺乏可靠根据。两者可以结合：模型提出候选，程序运行算例，形式化系统检查某些证明步骤，研究者和其他模型展开批评。但每个环节提供什么证据，应保持清楚。可执行代码不证明模型假设适合问题，形式化通过也不自动说明研究目标具有价值。

AI还使封装更容易通过自然语言被调用。使用者不必先掌握全部专业软件语法，就可以开始某些探索。这可能扩大进入人群，也可能使人误以为理解门槛已经消失。一个对象被流畅描述，不等于它具有明确同一性；一个运算被命名，不等于它满足声称的规律。工具降低表达门槛之后，定义与核验工作需要更加自觉地组织。

计算机史不支持把人的未来押在“机器永远不会创造”之上。早期被认为需要专业人工处理的许多环节，后来能够被进一步封装。更稳健的方向，是研究复合体能够共同开展什么新活动，并使人的贡献在这一过程中具体发生。贡献可以是提出问题、形成判断、组织资源、改变目标，也可以是参与新的推演与解释；它不需要先证明机器绝不可能参与同类工作。

同样，过去软件行业的扩张不能证明AI必然为数学家创造足够职位。数学的资金、评价与职业组织不同于软件市场，公共研究收益也不容易全部转化为付费需求。历史提供的是可能机制和必要问题，未来结论仍需调查。若没有新问题、共同体与支持条件，执行能力增强也可能只压低某类成果的稀缺性。

因此，本书主张的典范多元化是一项实践纲领：利用AI降低候选展开成本，使不同对象构成、同一性规则、运算与问题群有机会接受实质检验。它比单纯增加论文数量提出更高要求，因为它必须留下可接续作品。计算机史表明工具能够支持这样的扩张，却不能替代我们实际完成扩张。

九、把连续封装变成连续发生

从人工计算到电子执行，从机器指令到高级语言，从孤立计算到网络协作，再到AI参与候选生成，知识工作经历了多层能力重新安置。每一层都使一些细节可以被暂时省略，也使新的判断问题浮现。工具史因此不是人的判断不断减少直到归零的直线，而是判断位置、颗粒度与承担者持续变化的过程。

一个成熟研究者不需要在所有层次都保持最强的手工执行能力，却需要知道自己的研究依赖什么，哪里可以接受可靠封装，哪里需要重新展开。对于新典范候选，基本定义和代表性后果尚未稳定，就不能过早封装成不可质疑的口号；对于经过充分检验的常规步骤，也不必每次把全部历史重新走一遍。研究效率与创造空间，来自这种分层安排。

共同体则需要允许新活动取得稳定身份。程序、算例、定义库、失败记录和跨模型比较，可以成为论文之外可评估的研究作品。但增加作品类型不意味着取消质量要求，而是使评价能够追踪实际贡献。只有当他人能够理解、复现、批评并继续发展，一项私人探索才逐步转化为公共研究条件。

这一编的十组工具案例，最终把问题带回数学家的未来：当已有能力越来越容易调用，我们是否有组织新活动的能力和条件？工具不会自动给出答案，旧职业也不会因为被尊重就免于变化。可行道路需要历史意识、具体构造和制度建设一起推进。下一编将据此进一步区分产量扩大、同轨竞争与价值转移，辨认新研究阵地怎样真正建立。