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

May Be Interested In:Sydney commuters warned of train delays today


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

Electric car sales targets could be eased as demand flags
Electric car sales targets could be eased as demand flags
Newcastle: Hexham House tower block demolished
Newcastle: Hexham House tower block demolished
How Prince Harry and Meghan Markle got to the heart of Montecito's 'exclusive social circle'
How Prince Harry and Meghan Markle got to the heart of Montecito’s ‘exclusive social circle’
Former Annapurna Interactive staff reportedly taking over Private Division portfolio following Take-Two sale
Former Annapurna Interactive staff reportedly taking over Private Division portfolio following Take-Two sale
Woman, 41, killed in dog attack in Aberdeen
Woman, 41, killed in dog attack in Aberdeen
'I celebrate Christmas every day – Queen Camilla is one of my biggest fans'
‘I celebrate Christmas every day – Queen Camilla is one of my biggest fans’
Beyond the News: The Stories Behind the Headlines | © 2024 | Daily News