92 - Joan Bagaria: What Is Set Theory?

92 - Joan Bagaria: What Is Set Theory?

Joan Bagaria is ICREA Research Professor in the Department of Experimental Sciences and Mathematics at the University of Barcelona. He is a mathematical logician who works in set theory, which is the branch of mathematics that not only specializes in the investigation of infinity but serves as the foundation for the rest of mathematics—what this means, and its implications, are explored in the episode. Joan and Robinson discuss all things set theory, beginning with its origins in the mind of Georg Cantor, its development in the 20th century, some philosophical questions, and some current outstanding problems. They also briefly touch on Catalan independence, a topic dear to Joan’s heart. Joan’s Twitter: ⁠https://twitter.com/BagariaJoan⁠ Set Theory: https://plato.stanford.edu/entries/set-theory/ The Early Development of Set Theory: https://plato.stanford.edu/cgi-bin/encyclopedia/archinfo.cgi?entry=settheory-early OUTLINE 00:00 In This Episode… 01:01 Introduction 06:18 Joan and Set Theory 09:11 The Development of Set Theory 21:08 Naive Set Theory and Axiomatic Set Theory 30:52 Zermelo-Fraenkel Set Theory with Choice 46:35 Metaphysics and Epistemology 01:03:06 Set Theory as the Foundation of Mathematics 01:09:48 The Continuum Problem 01:16:13 Settling the Continuum Problem 01:35:21 Alternative Set Theories 01:43:37 Alternative Foundations 01:47:53 Catalan Independence 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)

266 - Annaka Harris: The Fundamentality of Consciousness

266 - Annaka Harris: The Fundamentality of Consciousness

Annaka Harris is the New York Times bestselling author of CONSCIOUS: A Brief Guide to the Fundamental Mystery of the Mind and writer and producer of the audio documentary series, LIGHTS ON. Her work h...

21 Des 20251h 33min

265 - Jacob Barandes: A New Foundation for Quantum Mechanics

265 - Jacob Barandes: A New Foundation for Quantum Mechanics

Jacob Barandes is Senior Preceptor in Physics at Harvard University, where he works widely across the philosophy of physics, with focuses on the foundations of quantum mechanics, the philosophy of spa...

7 Des 20253h 14min

264 - Lee Cronin: The Chemistry of Life

264 - Lee Cronin: The Chemistry 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. In th...

23 Nov 20252h

263 - Sara Imari Walker: Astrobiology, Aliens, and the Origin of Life

263 - Sara Imari Walker: Astrobiology, Aliens, 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...

9 Nov 20251h 47min

262 - Slavoj Žižek: Marxism, Quantum Mechanics, and Artificial Intelligence

262 - Slavoj Žižek: Marxism, Quantum Mechanics, and Artificial Intelligence

Visit our sponsor, Wealthfront!: wealthfront.com/robinsonSlavoj Žižek is international director of the Birkbeck Institute for the Humanities at the University of London, visiting professor at New York...

26 Okt 20251h 38min

261 - Tyler Cowen: The Economics of Artificial Intelligence

261 - Tyler Cowen: The Economics of Artificial Intelligence

Go to https://surfshark.com/robinsonerhardt and use code robinsonerhardt at checkout to get 4 extra months of Surfshark VPN!Tyler Cowen is the Holbert L. Harris Chair of Economics at George Mason Univ...

12 Okt 20251h 7min

260 - Reid Hoffman: Artificial Intelligence and the Future of Humanity

260 - Reid Hoffman: Artificial Intelligence and the Future of Humanity

Reid Hoffman is the co-founder of LinkedIn, Manas AI, and Inflection AI. As an investor at Greylock, he is one of the leading figures in the tech industry, working at the forefront of AI development. ...

28 Sep 20251h 24min

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

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