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

Soft Play Bus Essex – Mobile Party Venue on Wheels

In the world of children’s entertainment, creativity and convenience...

Little Glam Queens Rejoice: Pamper Bus Parties Are Here to Wow

A Mobile Spa Experience Designed for Kids’ DelightFor young...

How to Enjoy Grace Bay Turks and Caicos Luxury Without Breaking the Bank

Introduction: Paradise on a BudgetGrace Bay Turks and Caicos...

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...
spot_img