Article contents
A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS
Published online by Cambridge University Press: 16 May 2012
Abstract
We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves type 2 Turing computability in classical mathematics. We also discuss the backward induction paradox for extensive form games in constructive logic.
- Type
- Research Articles
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2012
References
BIBLIOGRAPHY
- 2
- Cited by