差分機 (小說)

情节摘要

反机械化的政治交际花希比尔、古生物及探险家马洛里与外交官奥芬特，从发现一箱来历不明、可能至人于死地的打孔卡片，开始了他们的冒险。在这个故事中，许多人都相信打孔卡片就像是个让人连续下注到赢的赌局。这符合了爱达在历史记载中有着赌博的嗜好。直到最后一章，故事才揭露出“打孔卡片”可以表示一个程序的运作，更证明了现实中无法验证的哥德尔定理。爱达为此曾在法国举办一个主题演讲。
笼罩在逆温层下的酷热伦敦，又因为不明恶臭的污染使人更加难以保持冷静（暗引1952年12月的伦敦烟雾）。为了保护这些卡片，马洛里召集他的秘警弟兄们，一齐向使伦敦陷入骚乱的革命军──司运（Swing）上校抗争示威。
起义失败后，奥芬特和希比尔在巴黎的咖啡馆碰面。奥芬特告诉她，他知道她的真实身份，但不会泄漏出去。尽管他正追查的情报会挖出过去玩弄希比尔感情的骗子爱格蒙（Egremont）。不过，爱格蒙现在不只成了上议院布鲁内尔（Brunel）和巴贝奇的眼中钉，他当年抖出来的政治丑闻更毁了奥芬特的议员生涯和贵族身份，对此，希比尔早想报仇。
爱达发表了几篇说明差分机起源的短文，同时作为哥德尔定理的佐证，这就是爱达目前众所皆知的《分析机概念》译文。在爱达父亲的葬礼上，由弗雷泽（Fraser）陪伴着她，在一旁的希比尔仍愤恨不平地无法原谅害死父亲的拜伦勋爵。在小说的最后，以爱达的反乌托邦观点，比喻人类将成为数位洪流中的短小密码。