Quanta Magazine(@QuantaMagazine):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. https://t.co/rOzVXJUdO9

Quanta Magazine

@QuantaMagazine

Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.

加入 October 2012

617 正在關注 368.2K 粉絲

Quanta Magazine@QuantaMagazine

2026.05.14 20:33

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.