skolemizer

I can see how this could be confusing, but in mathematics, the phrase "representation theorem" is not specifically about "representation theory". Wikipedia's definition is quite broad:

In mathematics, a representation theorem is a theorem that states that every abstract structure with certain properties is isomorphic to another (abstract or concrete) structure.

The list of examples it gives is probably more useful.

(Adding to the confusion: a famous example of a representation theorem is a corollary of Cayley's Theorem: for every group $G$$,$ there is a... (read more)

• Our Values are (roughly) the yumminess or yearning we feel when imagining something.
• Goodness is (roughly) whatever stuff the memes say one should value.

I do not think this matches my usage of the words "Human Values" or (especially) "Goodness" (nor of the usage of the rare intelligent people whose ethical judgement I trust). The concept of yumminess/yearning is relevant; the concept of popular assertions of what one oughts to yearn for is relevant. But I object to both of these rough definitions on the grounds that they miss many central aspects.

Concr... (read more)