News for hackers. Stuff that matters.

A comment on Number theorist fears many proofs widely considered to be true are wrong. Parent comment

Re:Number theorist fears many proofs widely considered to be... by YeGoblynQueenne on Monday September 30, 2019 @03:54AM (#21112719)
But formal methods are also supported by theory where any theorems have proofs done by humans, which may contain mistakes. It's humans all the way down, see.
[ Parent | on HN ]

There are no comments on this comment yet.