= 27d567bc2d48d9f40e9ccc20ea370b15)
hairyfigment comments on Suggestions for naming a class of decision theories - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (56)
Snap!
Most of the others just say "better" instead of saying what the desired sort of theory actually does.
Then what do we call decision theories capable of proving statements about self-modification?
You could include them in reflexive decision theories. When formalised, I suspect there may not be much of a distinction between theories that can know about themselves and theories that can modify themselves.
As a mathematician, I prefer using different notations for things until I've proved they're identical. And in this case, I rather suspect they're not.