赫拉克勒斯和九头怪蛇的游戏发明者是劳里·科比(Laurie Kirby)和杰夫·帕里斯(Jeff Paris),一个来自柏鲁克学院,另一来自曼彻斯特大学。1982年,他们发表在《伦敦数学学会快报》( Bulletin of the London Math Society )上的一篇论文证实了两件事情:第一,赫拉克勒斯总是会打败九头蛇怪;第二,现有的数学定理无法证明这一结论。事实上,还有一个更加令人震惊的实情:第十章中提到的九头蛇怪在被砍头后的第二轮中又新长出了两个分支,第三轮时是三个分支,以此类推。它有一个更加凶猛的表亲,它在被砍掉脑袋后的第二轮中又长出了2 2 (也就是4)个分支,第三轮中是 (也就是19683),到第四轮的时候是 (也就是340282366920938463463374607431768211456),如此以此类推下去。然而就算是对抗这个凶残的表亲,不管赫拉克勒斯有多笨,他还是一定会赢。这个例子也是一样,它是真的但却无法证明。对于更加凶猛的九头蛇怪也是如此——实际上,对任何可以用语言描述的九头蛇怪都一样。