Guessing a number from prime tests
Source: 2023 Grosman MO, P6
September 8, 2023
number theorycombinatoricsInfo
Problem Statement
Adam has a secret natural number which Eve is trying to discover. At each stage Eve may only ask questions of the form "is a prime number?" for some natural number of her choice.Prove that Eve may discover using finitely many questions.