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

May Be Interested In:UFC 312: Dricus du Plessis outclasses Sean Strickland to retain middleweight title


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…

share Share facebook pinterest whatsapp x print

Similar Content

Scientists point to Andes potato pathogen as origin of Irish famine
Scientists point to Andes potato pathogen as origin of Irish famine
Team Trump Won’t Rule Out This Drastic Move Despite Massive Legal Wins
Team Trump Won’t Rule Out This Drastic Move Despite Massive Legal Wins
EXCLUSIVE: CBFC passes Pushpa 2 – The Rule’s Hindi version 48 hours before release; replaces ‘Ramavatar’ with ‘Bhagwan’ : Bollywood News - Bollywood Hungama
EXCLUSIVE: CBFC passes Pushpa 2 – The Rule’s Hindi version 48 hours before release; replaces ‘Ramavatar’ with ‘Bhagwan’ : Bollywood News – Bollywood Hungama
Josh Welsh Dies: Longtime Film Independent President Battled Cancer
Josh Welsh Dies: Longtime Film Independent President Battled Cancer
Matei Rosca
Andrew Tate’s Recent “Extremely Dangerous” Behavior Could Lead To More Criminal Investigations, Prosecutors Say
2024/25 World Darts Championship schedule: Alexandra Palace final on a Friday as Luke Littler seeks first title
2024/25 World Darts Championship schedule: Alexandra Palace final on a Friday as Luke Littler seeks first title
Breaking Barriers: The Stories that Move Us | © 2024 | Daily News