Profesores publican en Springer, Cham

 

Los profesores Ernesto Acosta Gempeler, Bernarda Aldana Gómez, Jaime Bohórquez Villamizar y Camilo Rocha Niño publicaron un artículo en la Communications in Computer and Information Science, vol 735. Springer, Cham. El artículo es resultado de la investigación Teoría de Conjuntos al estilo calculatorio, financiado por la Escuela en la convocatoria interna de 2015.

El artículo hace referencia al acercamiento algebraico de EW Dijkstra y CS Scholten a la lógica formal es un cálculo probatorio, donde la noción de prueba es una secuencia de equivalencias demostrada, principalmente, mediante la sustitución de “igual a igual”. Esta publicación presenta una axiomatización lógica de primer orden para la teoría de conjuntos utilizando el enfoque de Dijkstra y Scholten.

Para consultar la publicación, la referencia completa es:

Acosta E., Aldana B., Bohórquez J., Rocha C. (2017) Axiomatic Set Theory à la Dijkstra and Scholten. In: Solano A., Ordoñez H. (eds) Advances in Computing. CCC 2017. Communications in Computer and Information Science, vol 735. Springer, Cham. DOI . Publisher Name Springer, Cham. Print ISBN 978-3-319-66561-0. Online ISBN 978-3-319-66562-7