Computational Undecidability

concepts · 1 notes linked

Related: Terence Tao · Institute For Advanced Study · Aperiodic Tiling · Mathematical Proof

Notes

• 'Nasty' Geometry Breaks Decades-Old Tiling Conjecture | Quanta Magazine — Greenfeld and Tao disprove periodic tiling conjecture with high-dimensional aperiodic tile