In response to Is an empty set equal to another empty set?, I have another question.

In 'untyped' (regular) mathematics, any two empty sets are equal. The set of invisible hats and the set of straight bananas are the same set (eventhough this means that every invisible hat is a straight banana). In 'typed' mathematics, I would think that the sets are unequal because the first is a set of hats and the second is a set of bananas.

Is there such a thing as 'typed' mathematics?

  • 2
    $\begingroup$ +1 It's always bothered me that people were using my invisible hats for scale. $\endgroup$ – Axoren Feb 27 '15 at 6:45

You're looking for something like Type Theory


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.