Undecidability of the spectral gap.

Undecidability of the spectral gap.