Samuel Buss
સેમ્યુઅલ આર. (સેમ) બસ એક અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિક અને ગણિતશાસ્ત્રી છે જેમણે ગાણિતિક તર્કશાસ્ત્ર, જટિલતા સિદ્ધાંત અને સાબિતી જટિલતાના ક્ષેત્રોમાં મોટું યોગદાન આપ્યું છે. તેઓ હાલમાં યુનિવર્સિટી ઓફ કેલિફોર્નિયા, સાન ડિએગો, કમ્પ્યુટર સાયન્સ વિભાગ અને ગણિત વિભાગમાં પ્રોફેસર છે. જીવનચરિત્ર બસએ 1979માં એમોરી યુનિવર્સિટીમાંથી સ્નાતકની ડિગ્રી મેળવી હતી અને 1983 અને 1985માં અનુક્રમે પ્રિન્સટન યુનિવર્સિટીમાંથી તેમની માસ્ટર ડિગ્રી અને પીએચ. ડી. પ્રાપ્ત કરી હતી. તેઓ 1986માં યુનિવર્સિટી ઓફ કેલિફોર્નિયા, બર્કલેના ગણિત વિભાગમાં લેક્ચરર તરીકે જોડાયા હતા અને 1988 સુધી ત્યાં જ રહ્યા હતા. બસ 1988માં યુનિવર્સિટી ઓફ કેલિફોર્નિયા, સાન ડિએગો, કમ્પ્યુટર સાયન્સ અને ગણિત વિભાગોના ફેકલ્ટીમાં સહાયક પ્રોફેસર તરીકે જોડાયા હતા, જ્યાં તેમને 1993માં પ્રોફેસર તરીકે બઢતી આપવામાં આવી હતી. 2019 માં, બસ્સે સંપૂર્ણતા, સંભાવના અને શક્યતા શીર્ષક ધરાવતું ગોડેલ વ્યાખ્યાન આપ્યું હતું. રિસર્ચ બસને બંધાયેલ અંકગણિત અને સાબિતી જટિલતાના પૂર્વજોમાંથી એક માનવામાં આવે છે. તેમની પીએચડી દરમિયાન, બુસે બાઉન્ડેડ અંકગણિતમાં કામ કર્યું હતું. તેમણે 1985માં પીએચડી પ્રાપ્ત કરી હતી. તેમણે તેમના થીસીસમાં બાઉન્ડેડ અંકગણિતની રજૂઆત કરી હતી અને બહુપદી સમયની ગણતરીની એક સરસ પ્રૂફ સૈદ્ધાંતિક લાક્ષણિકતા આપી હતી. તેમનો થીસીસ બાઉન્ડેડ અંકગણિતના ક્ષેત્રમાં મુખ્ય સંદર્ભોમાંનો એક છે. તેઓ ગાણિતિક તર્કશાસ્ત્ર અને કોમ્પ્યુટર વિજ્ઞાનના ઘણા પુસ્તકોના લેખક/સંપાદક પણ છે. બાસે 1983માં સાબિત કર્યું કે બુલિયન ફોર્મ્યુલા મૂલ્યાંકન સમસ્યા એએલોગટાઇમમાં છે, જે જટિલતા સિદ્ધાંતનું મુખ્ય પરિણામ છે. તેમના મુખ્ય સંશોધન ક્ષેત્રો ગાણિતિક તર્કશાસ્ત્ર, જટિલતા સિદ્ધાંત અને પ્રૂફ કોમ્પ્લેક્સિટી છે. તેમણે જે અન્ય ક્ષેત્રોમાં યોગદાન આપ્યું છે તેમાં બાઉન્ડેડ અંકગણિત, બાઉન્ડેડ રિવર્સ ગણિત અને પ્રપોઝિશનલ પ્રૂફ સિસ્ટમ્સમાં નીચલી સીમાઓનો સમાવેશ થાય છે. સંદર્ભો બાહ્ય કડીઓ સેમ્યુઅલ આર. બસનું હોમ પેજ બુલિયન સૂત્ર મૂલ્ય સમસ્યા ALOGTIME બાઉન્ડેડ એરિથમેટિક હેન્ડબુક ઓફ પ્રૂફ થિયરી 3D કમ્પ્યુટર ગ્રાફિક્સમાં છેઃ ઓપનજીએલ લિવિંગ લોકો સાથે એક ગાણિતિક અભિગમ અમેરિકન કમ્પ્યુટર વૈજ્ઞાનિકો એમોરી યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ પ્રિન્સટન યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી ઓફ કેલિફોર્નિયા, સાન ડિએગો ફેકલ્ટી જન્મ વર્ષ ગુમ થયેલ (જીવંત લોકો)