Expressible inspections
研究了在重复实验中，如何设计可计算的检验来区分真假专家，发现存在一种不可被可计算策略操纵的检验，且能高概率接受真专家。
A decision maker needs predictions about the realization of a repeated experiment in each period. An expert provides a theory that, conditional on each finite history of outcomes, supplies a probabilistic prediction about the next outcome. However, there may be false experts without any knowledge of the data-generating process who deliver theories strategically. Hence, empirical tests for predictions are necessary. A test is manipulable if a false expert can pass the test with a high probability. For tests, as contracts, to be implementable, they have to be computable. Considering only computable tests, we show that there is a test that is not manipulable by any computable strategies and that accepts true experts with high probabilities. In particular, the constructed test is both future independent (Olszewski and Sandroni, 2008) and sequential (Shmaya, 2008). On the other hand, any computable test is manipulable by a strategy that is computable relative to the halting problem. Our conclusion overturns earlier results that future independent tests are manipulable, and shows that computability considerations have significant effects in these problems.