Template:Are You Sure/February 13

• ... that mathematician David Hilbert was among the first to distinguish between mathematics and metamathematics?

• ... that mathematician John Hadley laid claim to the invention of the octant, two years after Thomas Godfrey claimed the same, and that Hadley also developed ways to make precision aspheric and parabolic objective mirrors for reflecting telescopes?