News for hackers. Stuff that matters.

A comment on Dividing a Square into 7 Similar Rectangles. Parent comment

Re:Dividing a Square into 7 Similar Rectangles by DeathArrow on Thursday March 09, 2023 @04:41AM (#35079706)
>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness.

What if the algorithms have errors? What if a cosmic ray flips one bit of memory?

[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by cjfd on Thursday March 09, 2023 @05:11AM (#35079856)
100% accuracy will never be achievable. What might be achievable, though, is a higher degree of confidence than we currently have. Of course, the correctness of algorithms should also have to have a computer validated proof.
[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by nkrisc on Thursday March 09, 2023 @08:40AM (#35081029)
> What if the algorithms have errors?

Errors will always happen.

> What if a cosmic ray flips one bit of memory?

Run it several times and compare results until you reach the desired level of statistical certainty.

[ Parent | on HN ]