Samuel Buss
سیموئل آر (سیم) بس ایک امریکی کمپیوٹر سائنسدان اور ریاضی دان ہیں جنہوں نے ریاضیاتی منطق، پیچیدگی کے نظریہ اور ثبوت کی پیچیدگی کے شعبوں میں اہم کردار ادا کیا ہے۔ وہ فی الحال یونیورسٹی آف کیلیفورنیا، سان ڈیاگو، شعبہ کمپیوٹر سائنس اور شعبہ ریاضی میں پروفیسر ہیں۔ سوانح عمری بس نے 1979 میں ایموری یونیورسٹی سے بیچلر کی ڈگری حاصل کی، اور اپنی ماسٹر ڈگری اور پی ایچ ڈی بالترتیب 1983 اور 1985 میں پرنسٹن یونیورسٹی سے حاصل کی۔ انہوں نے 1986 میں لیکچرر کی حیثیت سے یونیورسٹی آف کیلیفورنیا، برکلے کے شعبہ ریاضی میں شمولیت اختیار کی، اور 1988 تک وہیں رہے۔ بس نے 1988 میں یونیورسٹی آف کیلیفورنیا، سان ڈیاگو، کمپیوٹر سائنس اور ریاضی کے محکموں کی فیکلٹی میں اسسٹنٹ پروفیسر کے طور پر شمولیت اختیار کی، جہاں انہیں 1993 میں پروفیسر کے عہدے پر ترقی دی گئی۔ 2019 میں بس نے گوڈل لیکچر دیا جس کا عنوان تھا مکمل طور پر، امکانات اور فزیبلٹی۔ ریسرچ بس کو باؤنڈڈ ریاضی اور ثبوت کی پیچیدگی کے آباؤ اجداد میں سے ایک سمجھا جاتا ہے۔ اپنی پی ایچ ڈی کے دوران بس نے باؤنڈڈ ریاضی میں کام کیا۔ انہوں نے 1985 میں پی ایچ ڈی حاصل کی۔ انہوں نے اپنے مقالے میں باؤنڈڈ ریاضی کو متعارف کرایا اور کثیر الجہتی وقت کی گنتی کا ایک اچھا ثبوت نظریاتی خصوصیت دی۔ ان کا مقالہ باؤنڈڈ ریاضی کے شعبے میں اہم حوالوں میں سے ایک ہے۔ وہ ریاضیاتی منطق اور کمپیوٹر سائنس کی کئی کتابوں کے مصنف/ایڈیٹر بھی ہیں۔ بس نے 1983 میں ثابت کیا کہ بولین فارمولہ تشخیص کا مسئلہ ایلوگ ٹائم میں ہے، جو کہ پیچیدگی کے نظریہ کا ایک بڑا نتیجہ ہے۔ ان کے اہم تحقیقی شعبے ریاضیاتی منطق، پیچیدگی کا نظریہ اور ثبوت کی پیچیدگی ہیں۔ دیگر شعبے جن میں انہوں نے تعاون کیا ہے ان میں باؤنڈڈ ریاضی، باؤنڈڈ ریورس ریاضی، اور پروپوزیشنل پروف سسٹمز میں نچلی حدود شامل ہیں۔ حوالہ جات بیرونی روابط سیموئیل آر بس کا ہوم پیج بولین فارمولا ویلیو کا مسئلہ ALOGTIME باؤنڈڈ آرتھمیٹک ہینڈ بک آف پروف تھیوری 3D کمپیوٹر گرافکس میں ہے: اوپن جی ایل لیونگ پیپل کے ساتھ ایک ریاضیاتی نقطہ نظر امریکی کمپیوٹر سائنسدان ایموری یونیورسٹی کے سابق طالب علم پرنسٹن یونیورسٹی کے سابق طالب علم یونیورسٹی آف کیلیفورنیا، سان ڈیاگو فیکلٹی سال پیدائش لاپتہ (زندہ لوگ)