Quanta Magazine
@QuantaMagazine
Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
가입 October 2012
615 팔로잉 중 361.8K 팬
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.
더 보기
