Template:Are You Sure/February 12

• ... that polymath Roger Joseph Boscovich produced a precursor of atomic theory and made many contributions to astronomy, including the first geometric procedure for determining the equator of a rotating planet from three observations of a surface feature and for computing the orbit of a planet from three observations of its position, and that Boscovich discovered the absence of atmosphere on the Moon?

• ... that logician and philosopher Jan Łukasiewicz was a pioneer of post-Aristotelian logic, and that his innovative thinking about the principle of non-contradiction and the law of excluded middle helped establish modern logic?