核心:判断 p⇒ q 与 q⇒ p 的真假。
一群身份根本不是数学家的人,在做着同样硬的东西。
沈括是官员、郭守敬是水利家、程大位是商人、梅文鼎是布衣。这几个人做数学的身份不是"数学家"——他们的数学长在公务、历法和生意里,不在经院的书斋里。