Ernst Specker

Ernst Paul Specker was a Swiss mathematician. Much of his most influential work was on Willard Van Orman 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 thereby solving a problem of Paul Erdős.
Specker received his Ph.D. in 1949 from ETH Zurich, where he remained throughout his professional career.