Defensa Tesis Licenciatura Andres Rojas Paredes

• Título: Complexity as Quality Attribute in Software Design
• En Castellano: La ingeniería de software, los hackers y la geometría
• Alumno: Andres Rojas Paredes
• Director: Joos Heintz
• Jurado: Veronica Becher y Pablo Solerno.
• Resumen:

Se presenta un modelo geométrico de computación que capta todos los algoritmos conocidos de geometría algebraica efectiva, sobretodo los de eliminación. El modelo esta basado en la representación de polinomios por circuitos aritméticos que los evalúan y los algoritmos del modelo manipulan circuitos.

El punto clave es la fundamentación del modelo de computación que no puede ser matemática. Se deriva el modelo de postulados básicos de la ingeniería de software perteneciente al paradigma de la programación orientada a objetos.

Se exhibirán ejemplos simples y básicos de problemas de eliminación y se demuestra que su resolución mediante algoritmos del modelo requiere tiempo exponencial.

Se demuestra también que el conteo de los vectores booleanos que satisfacen una formula booleana dada es un problema que admite una aritmetización y que dicha aritmetización requiere tiempo exponencial para su resolución.

En conclusión, la ingeniería de software no es y nunca será capaz de dar una respuesta satisfactoria a los problemas de complejidad más urticantes de la computación científica (si tal respuesta satisfactoria existe). Esto convierte al hacker en la última esperanza para el progreso de la ciencia. Podrá cumplir? Como trabaja? Como modelizar matemáticamente su actuación? Las ultimas preguntas se responderan despues de la defensa.