Mathematics And The Formal Turn