By new "term" I meant to make the clear that this statement points to an operation that cannot be done with the original machine. Instead it calls this new module (say a halting oracle) that didn't exist originally.
Are you trying to express the idea of adding new fundamental "terms" to your language describing things like halting oracles and such? And then discounting their weight by the shortest statement of said term's properties expressed in the language that existed previously to including this additional ...(read more)
I agree that trusting newly formed ideas is risky, but there are several reasons to convey them anyway (non-comprehensive listing):
* To recruit assistance in developing and verifying them
* To convey an idea that is obvious in retrospect, an idea you can be confident in immedi...(read more)
Vote this down for karma balance.
Vote this up if you are the oldest child with siblings.
Vote this up if you are an only child.
Vote this up if you have older siblings.
Poll: Do you have older siblings or are an only child?
I'm thinking of writing up a post clearly explaining update-less decision theory. I have a somewhat different way of looking at things than Wei Dia and will give my interpretation of his idea if there is demand. I might also need to do this anyway in preparation for some additional decision theory I...(read more)
Closely related to your point is the paper, "The Epistemic Benefit of Transient Diversity"
It describes and models the costs and benefits of independent invention and transient disagreement.