OK. That makes more sense then. I’m not sure why you call it ‘Fun Theory’ though. It sounds like you intend it to be a theory of ‘the good life’, but a non-hedonistic one. Strangely it is one where people having ‘fun’ in the ordinary sense is not what matters, despite the name of the theory.
This is a moral theory about what should be fun
I don’t think that can be right. You are not saying that there is a moral imperative for certain things to be fun, or to not be fun, as that doesn’t really make sense (at least I can’t make sense of it). You are instead saying that certain conditions are bad, even when the person is having fun (in the ordinary sense). Maybe you are saying that what is good for someone mostly maps to their fun, but with several key exceptions (which the theory then lists).
In any event, I agree with Z.M. Davis that you should capitalize your ‘Fun’ when you are using it in a technical sense, and explaining the sense in more detail or using a different word altogether might also help.
the value of this memory card, was worth more than the rest of the entire observable universe minus the card
I doubt this would be true. I think the value of the card would actually be close to zero (though I’m not completely sure). It does let one solve the halting problem up to 10,000 states, but it does so in time and space complexity O(busy_beaver(n)). In other words, using the entire observable universe as computing power and the card as an oracle, you might be able to solve the halting problem for 7 state machines or so. Not that good… The same goes for having the first 10,000 bits of Omega. What you really want are the bits of Tau, which directly encode whether the nth machine halts. Sure you need exponentially more of them, but your computation is then much faster.