“Lee Smolin and Roberto Unger propose that mathematics is a human invention that 'evokes' objective truths once a system of rules is established, rather than being a discovery of pre-existing forms.”