アンドレアス・ブラス

アンドレアス・R・ブラス
2008年のブラス
生まれる	1947年10月27日（年齢  ( 1947-10-27 )77) ニュルンベルク[要出典]
国籍	アメリカ人
知られている	集合論、数理論理学、理論計算機科学
科学者としてのキャリア
フィールド	数学者
機関	ミシガン大学
博士課程の指導教員	フランク・ワッテンバーグ

アンドレアス・ラファエル・ブラス（1947年10月27日生まれ）は数学者であり、現在はミシガン大学の教授である。彼は数理論理学、特に集合論と理論計算機科学を研究している。

ブラスはデトロイト大学を卒業し、 1965年にパトナムフェローとなり、 ^[1] 1966年に物理学の理学士号を取得しました。 1970年にハーバード大学でフランク・ワッテンバーグの指導の下で執筆した「限外濾過装置の順序付け」に関する論文で博士号を取得しました。 ^[2] 1970年以降、ミシガン大学に勤務し、最初はTHヒルデブラント研究講師（1970〜72年）、次に助教授（1972〜76年）、准教授（1976〜84年）を務め、1984年からは同大学の教授となっています。

2014年にアメリカ数学会のフェローに就任した。^[3]

1984年にブラスは、あらゆるベクトル空間の基底の存在が選択公理と等価であることを証明し、実数集合論と強制の発展に重要な貢献をした。

ブラスはゲームセマンティクスと線形論理の関係を指摘した最初の人物です。

彼は、数理論理学と理論計算機科学の分野で 200 本以上の研究論文を執筆しており、その中には次のような論文があります。

• ブラス、アンドレアス (1984)、「基底の存在は選択公理を意味する」(PDF)、公理的集合論、現代数学第 31 巻、プロビデンス、ロードアイランド州:アメリカ数学協会、pp. 31–33、ISBN 0-8218-5026-1、MR  0763890
• ブラス、アンドレアス;シェラ、サハロン(1987)。「単純な- および- ポイントがあり、ルディン・カイスラー順序付けが下向きになる可能性がある」。純粋および応用論理学年報。33 : 213–243。doi : 10.1016 / 0168-0072(87)90082-0。hdl : 2027.42/26916。${\displaystyle P_{\aleph _{1}}}$${\displaystyle P_{\aleph _{2}}}$
• ブラス、アンドレアス (1992)。「線形論理のゲーム意味論」。純粋および応用論理の年報。56 ( 1–3 ): 183–220。doi :10.1016/ 0168-0072 (92)90073-9。hdl : 2027.42/30097。
• Blass, Andreas; Gurevich, Yuri (2003). 「アルゴリズム: 絶対定義の探求」(PDF) . Bull. Eur. Assoc. Theor. Comput. Sci. EATCS . 81 : 195–225 . 2008-04-28に閲覧。

ウィキメディア・コモンズには、アンドレアス・ブラスに関連するメディアがあります。

• ブラスのUMのページ