Si è occupato di logica matematica e di teoria degli insiemi con importanti lavori su New Foundations; ma soprattutto i suoi successi si rivelano nell'ambito della meccanica quantistica (teorema di Kochen-Specker).

Altri progetti

Collegamenti esterni