Halley's Comet, Comet Halley, or sometimes simply Halley, officially designated 1P/Halley, is a short-period comet visible from Earth every 75–79 years. Halley is the only known short-period comet that is regularly visible to the naked eye from Earth, and thus the only naked-eye comet that can appear twice in a human lifetime. It last appeared in the inner parts of the Solar System in 1986 and will next appear in mid-2061. Halley's periodic returns to the inner Solar System have been observed and recorded by astronomers around the world since at least 240 BC. But it was not until 1705 that the English astronomer Edmond Halley understood that these appearances were re-appearances of the same comet. As a result of this discovery, the comet is named after Edmond Halley. During its 1986 visit to the inner Solar System, Halley's Comet became the first comet to be observed in detail by spacecraft, providing the first observational data on the structure of a comet nucleus and the mechanism of coma and tail formation. These observations supported a number of longstanding hypotheses about comet construction, particularly Fred Whipple's "dirty snowball" model, which correctly predicted that Halley would be composed of a mixture of volatile ices—such as water, carbon dioxide, ammonia, and dust. The missions also provided data that substantially reformed and reconfigured these ideas; for instance, it is now understood that the surface of Halley is largely composed of dusty, non-volatile materials, and that only a small portion of it is icy. Pronunciation Comet Halley is commonly pronounced , rhyming with valley, or , rhyming with daily. Colin Ronan, one of Edmond Halley's biographers, preferred , rhyming with crawly. Spellings of Halley's name during his lifetime included Hailey, Haley, Hayley, Halley, Hawley, and Hawly, so its contemporary pronunciation is uncertain, but the version rhyming with valley seems to be preferred by current bearers of the surname. Computation of orbit Halley was the first comet to be recognized as periodic. Until the Renaissance, the philosophical consensus on the nature of comets, promoted by Aristotle, was that they were disturbances in Earth's atmosphere. This idea was disproved in 1577 by Tycho Brahe, who used parallax measurements to show that comets must lie beyond the Moon. Many were still unconvinced that comets orbited the Sun, and assumed instead that they must follow straight paths through the Solar System. In 1687, Sir Isaac Newton published his Philosophiæ