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

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.


Episoder(277)

259 - Kenneth Roth: Genocide, Ethnic Cleansing, and How to Shame a Dictator

259 - Kenneth Roth: Genocide, Ethnic Cleansing, and How to Shame a Dictator

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.Kenneth Roth is the Charles and M...

14 Sep 20251h 13min

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 Aug 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 Aug 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 Aug 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 Jul 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 Jul 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 Jun 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 Jun 20253h 5min

Populært innen Vitenskap

fastlegen
tingenes-tilstand
jss
rekommandert
rss-nysgjerrige-norge
liberal-halvtime
forskningno
sinnsyn
villmarksliv
fjellsportpodden
rss-paradigmepodden
rss-overskuddsliv
tomprat-med-gunnar-tjomlid
kvinnehelsepodden
rss-rekommandert
nordnorsk-historie
rss-bondevennen
rss-inn-til-kjernen-med-sunniva-rose
tidlose-historier
abels-tarn