Abraham Seidenberg [SEP] occupation
Abraham Seidenberg
Abraham Seidenberg (June 2, 1916 – May 3, 1988) was an American mathematician.
Early life.
Seidenberg was born on June 2, 1916 to Harry and Fannie Seidenberg in Washington D.C.. He graduated with a B.A. from the University of Maryland in 1937. He completed his Ph.D. in mathematics from Johns Hopkins University in 1943. His Ph.D. thesis, written under the direction of Oscar Zariski, was on "Valuation Ideals in Rings of Polynomials in Two Variables".
Academic career.
Tarski–Seidenberg theorem
In mathematics, the Tarski–Seidenberg theorem states that a set in ("n" + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto "n"-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities. The theorem—also known as the Tarski–Seidenberg projection property—is named after Alfred Tarski and Abraham Seidenberg. It implies that quantifier elimination is possible over the reals, that is that every formula constructed from polynomial equations and