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 hgsgm on Thursday March 09, 2023 @08:59AM (#35081200)
Most mathematicians don't care about being exactly right. They only need to not see a contradiction. Since most pure math is not used for anything except more math, mistakes rarely have consequences.

A computer is only a threat, that might find a mistake that humans miss.

[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by macrolocal on Thursday March 09, 2023 @12:11PM (#35083607)
This (ahem) contradicts my experience. Most mathematicians I’ve met are excited about formal verification, especially the recent progress toward CFT.

Thompson himself has said he’d like his contributions to the classification of finite simple groups verified in his lifetime, and actively followed/encouraged the Coq implementation of his odd order theorem back in 2012.

[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by ogogmad on Thursday March 09, 2023 @01:12PM (#35084560)
> recent progress toward CFT

What's this?

[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by macrolocal on Thursday March 09, 2023 @02:03PM (#35085182)
Buzzard's group at ICL, eg. Ashvni Narayanan.
[ Parent | on HN ]