Roger Maddux (nacido en 1948) es un matemático estadounidense especializado en lógica algebraica .
Completó su licenciatura en Pomona College en 1969 y su Ph.D. en matemáticas en la Universidad de California, Berkeley en 1978, donde fue uno de los últimos estudiantes de Alfred Tarski . Su carrera ha sido en la Universidad Estatal de Iowa , donde ocupa un puesto conjunto en ciencias de la computación y matemáticas.
Maddux es conocido principalmente por su trabajo en álgebras de relaciones y álgebras cilíndricas , y como inventor de bases relacionales . [1] [2]
Libros de Maddux
- 1990: (con Clifford H. Bergman y Don L. Pigozzi, editores) Lógica algebraica y álgebra universal en informática , Lecture Notes in Computer Science # 425, libros Springer
- 2006: Álgebras de relaciones , vol. 150 en Estudios de Lógica y Fundamentos de las Matemáticas . Ciencia de Elsevier
Notas
- ^ Hodkinson, Ian. "Bases relacionales, álgebra de relaciones - conexiones de álgebra cilíndrica" . Consultado el 3 de marzo de 2007 .
- ^ Maddux, Roger (1983). "Un cálculo secuencial para álgebras de relaciones". Anales de lógica pura y aplicada . 25 : 73-101. doi : 10.1016 / 0168-0072 (83) 90055-6 .
enlaces externos
- Página de inicio de Maddux en la Universidad Estatal de Iowa .
- Roger Maddux en el Proyecto de genealogía matemática