The Helix Center
The Helix Center
The Helix Center
Mechanization of Math
1 hour 48 minutes Posted Oct 5, 2019 at 12:00 am.
0:00
1:48:06
Download MP3
Show notes

Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ultimate test of validity in mathematics. Some proofs, however, are so long or complex, or both, that they cannot be checked for errors by human experts.… read more »