于死地的打孔卡片，开始了他们的冒险，并见证了历史与未来的交会。
情节摘要.反机械化的政治交际花希比尔、古生物及探险家马洛里与外交官奥芬特，从发现一箱来历不明、可能至人于死地的打孔卡片，开始了他们的冒险。在这个故事中，许多人都相信打孔卡片就像是个让人连续下注到赢的赌局。这符合了爱达在历史记载中有着赌博的嗜好。直到最后一章，故事才揭露出「打孔卡片」可以表示一个程序的运作，更证明了现实中无法验证的哥德尔定理。爱达为此曾在法国举办一个主题演讲。笼罩在逆温层下的酷热伦敦，又因为不明恶臭的污