In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? (quantamagazine.org)
		6 points by tzury 58 days ago \| hide \| past \| favorite \| 1 comment

unhandyandy 58 days ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact