Events Tagged: "undecidability"

Turing proves undecidability of halting problem - Mathematical proof that some computational problems cannot be solved algorithmically

Wang proves tiling undecidability - no algorithm can determine if a set of tiles can tile the plane