jdh.hamkins.org
The mate-in-n problem of infinite chess is decidable, Cambridge, June 2012
This will be a contributed talk at the Turing Centenary Conference CiE 2012 held June 18-23, 2012 in Cambridge, UK. Abstract. The mate-in-$n$ problem of infinite chess—chess played on an inf…