Quanta Magazine
@QuantaMagazine
Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
加入 October 2012
617 正在关注 368.2K 粉丝
Kurt Gödel established that for any reasonable set of mathematical axioms, it’s impossible to prove that they won’t eventually lead to contradictions. This meant that mathematicians could never again be certain that their rules were self-consistent.
显示更多
