眠り姫問題(ねむりひめもんだい、英: Sleeping Beauty problem)は、決定理論、確率論に関する思考実験である。内容はシンプルでありながら、専門家同士でも答えが分かれるパラドックスでもある。 この問題は1980年代半ばにアーノルド・ズボフ(後に「One Self: The Logic of Experience」[1]として出版された)による未発表の作品で提案され、アダム・エルガによる論文が続いた[2]。記憶の消去を伴う決定問題における信念形成問題の形式的な分析は、ミシェル・ピッチョーネとアリエル・ルービンシュタインの論文によって最初に提案された[3][4]。「眠り姫問題」という名前はロバート・スタルネーカーによって付けられた。ニュースグループrec.puzzlesの1999年の広範な議論で最初に使用された[5]。 実験の参加者である眠り姫は、実験の内容を全て説明され、一