3The Math Foundations series is probably the most important Playlist on NJW's Channel Its aim is to encourage a shift in pure mathematics towards a more explicit  computational  and hence logical foundation