Iowa Type Theory Commute

By Aaron Stump

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

5

1616 ratings

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about Iowa Type Theory Commute:

How many episodes does Iowa Type Theory Commute have?

The podcast currently has 173 episodes available.

Iowa Type Theory Commute episodes:

November 24, 2019 Computer-checked proofs about software
Computer-checked proofs can ensure properties of software. Discussion of several aspects of this idea.
...more
9min
November 22, 2019 More on Computer-Checked Proofs
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.
...more
14min
November 21, 2019 Computer-checked proofs
First episode of the Iowa Type Theory Commute. The basic idea of computer-checked proofs. The example of the original proof of the Four Color Theorem.
...more
15min

FAQs about Iowa Type Theory Commute:

How many episodes does Iowa Type Theory Commute have?

The podcast currently has 173 episodes available.