[MINI] Theorem Provers

Ekaterina (Kat) Fedorova from MIT EECS joins us to discuss strategic learning in recommender systems—what happens when users collectively coordinate to game recommendation algorithms. Kat's research reveals surprising findings: algorithmic "protest movements" can paradoxically he ...  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

Rationalism says mathematical knowledge comes from within, from pure thought; empiricism that it comes from without, from experience and observation. Rationalism led Kepler to look for divine design in the universe, and Descartes to reduce all mechanical phenomena to contact mech ...  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?