here's something i wrote recently on stackexchange in response to the question "does every proof need an axiom saying it works?" where i tried to offer some context about the foundational crisis in…
Posters: QiaochuYuan. QiaochuYuan
18 likes recorded by the source corpus.
Topics: Philosophy, Math
View Post: https://x.com/QiaochuYuan/status/1823818893586260108