Education
Eidgenössische Technische Hochschule Zurich.
mathematician university professor
Eidgenössische Technische Hochschule Zurich.
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őson Specker received his Doctor of Philosophy in 1949 from Eidgenössische Technische Hochschule Zurich, where he remained throughout his professional career.