3 ms·
It’s basically a new foundation for math based on types rather than sets.
by empath75 8y ago
It’s basically a new foundation for math based on types rather than sets.
- galaxyLogic 8y agoWhat is the basic difference between types and sets? From the software engineering point of view a type is something of which you can say whether something is a member of the type. And the same thing can be set about sets.
- empath75 8y agohttps://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html https://golem.ph.utexas.edu/category/2013/01/from_set_theory...
- fmihaila 8y agoThe difference lies in the means you have at your disposal to settle the membership question. Even within "Set Theory" (as an umbrella term), there are several axiomatizations of sets that define in different ways what a set is, how sets come into existence, what it means for an element to belong to a set, and what are the allowed ways to conclude that it does or does not. The link posted in a sibling comment by @empath75 goes into more detail.