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

Share This Post


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…



Source link

Related Posts

Xiaomi SU7 Ultra Coming to Gran Turismo 7 on PlayStation With a Future Update

Xiaomi is joining hands with Japanese video game...

Car Dealerships Are Replacing Phone Staff With AI Voice Agents

The next time you call a car dealership,...

Apple WWDC 2025: What to expect from the upcoming developer conference

Apple's Worldwide Developers Conference (WWDC) will begin on...

This dual-USB 1TB flash drive works on old and new devices

TL;DR: Get 1TB of high-speed, plug-and-play storage that works with almost...

I was seriously impressed by Peugeot E-3008’s range, which is enough for the longest car trips

Peugeot’s current range has something for everyone, including...
- Advertisement -spot_img