3 ms·
That depends on who you ask. Type theory can also be an independent synthetic foundation atop which you build mathematics.
by zmgsabst 4mo ago
That depends on who you ask.
Type theory can also be an independent synthetic foundation atop which you build mathematics.
- godelski 4mo agoYou can build all of mathematics on type theory? I very much doubt that considering there isn't even a fully unified mathematics. There's holes that don't know how to be bridged between entire subfields. So I'd be impressed if type theory really could do everything, but hey, I don't know