12.4 C
New York

Should all mathematical proofs be checked by a computer?

Published:


Computer proof assistants can verify that mathematical proofs are correct

Shutterstock/Golden Dayz

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or two to tell you about fascinating ideas from their corner of the universe. You can sign up for Lost in Space-Time for free here.

One miserable morning in 2017, in the third year of my tenure-track job as a mathematics professor, I woke up to a worrying email. It was from a colleague and he questioned the …



Source link

Related articles

Recent articles