A Solution to the Surprise Exam Paradox in Constructive Mathematics

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

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.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020312000160

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Solution to the Surprise Exam Paradox.Ken Levy - 2009 - Southern Journal of Philosophy 47 (2):131-158.
To give a surprise exam, use game theory.Elliott Sober - 1998 - Synthese 115 (3):355-373.
A Dichotomic Analysis of the Surprise Examination Paradox.Paul Franceschi - 2005 - Philosophiques 32 (2):399-421.
Equivocation in the surprise exam paradox.Kenneth G. Ferguson - 1991 - Southern Journal of Philosophy 29 (3):291-302.
The backward induction argument for the finite iterated prisoner's dilemma and the surprise exam paradox.Luc Bovens - 1997 - Analysis 57 (3):179-186.
A Note On the Berry Paradox.Andrew Boucher - unknown
On the constructive notion of closure maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.

Analytics

Added to PP
2013-10-31

Downloads
180 (#225,935)

6 months
18 (#613,156)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Knowledge and its Limits.Timothy Williamson - 2002 - Oxford, GB: Oxford University Press.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
A paradox regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.
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 17 references / Add more references