### MF87: Logical weakness in modern pure mathematics

We begin PART II of this video course: "Mathematics on trial - why modern pure mathematics doesn't work". This video outlines the case for the prosecution: that modern pure mathematics suffers from:1. Inconsistent rigour 2. Problematic definitions 3. Reliance on `axioms' 4. Computational weakness5. Impoverished examplesWe give some initial orientation to the first two claims, suggesting that contrary to popular opinion, rigour in mathematics has been on a consistent downward trend in the last few centuries, and give an explicit list of problematic definitions, cutting across many areas of modern pure mathematics. In subsequent videos in this series, we will be substantiating the claims made here. We will also be inviting comments and a wide discussion of these highly contentious, but vitally important, issues.This lecture is part of the MathFoundations series, which tries to lay out proper foundations for mathematics, and will not shy away from discussing the serious logical difficulties entwined in modern pure mathematics. The full playlist is at http://www.youtube.com/playlist?list=PL5A714C94D40392AB&feature=view_all

Length:
27:10