أندرياس بلاس

أندرياس رافائيل بلاس (مواليد 27 أكتوبر 1947) هو عالم رياضيات، ويعمل حاليًا أستاذًا في جامعة ميشيغان . وهو يعمل في مجال المنطق الرياضي ، وخاصة نظرية المجموعات ، وعلوم الحاسوب النظرية .

تخرج بلاس من جامعة ديترويت ، حيث كان زميلًا في برنامج بوتنام عام 1965، ^{[ 1 ]} وحصل على بكالوريوس العلوم في الفيزياء عام 1966. ونال درجة الدكتوراه عام 1970 من جامعة هارفارد ، عن أطروحته حول ترتيب المرشحات الفائقة، والتي كتبها تحت إشراف فرانك واتنبرغ. ^{[ 2 ]} ومنذ عام 1970، عمل في جامعة ميشيغان، بدايةً كمدرس باحث في برنامج تي إتش هيلدبراندت (1970-1972 ) ، ثم أستاذًا مساعدًا (1972-1976 ) ، ثم أستاذًا مشاركًا (1976-1984 ) ، ومنذ عام 1984 يشغل منصب أستاذ متفرغ هناك.

في عام 2014، أصبح زميلاً في الجمعية الرياضية الأمريكية . ^{[ 3 ]}

في عام 1984 ، أثبت بلاس أن وجود أساس لكل فضاء متجهي يكافئ بديهية الاختيار . وقدّم إسهامات مهمة في تطوير نظرية المجموعات للأعداد الحقيقية والإجبار .

كان بلاس أول من أشار إلى الروابط بين دلالات الألعاب والمنطق الخطي .

وقد ألف أكثر من 200 مقالة بحثية في المنطق الرياضي وعلوم الحاسوب النظرية، بما في ذلك:

• بلاس، أندرياس (1984)، "وجود الأسس يستلزم بديهية الاختيار" (ملف PDF) ، نظرية المجموعات البديهية ، الرياضيات المعاصرة، المجلد 31، بروفيدنس، رود آيلاند: الجمعية الرياضية الأمريكية ، الصفحات 31-33 ، ISBN  0-8218-5026-1، MR 0763890 
• بلاس، أندرياس؛ شيلاه، ساهارون (1987). "قد يكون هناك أمر بسيط${\displaystyle P_{\aleph _{1}}}$- و${\displaystyle P_{\aleph _{2}}}$قد تكون النقاط وترتيب رودين-كيسلر موجهة نحو الأسفل. حوليات المنطق البحت والتطبيقي . 33 : 213-243 . doi : 10.1016/0168-0072(87)90082-0 . hdl : 2027.42/26916 .
• بلاس، أندرياس (1992). "دلالات الألعاب للمنطق الخطي". حوليات المنطق البحت والتطبيقي . 56 ( 1-3 ): 183-220 . doi : 10.1016/0168-0072(92)90073-9 . hdl : 2027.42/30097 .
• بلاس، أندرياس؛ غوريفيتش، يوري ( 2003). "الخوارزميات: بحث عن تعريفات مطلقة" (ملف PDF) . نشرة الجمعية الأوروبية لعلوم الحاسوب النظرية EATCS . ​​81 : 195-225 . تاريخ الاطلاع: 28 أبريل 2008 .

• صفحة بلاس في جامعة ميشيغان