Andreas Raphael Blass (born October 27, 1947) is a mathematician, currently a professor at the
University of Michigan
, mottoeng = "Arts, Knowledge, Truth"
, former_names = Catholepistemiad, or University of Michigania (1817–1821)
, budget = $10.3 billion (2021)
, endowment = $17 billion (2021)As o ...
. He works in
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
, particularly
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 conce ...
, and
theoretical computer science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumsc ...
.
Blass graduated from the
University of Detroit
The University of Detroit Mercy is a private Roman Catholic university in Detroit, Michigan. 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 Catholic universi ...
, 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 (regard ...
in 1965,
in 1966 with a
B.S.
A Bachelor of Science (BS, BSc, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years.
The first university to admit a student to the degree of Bachelor of Science was the University ...
in
physics
Physics is the natural science that studies matter, its 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 which r ...
. He received his
Ph.D.
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...
in 1970 from
Harvard University
Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of higher le ...
, 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.
List of Fellows of the American Mathematical Society
/ref>
Selected publications and results
In 1984 Blass proved that the existence of a basis
Basis may refer to:
Finance and accounting
* Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
* Basis trading, a trading strategy consisting ...
for every vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
is equivalent to the axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collectio ...
. 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 (german: dialogische Logik, translated as ''dialogical logic'') is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, ...
and linear logic
Linear logic is a substructural logic proposed by 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 logic has also be ...
.
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
German emigrants to the United States
Fellows of the American Mathematical Society
{{US-mathematician-stub