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

244 ratings


More shows like Robinson's Podcast

View all
Closer To Truth by Closer To Truth

Closer To Truth

248 Listeners

Robert Wright's Nonzero by Nonzero

Robert Wright's Nonzero

581 Listeners

Economic Update with Richard D. Wolff by Democracy at Work - Richard D. Wolff

Economic Update with Richard D. Wolff

1,975 Listeners

Philosophy For Our Times by IAI

Philosophy For Our Times

301 Listeners

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

Into the Impossible With Brian Keating

1,048 Listeners

Future of Life Institute Podcast by Future of Life Institute

Future of Life Institute Podcast

108 Listeners

The Michael Shermer Show by Michael Shermer

The Michael Shermer Show

913 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,128 Listeners

Within Reason by Alex J O'Connor

Within Reason

1,558 Listeners

The Origins Podcast with Lawrence Krauss by Lawrence M. Krauss

The Origins Podcast with Lawrence Krauss

507 Listeners

The Jim Rutt Show by The Jim Rutt Show

The Jim Rutt Show

256 Listeners

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

Useful Idiots with Katie Halper and Aaron Maté

4,427 Listeners

Theories of Everything with Curt Jaimungal by Theories of Everything

Theories of Everything with Curt Jaimungal

31 Listeners

Book Club with Jeffrey Sachs by Jeffrey Sachs

Book Club with Jeffrey Sachs

129 Listeners

The Chris Hedges Report by Chris Hedges

The Chris Hedges Report

286 Listeners