Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematician

Ernst Specker

Modern

Ernst Paul Specker (11 February 1920 in Zürich to 10 December 2011 in Zürich) 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, which shows that certain types of hidden-variable theories are impossible. He also proved the ordinal partition relation omega squared arrows omega squared and 3, thereby solving a problem of Paul Erdős. He received his doctorate in 1949 from ETH Zürich, where he remained throughout his professional career. His work is documented in a biography at the University of St Andrews, in a 2012 appreciation by Martin Fürer, and in the collection Ernst Specker: Selecta published by Birkhäuser in 1990.

Facts
Biography
Gender
Male 1
Connections

In Branch

Source Wikipedia: Ernst Specker

Proofs Credited

Source Kochen-Specker Theorem (Wikipedia)
In the Other Atlases

Nationality

Also in Geography Atlas: the nationality of this subject.

Sources
1. Wikipedia: Ernst Specker
Lead
Quote, Lead
He also proved the ordinal partition relation ω2 → (ω2, 3)2, thereby solving a problem of Paul Erdős.
View the Source
Kochen-Specker Theorem (Wikipedia)
Wikimedia FoundationProofs Credited: Kochen-Specker Theorem, Lead
Quote, Proofs Credited: Kochen-Specker Theorem, Lead
In quantum mechanics, the Kochen-Specker (KS) theorem, also known as the Bell-KS theorem, is a "no-go" theorem proved by John S. Bell in 1966 and by Simon B. Kochen and Ernst Specker in 1967.
View the Source

Take a Related Quiz

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.