WikiDer > Сэмюэл Басс
 | Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты. (Август 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Сэмюэл Р. Басс | |
|---|---|
| Альма-матер | Университет Принстона Университет Эмори |
| Известен | Ограниченная арифметика Оценка логической формулы |
| Научная карьера | |
| Поля | Информатика, Математика |
| Учреждения | Калифорнийский университет в Беркли, Калифорнийский университет в Сан-Диего |
| Докторант | Саймон Кочен |
Сэмюэл Р. (Сэм) Басс американец специалист в области информатики и математик кто внес большой вклад в области математическая логика, теория сложности и сложность доказательства. В настоящее время он Профессор на Калифорнийский университет в Сан-Диего, Департамент компьютерных наук и Департамент математики.
биография
Басс получил свой степень бакалавра в 1979 г. Университет Эмори, и его степень магистра и Кандидат наук. из Университет Принстонасоответственно в 1983 и 1985 годах. Калифорнийский университет в Беркли, кафедра математики в 1986 году в качестве преподавателя, и проработал там до 1988 года. Басс присоединился к факультету Калифорнийский университет в Сан-Диего, Информатика и Математика Кафедры в 1988 году в качестве доцента, где он был повышен до профессора в 1993 году.
Исследование
Бусс считается одним из прародителей ограниченная арифметика и сложность доказательства.[1]
Во время своей докторской диссертации Басс работал с ограниченной арифметикой. Он получил докторскую степень в 1985 году. Он ввел ограниченную арифметику в свою диссертацию и дал хорошее доказательство теоретической характеристики вычислений за полиномиальное время. Его диссертация является одним из основных источников в области ограниченной арифметики.[нужна цитата] Он также является автором / редактором нескольких книг по математической логике и информатике.[2]
В 1983 году Басс доказал, что проблема вычисления булевых формул находится в ALogTime, и главный результат теория сложности.
Его основные направления исследований: математическая логика, теория сложности и сложность доказательства. Другие области, в которые он внес свой вклад, включают ограниченная арифметика, ограниченная обратная математика, и оценки снизу в пропозициональных системы доказательства.
Рекомендации
- ^ «Предел логики первого порядка« Потерянное письмо Гёделя и P = NP ». Rjlipton.wordpress.com. Получено 2012-07-09.
- ^ http://math.ucsd.edu/~sbuss/ResearchWeb/index.html
