[MINI] Theorem Provers

In this episode, we explore the fascinating world of recommender systems and algorithmic fairness with David Liu, Assistant Research Professor at Cornell University's Center for Data Science for Enterprise and Society. David shares insights from his research on how machine learni ...  Show more

In this episode, Kyle Polich sits down with Cory Zechmann, a content curator working in streaming television with 16 years of experience running the music blog "Silence Nogood." They explore the intersection of human curation and machine learning in content discovery, discussing ...  Show more

Faced with one cake and eight hungry people, it’s pretty obvious how maths underpins reality. But as mathematics gets further from common sense and into seemingly abstract territory, nature still seems to obey its rules - whether in the orbit of a planet, the number of petals ...

Melvyn Bragg and guests discuss an iconic piece of 20th century maths - Gödel’s Incompleteness Theorems. In 1900, in Paris, the International Congress of Mathematicians gathered in a mood of hope and fear. The edifice of maths was grand and ornate but its foundations, called axio ...  Show more

What is mathematics? Does it provide us with "epistemological bedrock" - a finally, once and for all certainly true foundation? What does fallibilism say about any of this? Is mathematical knowledge not immune from error? 

Is there something bigger than infinity? Does quantum mechanics affect how I think? And why can I suddenly do algebra? As ever, we’re not afraid to tackle the big questions on CrowdScience. After a previous episode about the relationship between mathematics and reality, we rec ...