@jordyd genders are countable, but because sexualities can be defined as P(G2) where G is the countably infinite set of genders, the set of sexualities is uncountably infinite.
this implies the existence of uncomputable sexualities. in this essay, i wi
It has been conjectured in the existing literature on the topic (e.g. @hazel, 2021) that the set of genders may be [at most] countable, but recent developments in representation and type theories have led some to privately speculate this may not be the case. In this paper, we develop a novel technique which we will utilise to construct an injective map from the unit interval into the class of genders, thus concluding that the class of genders is in fact uncountable. We then speculate on the open questions of the precise cardinality of this class, as well as the foundational question of whether the collection of genders is, in fact, a set.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!