75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics
Robinson's Podcast13 Huhti 2023

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

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.


Jaksot(276)

258 - Richard Wolff: Donald Trump’s Tariff War Dissected

258 - Richard Wolff: Donald Trump’s Tariff War Dissected

Support our sponsor, FarmKind, to fix factory farming: https://www.farmkind.givingThe code “ROBINSON” will increase your donation by 50% with a bump from large donors.Richard Wolff is Professor Emerit...

31 Elo 20252h 7min

257 - Carl Hart: The Neuroscience of Drugs and Their Role in the Good Life

257 - Carl Hart: The Neuroscience of Drugs and Their Role in the Good Life

Carl Hart is Mamie Phipps Clark Professor of Psychology at Columbia University, where he researches the behavioral and neuropharmacological effects of psychoactive drugs in humans. In this wide-rangin...

17 Elo 20251h 45min

256 - Tim Maudlin: A Masterclass on the Philosophy of Time

256 - Tim Maudlin: A Masterclass on the Philosophy of Time

Tim Maudlin is Professor of Philosophy at NYU and Founder and Director of the John Bell Institute for the Foundations of Physics. This is Tim’s eighth appearance on the show. His second to  last appea...

3 Elo 20253h 8min

255 - Michael Hudson: Trump, China, AI, and the Untold History of Economics

255 - Michael Hudson: Trump, China, AI, and the Untold History of Economics

Michael Hudson is Distinguished Research Professor of Economics at the University of Missouri, Kansas City and President of the Institute for the Study of Long-Term Economic Trends. He researches dome...

20 Heinä 20252h 37min

254 - The Yale US-China Forum: Slavoj Žižek, Richard Wolff, Yannis Varoufakis, Robin Visser, Yascha Mounk, Pei Wang, Daniel Mattingly

254 - The Yale US-China Forum: Slavoj Žižek, Richard Wolff, Yannis Varoufakis, Robin Visser, Yascha Mounk, Pei Wang, Daniel Mattingly

In this special episode, Robinson and Karl Zheng Wang co-host at the Yale US-China Forum. Return guests from the show include Slavoj Žižek, Richard Wolff, and Yascha Mounk. Slavoj Žižek is internation...

6 Heinä 20252h 4min

253 - Peter Zeihan: China’s Fall, America’s Rise, and the End of the World Order

253 - Peter Zeihan: China’s Fall, America’s Rise, and the End of the World Order

Peter Zeihan is a geopolitical analyst, futurist, and best-selling author who researches and strategizes around demography, economics, energy, politics, technology, and security. In this episode, Pete...

22 Kesä 20251h 7min

252 - David Kipping: Alien Civilizations, Megastructures, Spacecraft, and Artificial Intelligence

252 - David Kipping: Alien Civilizations, Megastructures, Spacecraft, and Artificial Intelligence

David Kipping is a Professor of Astronomy at Columbia University, where he runs Cool Worlds Lab and researches planets and moons that revolve around stars other than our own, in addition to his own wo...

8 Kesä 20253h 5min

251 - Eliezer Yudkowsky: Artificial Intelligence and the End of Humanity

251 - Eliezer Yudkowsky: Artificial Intelligence and the End of Humanity

Eliezer Yudkowsky is a decision theorist, computer scientist, and author who co-founded and leads research at the Machine Intelligence Research Institute. He is best known for his work on the alignmen...

25 Touko 20252h 51min

Suosittua kategoriassa Tiede

rss-mita-tulisi-tietaa
tiedekulma-podcast
rss-poliisin-mieli
rss-duodecim-lehti
rss-kasvikutsut
rss-kasvatuspsykologiaa-kaikille
utelias-mieli
docemilia
vinkista-vihia
mielipaivakirja
radio-antro
filocast-filosofian-perusteet
rss-ammamafia
rss-astetta-parempi-elama-podcast
rss-tiedetta-vai-tarinaa
rss-lapsuuden-rakentajat-podcast
rss-lihavuudesta-podcast