Why Computer-Checked Proofs are Not Used More in Mathematics
from Iowa Type Theory Commute Hosted by Aaron Stump
Some discussion of why computer-checked proofs have not been adopted more in mathematics. The psychology of telling mathematicians their time-honored method of investigation is inadequate and they need computer-checked proofs. Computer-checked proofs and certainty.
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Iowa Type Theory Commute?
This episode is 9 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on November 27, 2019.
Can I download this Iowa Type Theory Commute episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.