ハトがハトの巣の数を超えたとき、鳥たちは二重になることを余儀なくされる。この明らかな声明 — そしてその逆 — は、数学やコンピュータサイエンスの多くの分野に深い関係を持つ。