The IAU screwed up their planet definition 13 years ago today, but we've learned that dwarf planets like Pluto are full-fledged planets, &, numbering over 120, the most common type of planet, ahead of giants & terrestrials. @AlanStern @DrPhiltill @carolynporco @plutokiller
-
2/ A preprint of that paper is available for free download, here: https://arxiv.org/pdf/1805.04115.pdf …
Still, the answer to "How many planets are there?" was 9, not millions. Minor planets were a type of planet, just as dwarf planets are a type of planet, but they weren't included in the count of planets. And no one was crying that Ceres was left out.
