Andreas Raphael Blass (born October 27, 1947) is a mathematician, currently a professor at the University of Michigan.
He works in mathematical logic, particularly set theory, and theoretical computer science.
Andreas R. Blass | |
---|---|
Born | October 27, 1947 | (age 76)
Nationality | American |
Known for | set theory, mathematical logic, theoretical computer science |
Scientific career | |
Fields | Mathematician |
Institutions | University of Michigan |
Doctoral advisor | Frank Wattenberg |
Blass graduated from the University of Detroit, where he was a Putnam Fellow in 1965, in 1966 with a B.S. in physics. He received his Ph.D. in 1970 from Harvard University, 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.
In 1984 Blass proved that the existence of a basis for every vector space is equivalent to the axiom of choice. 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 and linear logic.
He has authored more than 200 research articles in mathematical logic and theoretical computer science, including:
This article uses material from the Wikipedia English article Andreas Blass, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Content is available under CC BY-SA 4.0 unless otherwise noted. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki English (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.