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(276)

274 - Norman Finkelstein: Trump, Netanyahu, Putin, and the War in Iran

274 - Norman Finkelstein: Trump, Netanyahu, Putin, and the War in Iran

Norman's Upcoming Book, Gaza's Gravediggers: https://orbooks.com/catalog/gazas-gravediggers/Norman Finkelstein received his PhD from the Princeton University Politics Department, and is best known for...

29 Mar 1h 35min

273 - Richard Wolff: Iran, Israel, and the End of the American Empire

273 - Richard Wolff: Iran, Israel, and the End of the American Empire

Richard Wolff is Professor Emeritus of Economics at the University of Massachusetts Amherst and a visiting professor at The New School, where he works on economics in the Marxist tradition. This is Ri...

22 Mar 2h 4min

272 - Michael Hudson: Iran, Israel, and World War III

272 - Michael Hudson: Iran, Israel, and World War III

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...

15 Mar 1h 56min

271 - Sara Imari Walker & Lee Cronin: Quantum Physics, Time, and the Origin of Life

271 - Sara Imari Walker & Lee Cronin: Quantum Physics, Time, and the Origin of Life

Sara Imari Walker is Professor in the School of Earth and Space Exploration at Arizona State University, where she is Deputy Director of the Beyond Center. Sara is an astrobiologist and theoretical ph...

1 Mar 1h 58min

270 - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory

270 - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory

Tim Maudlin is Professor of Philosophy at NYU and Founder and Director of the John Bell Institute for the Foundations of Physics. Jacob Barandes is Senior Preceptor in Physics at Harvard University, w...

15 Feb 3h 9min

269 - Scott Aaronson: What Is Quantum Computing?

269 - Scott Aaronson: What Is Quantum Computing?

Scott Aaronson is the Schlumberger Centennial Chair of Computer Science at The University of Texas at Austin, and director of its Quantum Information Center. He researches the capabilities and limits ...

1 Feb 1h 25min

268 - Jeffrey Pfeffer: Power, Influence, and the Psychology of Institutions

268 - Jeffrey Pfeffer: Power, Influence, and the Psychology of Institutions

Jeffrey Pfeffer is the Thomas D. Dee II Professor of Organizational Behavior at the Graduate School of Business, Stanford University where he has taught since 1979. He is the author or co-author of 16...

18 Jan 1h

267 - Lee Cronin: Aliens, Artificial Intelligence, and the Origin of Life

267 - Lee Cronin: Aliens, Artificial Intelligence, and the Origin of Life

Lee Cronin is Regius Chair of Chemistry at the University of Glasgow. Among his many pursuits are the digitization of chemistry, the discovery of alien life, and the creation of artificial life. Lee w...

3 Jan 1h 22min

Populært innen Vitenskap

fastlegen
tingenes-tilstand
rekommandert
rss-rekommandert
jss
sinnsyn
forskningno
abels-tarn
liberal-halvtime
dekodet-2
rss-inn-til-kjernen-med-sunniva-rose
villmarksliv
rss-nysgjerrige-norge
hva-er-greia-med
fjellsportpodden
rss-paradigmepodden
tomprat-med-gunnar-tjomlid
diagnose
vett-og-vitenskap-med-gaute-einevoll
tidlose-historier