💎 Эмили Риил, известный профессор математики в Университете Джонса Хопкинса: "Формализация полностью изменила мое представление о том, что такое математика. На самом деле, большая часть этого связана с тем, что она познакомила меня с другим подходом к основам математики." Полный разговор с @jessemhan и @jdlichtman из Math, Inc. скоро.