Сэмюэл Басс
![]() | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Август 2011 г. ) |
Сэмюэл Р. Басс | |
---|---|
![]() | |
Альма-матер | Университет Принстон Университет Эмори |
Известный | Ограниченная арифметика Оценка логической формулы |
Научная карьера | |
Поля | Информатика , математика |
Учреждения | Калифорнийский университет в Беркли , Калифорнийский университет в Сан-Диего |
Тезис | Ограниченная арифметика (1985) |
Докторантура | Саймон Кукинг |
Докторанты | Мария Луиза Бонет |
Сэмюэл Р. (Сэм) Басс (родился 6 августа 1957 г.) — американский ученый-компьютерщик и математик , внесший значительный вклад в области математической логики , теории сложности и сложности доказательств . В настоящее время он является профессором . Калифорнийского университета в Сан-Диего кафедры компьютерных наук и математики
Биография [ править ]
Басс получил степень бакалавра в 1979 году в Университете Эмори , а также степень магистра и доктора философии. из Принстонского университета соответственно в 1983 и 1985 годах. Он поступил на математический факультет Калифорнийского университета в Беркли в 1986 году в качестве преподавателя и оставался там до 1988 года. Басс поступил на факультет Калифорнийского университета в Сан-Диего . компьютерных наук и математики на факультеты в 1988 году на должность доцента, где в 1993 году ему было присвоено звание профессора.
В 2019 году Басс прочитал гёдельскую лекцию на тему « Тотальность, доказуемость и осуществимость».
Исследования [ править ]
Басс считается одним из родоначальников ограниченной арифметики и сложности доказательства . [1]
Во время работы над докторской диссертацией Басс занимался ограниченной арифметикой. Он получил докторскую степень в 1985 году. В своей диссертации он представил ограниченную арифметику и дал хорошее теоретико-доказательное описание вычислений с полиномиальным временем. Его диссертация является одной из главных ссылок в области ограниченной арифметики. [2] Он также является автором/редактором нескольких книг по математической логике и информатике. [3]
Бусс доказал в 1983 году, что проблема с оценкой логической формулы находится в Alogtime, что является основным результатом в теории сложности .
Его основные области исследований - математическая логика , теория сложности и сложность доказательств . Другие области, в которые он внес свой вклад, включают ограниченную арифметику , ограниченную обратную математику и нижние границы в пропозициональных системах .
Ссылки [ править ]
- ^ «Предел логики первого порядка «Потерянное письмо Гёделя и P = NP» . Rjlipton.wordpress.com. 17 января 2010 года . Проверено 9 июля 2012 г.
- ^ «Ограниченная арифметика - пересмотр доктора философии 1985 года» (PDF) .
- ^ «Публикации и другие исследования» .