Who was the astronomer that invented a diving bell?

Tycho Brahe

William Herschel

Edmund Halley

Edwin Hubble