💎 Emily Riehl, giáo sư toán học nổi tiếng tại Đại học Johns Hopkins: “Việc hình thức hóa đã hoàn toàn thay đổi cách nhìn của tôi về toán học. Thực ra, phần lớn điều đó là vì nó đã giúp tôi làm quen với một cách tiếp cận khác đối với nền tảng của toán học.” Cuộc trò chuyện đầy đủ với @jessemhan và @jdlichtman của Math, Inc. sẽ sớm có.