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