Robinson's Podcast
Robinson's Podcast
Robinson Erhardt
75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics
1 hour 55 minutes Posted Apr 13, 2023 at 3:30 pm.
In This Episode…
Introduction
“Colored Themes” by Jody Azzouni
The Difference Between Formal and Natural Languages
The Nature of Mathematical Proof
Can Mathematics Still Have Foundations?
Jody’s Course on Philosophy of Math
Mathematics as a Social Practice
Revolutions in Mathematics
“February” by Giles Goodland
0:00
1:55:11
Download MP3
Show notes
Jody Azzouni is Professor of Philosophy at Tufts University. While Jody is best known for his nominalist stance in the philosophy of mathematics, he is also an author of fiction, non-fiction, and poetry. Robinson and Jody discuss one of Jody’s poems in detail before moving on to the philosophy of mathematics and logic. They go over the distinction between natural and formal languages, the roles and varieties of proof in mathematics, and whether mathematics can have foundations. This is Jody’s second appearance on Robinson’s podcast. On his first appearance, episode #45, he and Robinson spoke about the debate between nominalists and platonists in the philosophy of mathematics, Jody’s own deflationary stance, and some adjacent concerns about ontological commitment in both formal and informal languages. His latest book is Attributing Knowledge: What it Means to Know Something (Oxford, 2020).
Jody’s Website: https://jodyazzouni.com
OUTLINE:
Robinson’s Website: http://robinsonerhardt.com
Robinson Erhardt researches symbolic logic and the foundations of mathematics at Stanford University. Join him in conversations with philosophers, scientists, weightlifters, artists, and everyone in-between.