Much of his most influential work was on Quine's New Foundations, a set theory with a universal set, but he is most famous for the Kochen–Specker theorem in quantum mechanics, showing that certain types of hidden-variable theories are impossible.He also proved the ordinal partition relation ω2 → (ω2, 3)2, thereby solving a problem of Erdős.Specker received his Ph.D. in 1949 from ETH Zurich,[1] where he remained throughout his professional career.This article about a Swiss scientist is a stub.You can help Wikipedia by expanding it.This article about a European mathematician is a stub.
