💎 Emily Riehl, anerkjent professor i matematikk ved Johns Hopkins University: "Formalisering har fullstendig endret mitt syn på hva matematikk er. Egentlig er det meste av det fordi det gjorde meg kjent med en annen tilnærming til matematikkens grunnlag.» Full samtale med Math, Inc.s @jessemhan og @jdlichtman snart.