this is something i wish people talked about more - in practice math runs on what you could call a "high-level programming language" and set theory dives into the "low-level programming language"…

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.