Hoy, 1 de enero de 2010, empieza la andadura de Vestigium. En esta presentación intentaré responder las siguientes cuestiones
- ¿Para qué he creado el blog?
- ¿Porqué he elegido Vestigium como nombre del blog?
He creado el blog, fundamentalmente, para complementar los medios de comunicación del Grupo de Lógica Computacional de la Universidad de Sevilla. El medio tradicional ha sido el Seminario de Lógica Computacional. Recientemente se ha creado una lista de correo del Grupo. Dado que el conocimiento es difícil de gestionar en las listas de correo he empezado el blog para facilitar la gestión del conocimiento.
He elegido Vestigium como nombre del blog por la etimología de investigar
La palabra ”’investigar”’ viene del latín ”investigare”, la cual deriva de ”’vestigium”’ que significa en “pos de la huella de”, es decir “ir en busca de una pista”.
Detrás del nombre se esconde la segunda, y no por ello menos importante, razón para crear el blog: dejar una traza de los trabajos realizados en Lógica Computacional por nuestro grupo y de los trabajos ajenos relacionados con los nuestros. Es decir, investigar en Lógica Computacional.
Hablando de investigación, terminaré la presentación del blog con una cita de uno de los libros de texto que estudié en Selectivo de Ciencias. En la introducción de Geometría vectorial (ed. Alhambra, 1968), Norberto Cuesta Dutari, observa que:
Aprender lo que ignoramos, enseñados de quien lo sabe, e inventar lo que nadie nos puede enseñar, son actividades mentales isomorfas, y ambas tan importantes como complicadas.