Review of Symbolic Logic 5 (4):679-686 (2012)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020312000160
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

A Paradox Regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
The Secret of My Success.Hans Van Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.
On a so-Called Paradox.W. V. Quine - 1953 - Mind 62 (245):65-67.
The Backward Induction Paradox.Philip Pettit & Robert Sugden - 1989 - Journal of Philosophy 86 (4):169-182.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
90 ( #131,060 of 2,518,449 )

Recent downloads (6 months)
6 ( #116,900 of 2,518,449 )

How can I increase my downloads?


My notes