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…
You Might Also Like
There are five types of sleep – here’s what that means for your health
Sleep can be experienced very differently from one person to the nextPeopleImages/Shutterstock Different people may experience one of five types...
Your happiness in life may not be U-shaped – here’s how it could vary
Our happiness levels are not constant throughout our livesIppei & Janine Photography/Getty Images The commonly held belief that happiness follows...
Jane Goodall, dogged advocate for the natural world, has died aged 91
Jane Goodall studying the behaviour of a chimpanzee during her research in TanzaniaPenelope Breese/Liaison Renowned conservationist Jane Goodall has died...
Two-in-one inhalers slash asthma attacks among young children
Combination asthma inhalers seem to be the best treatment option for all agesSBDIGIT/Getty Images Inhalers that combine providing immediate relief...