<p>Further discussion of computer-checked proofs, including the example of the proof by Hales and his collaborators of the Kepler Conjecture.  Automath also mentioned.  DAO hack on Ethereum and the interest in cryptocurrency community in computer-checked proofs.</p>

Further discussion of computer-checked proofs, including the example of the proof by Hales and his collaborators of the Kepler Conjecture. Automath also mentioned. DAO hack on Ethereum and the interest in cryptocurrency community in computer-checked proofs.

<p>Further discussion of computer-checked proofs, including the example of the proof by Hales and his collaborators of the Kepler Conjecture.&nbsp; Automath also mentioned.&nbsp; DAO hack on Ethereum and the interest in cryptocurrency community in computer-checked proofs.</p>

More on Computer-Checked Proofs

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share More on Computer-Checked Proofs

Sign up to save your podcasts

More on Computer-Checked Proofs

More on Computer-Checked Proofs