Comment Comment by ot Another Wang tiles problem I've always been fond of because of its deceptive simplicity is the following:If a finite set of tiles can tile a quadrant of the plane, it can also tile the full plane.One would guess that there is a constructive proof, but in fact the proof relies on a weak version of the axiom of choice (see for example this proof https://caicedoteaching.wordpress.com/2009/08/24/502-konigs-... ). parent ot 8 years ago
If a finite set of tiles can tile a quadrant of the plane, it can also tile the full plane.
One would guess that there is a constructive proof, but in fact the proof relies on a weak version of the axiom of choice (see for example this proof https://caicedoteaching.wordpress.com/2009/08/24/502-konigs-... ).