Synthetic philosophy of contemporary mathematics by Fernando Zalamea in 2012