差分机 (小说)
《差分机》（英语：The Difference Engine）是一部以赫尔曼·何乐礼的打孔卡片、查尔斯·巴贝奇的差分机、爱达·勒芙蕾丝的译文笔记等电脑科技的发展背景架构出来的科幻小说，由威廉·吉布森与布鲁斯·斯特林两人共同撰写而成。故事情节同时穿插了侦探推理与历史惊悚，此书也是蒸汽庞克科幻题材的开山始祖。故事的开头从1855年蒸气的驱动掀起了工业革命，而巴贝奇不断改进他的分析机，加上爱达所提出的新构想，让信息时代提前一个世纪到来。故事主角希比尔（Sybil Gerard）、马洛里（Edward Leviathan Mallory）与奥芬特（Laurence Oliphant）从发现一箱来历不明、可能至人于死地的打孔卡片，开始了他们的冒险，并见证了历史与未来的交会。
| 差分机 | |
|---|---|
 | |
| 作者 | 威廉·吉布森、布鲁斯·斯特林 |
| 类型 | 架空小说, 蒸汽庞克 |
| 语言 | 英语 |
| 故事时代背景 | 1855年  |
| 故事背景地点 | 伦敦 |
| 发行信息 | |
| 出版机构 | 维克多-戈兰茨公司 新星出版社 |
| 出版时间 | 1990年9月 |
| 出版地点 | 美国 |
| 媒介 | 打印 |
| 规范控制 | |
| ISBN | 0-575-04762-3 |
| OCLC | 21299781 |
情节摘要
编辑反机械化的政治交际花希比尔、古生物及探险家马洛里与外交官奥芬特，从发现一箱来历不明、可能至人于死地的打孔卡片，开始了他们的冒险。在这个故事中，许多人都相信打孔卡片就像是个让人连续下注到赢的赌局。这符合了爱达在历史记载中有着赌博的嗜好。直到最后一章，故事才揭露出“打孔卡片”可以表示一个程序的运作，更证明了现实中无法验证的哥德尔定理。爱达为此曾在法国举办一个主题演讲。
笼罩在逆温层下的酷热伦敦，又因为不明恶臭的污染使人更加难以保持冷静（暗引1952年12月的伦敦烟雾）。为了保护这些卡片，马洛里召集他的秘警弟兄们，一齐向使伦敦陷入骚乱的革命军──司运（Swing）上校抗争示威。
起义失败后，奥芬特和希比尔在巴黎的咖啡馆碰面。奥芬特告诉她，他知道她的真实身份，但不会泄漏出去。尽管他正追查的情报会挖出过去玩弄希比尔感情的骗子爱格蒙（Egremont）。不过，爱格蒙现在不只成了上议院布鲁内尔（Brunel）和巴贝奇的眼中钉，他当年抖出来的政治丑闻更毁了奥芬特的议员生涯和贵族身份，对此，希比尔早想报仇。
爱达发表了几篇说明差分机起源的短文，同时作为哥德尔定理的佐证，这就是爱达目前众所皆知的《分析机概念》译文。在爱达父亲的葬礼上，由弗雷泽（Fraser）陪伴着她，在一旁的希比尔仍愤恨不平地无法原谅害死父亲的拜伦勋爵。在小说的最后，以爱达的反乌托邦观点，比喻人类将成为数位洪流中的短小密码。