I think (but am not sure) that treesurgency is replying about a somewhat different point, wherein jokes exist in an interesting space where properly optimizing them involves understanding them through a lens of arbitrariness. (noting that optimization != rationality)
Where, yeah, you can describe the formula of how to optimize a joke (which includes accounting for both predictability and unpredictability in an anti-inductive fashion). But… there’s something like, to tell a good joke, I can imagine it turning out to be the case that you need to at least have access to modalities of thinking that are (as-implemented-in-humans) rooted in arbitrariness.
(Perhaps more generally – yes, all optimization is technically optimization (in the schema sarah articulates in the OP), but sometimes to get certain kinds of creativity, human psychology demands indulging in arbitrariness. Which is not the same thing as irrationality)
(I’m not sure this is true, nor that it’s what treesurgency meant, but it seemed an idea worth considering, and while I’m pretty sure it’s been discussed on LessWrong, I don’t think it’s been addressed through the lens saraconstantin has put forth here)
Are you suggesting that optimization and arbitrariness are somehow at odds? That seems wrong. There can exist multiple optima, such that the choice of them is arbitary (and if the domain is an anti-inductive one, as humor is, then optimization can be a continuous or iterative process of arbitrarily choosing from among multiple available options, such that any one of them is a “correct”, i.e. optimal, choice).
I’m (attempting to) respond through the framework that Sarah put forth, not necessarily because I think it makes most sense ultimately but because in this thread I’m entering a state where I consider the lens as fully as I can.
In that framework, as I understand it, you can have freedom to optimize, or freedom to be arbitrary, and (potentially? not specified in the post?) the freedom to have both, but having both is indeed somewhat contradictory. It’s not impossible but it’s harder.
In particular, freedom for arbitrariness is not just “there are multiple optimal things, and you can arbitrarily pick between them.” It’s the freedom to actively make bad choices according to all your criteria.
And while technically you can argue that this is secretly just another form of optimization, on some humans the psychology motions being made are very different.
Ah, I see, thanks. Yes, I do find the framework given in the OP somewhat odd, and I hadn’t realized you were answering from that perspective. My comments do not really apply in that case, I guess.
I think (but am not sure) that treesurgency is replying about a somewhat different point, wherein jokes exist in an interesting space where properly optimizing them involves understanding them through a lens of arbitrariness. (noting that optimization != rationality)
Where, yeah, you can describe the formula of how to optimize a joke (which includes accounting for both predictability and unpredictability in an anti-inductive fashion). But… there’s something like, to tell a good joke, I can imagine it turning out to be the case that you need to at least have access to modalities of thinking that are (as-implemented-in-humans) rooted in arbitrariness.
(Perhaps more generally – yes, all optimization is technically optimization (in the schema sarah articulates in the OP), but sometimes to get certain kinds of creativity, human psychology demands indulging in arbitrariness. Which is not the same thing as irrationality)
(I’m not sure this is true, nor that it’s what treesurgency meant, but it seemed an idea worth considering, and while I’m pretty sure it’s been discussed on LessWrong, I don’t think it’s been addressed through the lens saraconstantin has put forth here)
Are you suggesting that optimization and arbitrariness are somehow at odds? That seems wrong. There can exist multiple optima, such that the choice of them is arbitary (and if the domain is an anti-inductive one, as humor is, then optimization can be a continuous or iterative process of arbitrarily choosing from among multiple available options, such that any one of them is a “correct”, i.e. optimal, choice).
I’m (attempting to) respond through the framework that Sarah put forth, not necessarily because I think it makes most sense ultimately but because in this thread I’m entering a state where I consider the lens as fully as I can.
In that framework, as I understand it, you can have freedom to optimize, or freedom to be arbitrary, and (potentially? not specified in the post?) the freedom to have both, but having both is indeed somewhat contradictory. It’s not impossible but it’s harder.
In particular, freedom for arbitrariness is not just “there are multiple optimal things, and you can arbitrarily pick between them.” It’s the freedom to actively make bad choices according to all your criteria.
And while technically you can argue that this is secretly just another form of optimization, on some humans the psychology motions being made are very different.
Ah, I see, thanks. Yes, I do find the framework given in the OP somewhat odd, and I hadn’t realized you were answering from that perspective. My comments do not really apply in that case, I guess.