BB(5) talk at Collège de France

The Philosophy of Mathematical Practice seminar.