안드레아스 블라스

안드레아스 R. 블라스
2008년 3월 아이다호 보이즈에서 열린 "Boise Festaganza in Set Theory BEST 17" 컨퍼런스에서 안드레아스 블라스 교수가 강연하고 있다.
태어난	1947년 10월 27일 뉘른베르크
국적	미국
로 알려져 있다.	이론, 수학 논리, 이론 컴퓨터 과학.
과학 경력
필드	수학자
기관	미시간 대학교
박사학위 자문위원	프랭크 왓텐베르크

안드레아스 라파엘 블라스(Andreas Raphael Blass, 1947년 10월 27일 출생)는 수학자로, 현재 미시간 대학교의 교수다. 그는 수학 논리학, 특히 세트 이론, 이론 컴퓨터 과학 분야에서 일한다.

블래스는 1965년 푸트남 펠로였던 디트로이트 대학을 졸업했고,^[1] 1966년 물리학 학사 학위를 받았다. 그는 1970년 하버드 대학에서 박사학위를 받았으며, 프랭크 왓텐버그의 감독하에 작성된 울트라필터 오더에 관한 논문으로 박사학위를 받았다.^[2] 1970년부터 그는 미시간 대학에 고용되어 왔으며, 처음에는 T.H. 힐데브란트 연구 강사(1970–72)로, 당시 조교수(1972–76), 부교수(1976–84)로, 1984년부터는 미시간 대학에서 전임교수로 재직하고 있다.

2014년, 그는 미국 수학 학회의 펠로우(^[3]Possue of American Mathemical Society)가 되었다.

선택한 게시물 및 결과

1984년에 Blass는 모든 벡터 공간에 대한 기초의 존재가 선택의 공리와 동등하다는 것을 증명했다. 그는 현실과 강요의 세트이론을 발전시키는데 중요한 공헌을 했다.

Blass는 게임 의미론과 선형 논리 사이의 연관성을 가장 먼저 지적했다.

그는 다음과 같은 수학논리와 이론컴퓨터과학 분야의 연구논문을 200편 이상 저술했다.

• Blass, Andreas (1984), "Existence of bases implies the axiom of choice", Axiomatic set theory (PDF), Contemporary Mathematics volume 31, Providence, R.I.: American Mathematical Society, pp. 31–33, ISBN 0-8218-5026-1, MR 0763890
• Blass, Andreas; Shelah, Saharon (1987). "There may be simple ${\displaystyle P_{\aleph _{1}}}$- and ${\displaystyle P_{\aleph _{2}}}$-points and the Rudin–Keisler ordering may be downward directed". Annals of Pure and Applied Logic. 33: 213–243. doi:10.1016/0168-0072(87)90082-0. hdl:2027.42/26916.
• Blass, Andreas (1992). "A game semantics for linear logic". Annals of Pure and Applied Logic. 56 (1–3): 183–220. doi:10.1016/0168-0072(92)90073-9. hdl:2027.42/30097.
• Blass, Andreas; Gurevich, Yuri (2003). "Algorithms: a quest for absolute definitions" (PDF). Bull. Eur. Assoc. Theor. Comput. Sci. EATCS. 81: 195–225. Retrieved 2008-04-28.

참조

외부 링크

위키미디어 커먼즈에는 안드레아스 블래스와 관련된 미디어가 있다.

• UM의 Blass 페이지