EPISODE · Nov 17, 2021 · 14 MIN
Introduction to Ordinal Analysis
from Iowa Type Theory Commute · host Aaron Stump
Ordinal analysis is an important branch of proof theory, which seeks to compare, quantitatively, the strengths of different proof systems. The quantities in question are ordinals, which extend the ordering character of natural numbers into the infinite. In this episode, I discuss these ideas a bit further, and also review a little the ordinals up to epsilon 0.
Embed this episode
Ready to play
Introduction to Ordinal Analysis
0:00
14:37
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 Iowa Type Theory Commute?
This episode is 14 minutes long.
When was this Iowa Type Theory Commute episode published?
This episode was published on November 17, 2021.
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.
URL copied to clipboard!