💎 ジョンズ・ホプキンス大学の著名な数学教授エミリー・リール: 「形式化は私の数学に対する見方を完全に変えました。 実際、その多くは数学の基礎に対する異なるアプローチに触れさせてくれたからです。」 Math, Inc.の『@jessemhan』と『@jdlichtman』との完全な対談は近日中に予定されています。