Computer proof assistants can confirm that mathematical proofs are right
Shutterstock/Golden Dayz
The following is an extract from our Lost in Space-Time publication. Each month, we hand over the keyboard to a physicist or two to inform you about fascinating concepts from their nook of the universe. You can join Lost in Space-Time without spending a dime right here.
One depressing morning in 2017, within the third 12 months of my tenure-track job as a arithmetic professor, I woke as much as a worrying e-mail. It was from a colleague and he questioned the …
Source: www.newscientist.com