Andreas Raphael Blass (born October 27, 1947) is a mathematician, currently a professor at the

University of Michigan The University of Michigan (U-M, U of M, or Michigan) is a public university, public research university in Ann Arbor, Michigan, United States. Founded in 1817, it is the oldest institution of higher education in the state. The University of Mi ...

. He works in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

, particularly

set theory Set theory is the branch of mathematical logic that studies Set (mathematics), 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 mathema ...

, and

theoretical computer science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

. Blass graduated from the

University of Detroit The University of Detroit Mercy is a private Catholic university in Detroit, Michigan, United States. It is sponsored by both the Society of Jesus (Jesuits) and the Sisters of Mercy. The university was founded in 1877 and is the largest Catho ...

, where he was a

Putnam Fellow The William Lowell Putnam Mathematical Competition, often abbreviated to Putnam Competition, is an annual mathematics competition for undergraduate college students enrolled at institutions of higher learning in the United States and Canada (regar ...

in 1965, in 1966 with a B.S. in

physics Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...

. He received his Ph.D. in 1970 from

Harvard University Harvard University is a Private university, private Ivy League research university in Cambridge, Massachusetts, United States. Founded in 1636 and named for its first benefactor, the History of the Puritans in North America, Puritan clergyma ...

, with a thesis on ''Orderings of Ultrafilters'' written under the supervision of Frank Wattenberg. Since 1970 he has been employed by the University of Michigan, first as a ''T.H. Hildebrandt Research Instructor'' (1970–72), then assistant professor (1972–76), associate professor (1976–84) and since 1984 he has been a full professor there. In 2014, he became a Fellow of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

.List of Fellows of the American Mathematical Society
/ref>

Selected publications and results

In 1984 Blass proved that the existence of a basis for every

vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...

is equivalent to the

axiom of choice In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory. Informally put, the axiom of choice says that given any collection of non-empty sets, it is possible to construct a new set by choosing one element from e ...

. He made important contributions in the development of the set theory of the reals and forcing. Blass was the first to point out connections between

game semantics Game semantics is an approach to Formal semantics (logic), formal semantics that grounds the concepts of truth or Validity (logic), validity on Game theory, game-theoretic concepts, such as the existence of a winning strategy for a player. In this ...

and

linear logic Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the ...

. He has authored more than 200 research articles in mathematical logic and theoretical computer science, including: * * * *

References

External links

Blass's page at UM
Living people 20th-century German mathematicians 21st-century American mathematicians Set theorists University of Detroit Mercy alumni Harvard University alumni University of Michigan faculty Putnam Fellows 1947 births Emigrants from West Germany to the United States Fellows of the American Mathematical Society {{US-mathematician-stub