A Simple Formalization And Proof For The Mutilated Chess Board

Logic Journal of the IGPL 9 (3):475-485 (2001)
  Copy   BIBTEX

Abstract

The impossibility of tiling the mutilated chess board has been formalized and verified using Isabelle. The formalization is concise because it is expressed using inductive definitions. The proofs are straightforward except for some lemmas concerning finite cardinalities. This exercise is an object lesson in choosing a good formalization: one at the right level of abstraction

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/9.3.475

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

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

Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
" To be an object" means" to have properties." Thus, any object has at least one property. A good formalization of this simple conclusion is a thesis of second-order logic:(1) Vx3P (Px) This formalization is based on two assumptions:(a) object variables. [REVIEW]Russell'S. Paradox - 2006 - In J. Jadacki & J. Pasniczek (eds.), The Lvov-Warsaw School: The New Generation. Reidel. pp. 6--129.
To test a powerful computer, play an ancient game.George Johnson - manuscript
The reviled art.Stuart Rachels - 2008 - In Benjamin Hale (ed.), Philosophy Looks at Chess. Open Court Press.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
Chess, Imagination, and Perceptual Understanding.Paul Coates - 2013 - Royal Institute of Philosophy Supplement 73:211-242.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Formalization of O Notation in Isabelle/HOL.Kevin Donnelly - unknown
How intellectual is chess? -- a reply to Howard.Merim Bilalić & Peter Mcleod - 2006 - Journal of Biosocial Science 38 (3):419-421.
Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
Proofs and epistemic structure.Glen Helman - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 24.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
Formalization and infinity.André Porto - 2008 - Manuscrito 31 (1):25-43.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
The first formalized proof of the indestructibility of a subsistent form.Edward Nieznański - 2013 - Studies in East European Thought 65 (1-2):65-73.

Analytics

Added to PP
2015-02-04

Downloads
6 (#1,459,986)

6 months
3 (#973,855)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references