In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? (opens in new tab)

(quantamagazine.org)

5 pointstzury20h ago1 comments

1 comments

Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.

j / k navigate · click thread line to collapse

(quantamagazine.org)

5 pointstzury20h ago1 comments

Probably not. Math is getting incredibly complicated, to he point where mathematicians have real worries about the validity of their results.

j / k navigate · click thread line to collapse