Wow! Try again
Tetra Images/Alley
An error in a proof underlying a widely used branch of modern mathematics was accidentally discovered while mathematicians were translating old proofs into a computer language. The mistake was quickly fixed, but mathematicians say it highlights the importance of making the passage. mathematics the computer-readable to capture other potential examples.
Most modern mathematics is in research papers and textbooks, and mathematicians check each other’s work to make sure it is correct. A proof is essentially a social construct – if only mathematicians can make sure that they are the logical steps of a proof…
