seeing more math on the TL recently. i haven't mathposted in a long time but i'm still happy to field math questions from twitter peeps, just reply here or tag me or w/e. big meaty philosophical questions like "wtf are real numbers anyway" would be particularly fun for me rn
Conversation
Could we replace set theory with typed lambda calculus? And if we can, are there good philosophical reasons for doing so?
1
4
Replying to
some people try to do things like this and broadly it seems like fun to me. broadly i think type theory fits actual mathematical practice much more closely than set theory does. you can google stuff like “type-theoretic foundations for mathematics” (no quotes)