💎 Emily Riehl, tunnettu matematiikan professori Johns Hopkinsin yliopistossa: "Formalisointi on muuttanut täysin käsitykseni matematiikasta. Itse asiassa suurin osa siitä johtuu siitä, että se tutustutti minut erilaiseen lähestymistapaan matematiikan perusteisiin." Täysi keskustelu Math, Inc.:n kanssa @jessemhan ja @jdlichtman pian.