Thinking about How and Why We Prove – blog by Evelyn Lamb, Scientific American.

Michael Shulman’s talk “answered one of the questions Hales posed: why don’t more mathematicians use proof assistants? Beyond the fact that proof assistants are currently too unwieldy for many of us, Shulman’s answer was that we do mathematics for understanding, not just truth.”

### Like this:

Like Loading...

*Related*