1965年のパットナム・フェローであるアンドレアス・ラファエル・ブラスは、数理論理学と理論計算機科学を中心とした専門的キャリアを築いてきました。1947年にニュルンベルクで生まれ、アメリカ合衆国の市民権を保持しており、50年以上にわたり集合論の厳密な研究に貢献し、現代数学の枠組みの発展における重要な人物としての地位を確立しています。
学術的基盤
ブラスはデトロイト大学で正式な教育を開始し、1966年に物理学の理学士号を取得しました。この期間中、1965年にパットナム・フェローとして認定されました。その後、ハーバード大学で大学院教育を受け、1970年に博士号を取得しました。博士論文の研究は、フランク・ワッテンバーグの指導の下、超フィルターの順序付けに焦点を当てたものでした。
専門職としての経歴
1970年以来、ブラスはミシガン大学と一貫して関わりを持っています。彼のキャリアは、T.H.ヒルデブラント研究インストラクターとしての2年間の任命から始まりました。その後、教員として昇進し、1972年から1976年まで助教授、1976年から1984年まで准教授を務めました。1984年からは正教授の職にあります。
研究への貢献
彼の研究ポートフォリオには200本以上の論文が含まれています。1984年には、すべてのベクトル空間に対する基底の存在が選択公理と論理的に同値であることを証明しました。また、実数の集合論や強制法（forcing）についても研究しています。さらに、1992年に『Annals of Pure and Applied Logic』に掲載された論文で詳述されているように、ゲーム意味論と線形論理の間のつながりを切り開きました。彼の共同研究には、サハロン・シェラハやユーリ・グレヴィッチといった研究者との重要な業績が含まれています。
専門的評価
キャリアを通じて、ブラスは数学コミュニティにおいて活動的な参加者であり続けています。彼はアメリカ数学会の会員であり、同会は2014年に彼をフェローに指名することでその専門的地位を認めました。彼の研究は、現代の論理学および計算機科学理論に影響を与え続けています。
基本情報
- 生年月日: 1947年、ニュルンベルク - 市民権: アメリカ合衆国 - 学歴: デトロイト・マーシー大学、ハーバード大学 - 主な職業: 数学者 - 所属機関: ミシガン大学 - 分野: 集合論、数理論理学、理論計算機科学 - 受賞歴: パットナム・フェロー (1965年) - 会員資格: アメリカ数学会フェロー (2014年)
よくある質問
### アンドレアス・ブラスの研究の主な焦点は何ですか？
彼は数理論理学を専門としており、集合論、実数の集合論、強制法、およびゲーム意味論の線形論理への応用に焦点を当てています。
### アンドレアス・ブラスは学術キャリアの大部分をどこで過ごしましたか？
1970年からミシガン大学に勤務しており、研究インストラクターから正教授へと昇進しました。
