Mathematicians found – and fixed – an error in a 60-year-old proof

Share This Post

[ad_1]

Mathematicians found – and fixed – an error in a 60-year-old proof

Oops! Try that again

Tetra Images/Alamy

An error in a proof underlying a widely used branch of modern mathematics was accidentally discovered by mathematicians while translating old proofs to a computer language. The mistake was swiftly fixed, but mathematicians say that the episode highlights the importance of making maths computer-readable to catch other possible examples.

Most modern mathematics resides in research papers and textbooks, and relies on mathematicians checking each other’s work to make sure it is correct. A proof is essentially a social construct – if enough mathematicians are satisfied that the logical steps of a proof are…

[ad_2]

Source link

spot_img

Related Posts

WitchSpin Casino’s Magical Theme: A Unique Gaming Experience

Online casinos today are not just about winning money....

Norwegian Tourists’ Favorite Online Gaming Destinations for Vacation

As the world becomes increasingly interconnected, many Norwegian tourists...

Non-Disclosure Agreement for Franchise Opportunity Discussions

When discussing franchise opportunities, both the franchisor and potential...

ZF 8HP50 Vaidmuo Hibridiniuose ir Elektriniuose Automobiliuose

ZF 8HP50 yra pažangiausia aštuonių pavarų automatinė transmisija, kuri...

Dating Men in Their 30s: What Changes and What Stays the Same

Navigating the world of relationships can be a unique...

The Calorie-a-Day Strategy: Balancing Nutrition and Weight Loss

When it comes to weight loss, the approach to...
spot_img