Title : ( A Solution to the Surprise Exam Paradox in Constructive Mathematics )
Authors: Mohammad Ardeshir , Rasoul Ramezanian ,
دانلود فایل برای اعضای دانشگاهAccess to full-text not allowed by authors
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.
Keywords
, Type 2 Turing machine, paradox
@article{paperid:1053933,
author = {Mohammad Ardeshir and Ramezanian, Rasoul},
title = {A Solution to the Surprise Exam Paradox in Constructive Mathematics},
journal = {Review of Symbolic Logic},
year = {2012},
volume = {5},
number = {4},
month = {December},
issn = {1755-0203},
pages = {679--686},
numpages = {7},
keywords = {Type 2 Turing machine; paradox},
}
%0 Journal Article
%T A Solution to the Surprise Exam Paradox in Constructive Mathematics
%A Mohammad Ardeshir
%A Ramezanian, Rasoul
%J Review of Symbolic Logic
%@ 1755-0203
%D 2012
