Сэмюэл Бусс
- Сэм Бусс — американский ученый-компьютерщик и математик, внесший значительный вклад в области математической логики, теории сложности и усложнения доказательств.
- Бусс является профессором Калифорнийского университета в Сан-Диего на факультетах компьютерных наук и математическом факультете.
- Он считается одним из основоположников ограниченной арифметики и сложности доказательства.
- Бусс работал в области ограниченной арифметики и доказал, что задача вычисления логической формулы решается в режиме реального времени.
- Его основные области исследований включают математическую логику, теорию сложности и сложность доказательств.
- Он также является автором/редактором нескольких книг по математической логике и информатике.
Полный текст статьи: