PhilSci Archive

Why the hardest logic puzzle ever cannot be solved in less than three questions

Wheeler, Gregory and Barahona, Pedro (2012) Why the hardest logic puzzle ever cannot be solved in less than three questions. [Preprint]

[img]
Preview
PDF - Accepted Version
Download (155Kb) | Preview

    Abstract

    Rabern and Rabern (2008) and Uzquiano (2010) have each presented increasingly harder versions of ‘the hardest logic puzzle ever’ (Boolos 1996), and each has provided a two-question solution to his predecessor’s puzzle. But Uzquiano’s puzzle is different from the original and different from Rabern and Rabern’s in at least one important respect: it cannot be solved in less than three questions. In this paper we solve Uzquiano’s puzzle in three questions and show why there is no solution in two. Finally, to cement a tradition, we introduce a puzzle of our own.


    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Preprint
    Additional Information: Published in Journal of Philosophical Logic
    Subjects: Specific Sciences > Computation/Information
    Depositing User: Gregory Wheeler
    Date Deposited: 27 Dec 2012 14:36
    Last Modified: 27 Dec 2012 14:36
    Item ID: 9490
    URI: http://philsci-archive.pitt.edu/id/eprint/9490

    Actions (login required)

    View Item

    Document Downloads