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)

275 - Nate Soares: AI Will Kill Us All If We Don’t Change Course

275 - Nate Soares: AI Will Kill Us All If We Don’t Change Course

Nate Soares is the President of the Machine Intelligence Research Institute, and plays a central role in setting MIRI’s vision and strategy. Soares has been working in the field for over a decade, and...

19 Apr 2h 3min

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

Populært innen Vitenskap

fastlegen
tingenes-tilstand
jss
forskningno
liberal-halvtime
rekommandert
sinnsyn
rss-paradigmepodden
villmarksliv
rss-nysgjerrige-norge
fjellsportpodden
tidlose-historier
diagnose
kvinnehelsepodden
rss-inn-til-kjernen-med-sunniva-rose
nevropodden
nordnorsk-historie
tomprat-med-gunnar-tjomlid
rss-overskuddsliv
rss-hoyt-lavt-med-ida-tonseth