nLab
no-go theorem

Idea

A no-go theorem is generally understood to be any theorem, usually in theoretical physics, that shows that an idea is not possible even though it may appear as if it should be. Many no-go theorems include hidden, implicit assumptions.

Examples of no-go theorems in theoretical physics include

• Bell's theorem,

• the Kochen-Specker theorem, and

• Gleason's theorem.