This will be a talk at the Oxford Philosophy of Mathematics Seminar on 30. November 2020. You can look at the slides here.