Hispanopedia WikiSamuel R. (Sam) Buss (nacido el 6 de agosto de 1957) es un informático y matemático estadounidense que ha realizado importantes contribuciones en los campos de la lógica matemática , la teoría de la complejidad y la complejidad de las demostraciones . Actualmente es profesor en el Departamento de Ciencias de la Computación y el Departamento de Matemáticas de la Universidad de California en San Diego .
Biografía
Buss recibió su licenciatura en 1979 de la Universidad Emory , y su maestría y doctorado de la Universidad de Princeton , respectivamente en 1983 y 1985. Se unió al departamento de matemáticas de la Universidad de California, Berkeley , en 1986 como profesor, y permaneció allí hasta 1988. Buss se unió a la facultad de los Departamentos de Ciencias de la Computación y Matemáticas de la Universidad de California, San Diego en 1988 como profesor asistente, donde fue ascendido a profesor en 1993.
En 2019, Buss impartió la Conferencia Gödel titulada Totalidad, demostrabilidad y viabilidad.
Investigación
Buss es considerado uno de los precursores de la aritmética acotada y de la complejidad de las pruebas . [1]
Durante su doctorado, Buss trabajó en aritmética acotada. Recibió su doctorado en 1985. Introdujo la aritmética acotada en su tesis y realizó una buena caracterización teórica de la prueba del cálculo en tiempo polinomial. Su tesis es una de las principales referencias en el área de la aritmética acotada. [2] También es autor/editor de varios libros sobre lógica matemática y ciencias de la computación. [3]
Buss demostró en 1983 que el problema de evaluación de la fórmula booleana está en ALogTime, un resultado importante en la teoría de la complejidad .
Sus principales áreas de investigación son la lógica matemática , la teoría de la complejidad y la complejidad de las demostraciones . Otras áreas a las que ha contribuido incluyen la aritmética acotada , las matemáticas inversas acotadas y los límites inferiores en los sistemas de demostración proposicional .
Referencias
- ^ "Un límite de lógica de primer orden « La carta perdida de Gödel y P=NP". Rjlipton.wordpress.com. 17 de enero de 2010. Consultado el 9 de julio de 2012 .
- ^ "Aritmética acotada - Revisión de la tesis doctoral de 1985" (PDF) .
- ^ "Publicaciones y otras investigaciones".
Enlaces externos
- Página de inicio de Samuel R. Buss
- El problema del valor de la fórmula booleana está en ALOGTIME
- Aritmética acotada
- Manual de teoría de la prueba
- Gráficos por ordenador en 3D: un enfoque matemático con OpenGL