Ernst Specker, 1920-2011

Ernst Specker died on December 10, in Zurich.  He is most well-known for his work on Quine’s New Foundations and the Kochen-Specker Theorem in quantum mechanics. He made significant contributions to many other areas of logic, as well as algebra, topology, and combinatorics.

Specker’s MacTutor biography.