The Mutilated Checkerboard in Set Theory
| Abstract | An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by dominoes each of which covers two rectilinearly adjacent squares. present a set theory description of the proposition and an informal proof that the covering is impossible. While no present system that I know of will accept either formal description or the proof, I claim that both should be admitted in any heavy duty set theory. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesN. Emrah Aydinonat (2007). Models, Conjectures and Exploration: An Analysis of Schelling's Checkerboard Model of Residential Segregation. Journal of Economic Methodology 14 (4):429-454.
George Tourlakis (2003). Lectures in Logic and Set Theory. Volume 2: Set Theory. Cambridge University Press.
Peter Fletcher (1989). Nonstandard Set Theory. Journal of Symbolic Logic 54 (3):1000-1008.
Kazushige Terui (2004). Light Affine Set Theory: A Naive Set Theory of Polynomial Time. Studia Logica 77 (1):9 - 40.
Robert S. Lubarsky & Michael Rathjen (2008). On the Constructive Dedekind Reals. Logic and Analysis 1 (2):131-152.
Karel Lambert (2000). Set Theory and Definite Descriptions. Grazer Philosophische Studien 60:1-11.
Michael Rathjen (1992). A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. Journal of Symbolic Logic 57 (3):954-969.
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
A. Paseau (2003). The Open-Endedness of the Set Concept and the Semantics of Set Theory. Synthese 135 (3):379 - 399.
Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. Synthese 133 (1-2):237 - 255.
Hartley Slater (2003). Aggregate Theory Versus Set Theory. Erkenntnis 59 (2):189 - 202.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
