Ernst Specker on:
[Wikipedia]
[Google]
[Amazon]
Ernst Paul Specker (11 February 1920, Zurich – 10 December 2011, Zurich) was a
Biography
at the University of St. Andrews
Ernst Specker (1920-2011)
Martin Fürer, January 25, 2012. * Ernst Specke
Selecta
Birkhauser, 1990. 1920 births 2011 deaths ETH Zurich alumni ETH Zurich faculty Scientists from Zürich Set theorists Swiss mathematicians 20th-century Swiss mathematicians {{Europe-mathematician-stub
Ernst Paul Specker (11 February 1920, Zurich – 10 December 2011, Zurich) was a Swiss
Swiss may refer to:
* the adjectival form of Switzerland
* Swiss people
Places
* Swiss, Missouri
*Swiss, North Carolina
* Swiss, West Virginia
* Swiss, Wisconsin
Other uses
* Swiss-system tournament, in various games and sports
*Swiss Internati ...
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
. Much of his most influential work was on Quine
Quine may refer to:
* Quine (surname), people with the surname ''Quine''
* Willard Van Orman Quine, the philosopher, or things named after him:
** Quine (computing), a program that produces its source code as output
** Quine–McCluskey algorithm, ...
's New Foundations
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of '' Principia Mathematica''. Quine first proposed NF in a 1937 article titled "New Foundation ...
, a set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...
with a universal set, but he is most famous for the Kochen–Specker theorem in quantum mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
, showing that certain types of hidden variable theories
In physics, hidden-variable theories are proposals to provide explanations of quantum mechanical phenomena through the introduction of (possibly unobservable) hypothetical entities. The existence of fundamental indeterminacy for some measurem ...
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
(colloquially)
, former_name = eidgenössische polytechnische Schule
, image = ETHZ.JPG
, image_size =
, established =
, type = Public
, budget = CHF 1.896 billion (2021)
, rector = Günther Dissertori
, president = Joël Mesot
, a ...
, where he remained throughout his professional career.
See also
*Specker sequence
In computability theory, a Specker sequence is a computable, monotonically increasing, bounded sequence of rational numbers whose supremum is not a computable real number. The first example of such a sequence was constructed by Ernst Specker (19 ...
* Baer-Specker group
References
External links
Biography
at the University of St. Andrews
Ernst Specker (1920-2011)
Martin Fürer, January 25, 2012. * Ernst Specke
Selecta
Birkhauser, 1990. 1920 births 2011 deaths ETH Zurich alumni ETH Zurich faculty Scientists from Zürich Set theorists Swiss mathematicians 20th-century Swiss mathematicians {{Europe-mathematician-stub