Aunque la bomba de aire había sido inventada por Otto von Guericke en 1650, su coste disuadió a la mayor parte de los científicos contemporáneos de construirla.