Robinson's Podcast

75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics


Listen Later

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:

00:00 In This Episode…

00:40 Introduction

4:48 “Colored Themes” by Jody Azzouni

36:59 The Difference Between Formal and Natural Languages 

1:02:37 The Nature of Mathematical Proof

1:20:36 Can Mathematics Still Have Foundations?

1:26:36 Jody’s Course on Philosophy of Math

1:31:01 Mathematics as a Social Practice

1:37:23 Revolutions in Mathematics 

1:40:35 “February” by Giles Goodland


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. 


...more
View all episodesView all episodes
Download on the App Store

Robinson's PodcastBy Robinson Erhardt

  • 4.7
  • 4.7
  • 4.7
  • 4.7
  • 4.7

4.7

250 ratings


More shows like Robinson's Podcast

View all
Economic Update with Richard D. Wolff by Democracy at Work, Richard D. Wolff

Economic Update with Richard D. Wolff

1,979 Listeners

Robert Wright's Nonzero by Nonzero

Robert Wright's Nonzero

592 Listeners

Philosophy For Our Times by IAI

Philosophy For Our Times

318 Listeners

Closer To Truth by Closer To Truth

Closer To Truth

252 Listeners

Into the Impossible With Brian Keating by Big Bang Productions Inc.

Into the Impossible With Brian Keating

1,062 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,154 Listeners

The Origins Podcast with Lawrence Krauss by Lawrence M. Krauss

The Origins Podcast with Lawrence Krauss

502 Listeners

Useful Idiots with Katie Halper and Aaron Maté by Useful Idiots, LLC

Useful Idiots with Katie Halper and Aaron Maté

4,441 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

90 Listeners

Acid Horizon by Acid Horizon

Acid Horizon

199 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

506 Listeners

Theories of Everything with Curt Jaimungal by Theories of Everything

Theories of Everything with Curt Jaimungal

33 Listeners

Decoding the Gurus by Christopher Kavanagh and Matthew Browne

Decoding the Gurus

961 Listeners

Book Club with Jeffrey Sachs by Jeffrey Sachs

Book Club with Jeffrey Sachs

150 Listeners

The Chris Hedges Report by Chris Hedges

The Chris Hedges Report

332 Listeners