Sleeping Beauty problem
The Sleeping Beauty problem, also known as the Sleeping Beauty paradox, is a puzzle in decision theory in which an ideally rational epistemic agent is told she will be awoken from sleep either once or twice according to the toss of a coin. Each time she will have no memory of whether she has been awoken before, and is asked what her degree of belief that 'the outcome of the coin toss is Heads' ought to be when she is
Metadata
- Slug: 00415-sleeping-beauty-problem
- Type: PARADOX
- Tags: time, decision
- Sources: 1
Axioms
- Assume the rules of the domain apply uniformly.
- Assume the observer’s criteria remain fixed.
- Assume classification boundaries stay consistent.
- Assume the model describes the real case.
- Assume repeated steps do not change the outcome.
- Assume no hidden variables are introduced midstream.
Contradictions
- Two reasonable lines of inference yield opposite conclusions
- A global rule conflicts with a local judgment
- A stable resolution appears to violate a starting premise
- Changing the framing reverses the outcome
- Intuition and formalism diverge at the same step
Prompts
- Which assumption is doing the most hidden work?
- What changes if you relax the smallest constraint?
- Does the paradox dissolve or relocate when reframed?
- What is conserved, and what is sacrificed?
Notes
Sources
Overview
The Sleeping Beauty problem, also known as the Sleeping Beauty paradox, is a puzzle in decision theory in which an ideally rational epistemic agent is told she will be awoken from sleep either once or twice according to the toss of a coin. Each time she will have no memory of whether she has been awoken before, and is asked what her degree of belief that “the outcome of the coin toss is Heads” ought to be when she is
Tension
- Two reasonable lines of inference yield opposite conclusions.
- A global rule conflicts with a local judgment.
- A stable resolution appears to violate a starting premise.
- Changing the framing reverses the outcome.
- Intuition and formalism diverge at the same step.
Why It Matters
This entry tests how a stable rule-set can yield unstable conclusions under certain assumptions.
Prompts
- Which assumption is doing the most hidden work?
- What changes if you relax the smallest constraint?
- Does the paradox dissolve or relocate when reframed?
- What is conserved, and what is sacrificed?