EPISODE · Oct 5, 2019 · 1H 48M
Mechanization of Math
from The Helix Center · host The Helix Center
This roundtable explores the nature of mathematical proof and the growing role of computers and AI in verifying and potentially producing proofs. It considers whether mathematics is a human practice with intrinsic value or a process that can ultimately be automated and entrusted to machines.
Embed this episode
Ready to play
Mechanization of Math
0:00
1:48:06
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of The Helix Center?
This episode is 1 hour and 48 minutes long.
When was this The Helix Center episode published?
This episode was published on October 5, 2019.
Can I download this The Helix Center episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!