Сэмюэл Басс
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Август 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) .
- ^ «Публикации и другие исследования» .
Внешние ссылки [ править ]
- Домашняя страница Сэмюэля Р. Басса
- Проблема со значением логической формулы находится в ALOGTIME.
- Ограниченная арифметика
- Справочник по теории доказательств
- 3D компьютерная графика: математический подход с OpenGL
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
