This week’s Fiddler is about tiling a square with smaller squares. Suppose you have infinitely many 3-by-3 cm tiles and infinitely many 5-by-5 cm tiles. You want to use some of these tiles to precisely cover a square whose side length is a whole number of centimeters. Tiles may not overlap, and they must completely … Continue reading "Tiling squares" The post Tiling squares first appeared on Book Proofs.| Book Proofs
Recently Ashwin Kambhampati, Juuso Toikka and myself were engaged on a project that grew out of Carroll’s robust contracting paper . A byproduct is a new proof of Carroll’s main result …| The Leisure of the Theory Class