Bogotá Lógica

Bienvenidos a la nueva página del Grupo de Lógica de Bogotá.

En el Grupo de Lógica de Bogotá estamos investigadores de la Universidad Nacional de Colombia y la Universidad de los Andes, primordialmente. En algunos semestres hemos tenido también investigadores de la Universidad Javeriana, la Universidad Sergio Arboleda y la Universidad del Rosario. Aunque el énfasis es en Lógica Matemática algunos de nosotros también trabajamos en conexiones entre la Lógica y el resto de la Matemática, ¡e incluso otras disciplinas (Física, Filosofía, etc.)!

Welcome to our new Bogotá Logic Group webpage!

In the Bogotá Logic Group we are researchers from Universidad Nacional de Colombia and Universidad de los Andes, mainly. Some semesters we have had members from Universidad Javeriana, Universidad Sergio Arboleda and Universidad del Rosario as well. Although our emphasis is on Mathematical Logic, some of us also work in connections between Logic and the rest of Mathematics... and even other disciplines (Physics, Philosophy, etc.)!

Algo de historia

La historia del grupo no es muy reciente, y se remonta a seminarios de lectura en la Universidad Nacional durante los años 1970 (profesores Hernando Pérez y José María Muñoz, Carlos Vasco, Clara Helena Sánchez). Sin embargo, podemos decir que se convierte en un seminario de investigación con la llegada de Xavier Caicedo a Colombia a finales de esa década y su vinculación con las dos universidades que siguen siendo el lugar del grupo de lógica.

Recientemente en el volumen Logic Around the World (ed. Daghighi, 2018) una sección fue dedicada a la historia del grupo en Bogotá. En esa sección hay muchos más detalles de la historia, conformación y consolidación del Grupo.