{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T16:40:03Z","timestamp":1713976803555},"reference-count":20,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2012,5,16]],"date-time":"2012-05-16T00:00:00Z","timestamp":1337126400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer\u2019s 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.<\/jats:p>","DOI":"10.1017\/s1755020312000160","type":"journal-article","created":{"date-parts":[[2012,5,16]],"date-time":"2012-05-16T12:18:47Z","timestamp":1337170727000},"page":"679-686","source":"Crossref","is-referenced-by-count":2,"title":["A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS"],"prefix":"10.1017","volume":"5","author":[{"given":"MOHAMMAD","family":"ARDESHIR","sequence":"first","affiliation":[]},{"given":"RASOUL","family":"RAMEZANIAN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2012,5,16]]},"reference":[{"key":"S1755020312000160_ref16","volume-title":"On Brouwer","author":"van Atten","year":"2004"},{"key":"S1755020312000160_ref5","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093956549"},{"key":"S1755020312000160_ref13","doi-asserted-by":"publisher","DOI":"10.1086\/289721"},{"key":"S1755020312000160_ref6","first-page":"1454","article-title":"The surprise examination paradox and the second incompleteness theorem","volume":"57","author":"Kritchman","year":"2010","journal-title":"Notices of the AMS"},{"key":"S1755020312000160_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-2211-7"},{"key":"S1755020312000160_ref7","doi-asserted-by":"publisher","DOI":"10.1111\/j.2041-6962.2009.tb00088.x"},{"key":"S1755020312000160_ref19","first-page":"265","article-title":"The prediction paradox","volume":"61","author":"Weiss","year":"1952","journal-title":"Mind"},{"key":"S1755020312000160_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-3384-9"},{"key":"S1755020312000160_ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2026960"},{"key":"S1755020312000160_ref15","volume-title":"Constructivism in Mathematics: An Introduction","volume":"1","author":"Troelstra","year":"1988"},{"key":"S1755020312000160_ref20","doi-asserted-by":"publisher","DOI":"10.1093\/019925656X.001.0001"},{"key":"S1755020312000160_ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2024556"},{"key":"S1755020312000160_ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1998.12004847"},{"key":"S1755020312000160_ref3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198505242.001.0001","volume-title":"Elements of Intuitionism","author":"Dummett","year":"2000"},{"key":"S1755020312000160_ref8","unstructured":"Marcoci A. (2010). The surprise examination paradox in dynamic epistemic logic. M.Sc. Thesis, University of Amsterdam."},{"key":"S1755020312000160_ref9","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LVII.227.358"},{"key":"S1755020312000160_ref11","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXII.245.65"},{"key":"S1755020312000160_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"S1755020312000160_ref14","doi-asserted-by":"publisher","DOI":"10.1080\/00048408412341321"},{"key":"S1755020312000160_ref12","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXVII.267.382"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020312000160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T16:27:04Z","timestamp":1713976024000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020312000160\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,16]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["S1755020312000160"],"URL":"https:\/\/doi.org\/10.1017\/s1755020312000160","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,16]]}}}