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.