El Symposium on Trends in Functional Programming se
celebrará del 17 al 19 de Mayo en la Universidad de Oklahoma.
Uno de lo temas del congreso es la verificación de programas funcionales.
La fecha de envío de artículos finaliza el 2 de Abril.
El congreso sobre programación con restricciones CP 2010 se celebra en Saint Andrews (Escocia) del 6 al 10 de Septiembre de 2010.
La fecha de envío de artículos termina el 13 de Abril.
Bart Demoen ha publicado la oferta de trabajo PhD Position for Datalog Research.
El trabajo se realizará en grupo DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) y, más concretamente en el subgrupo Design, Analysis and Implementation of Declarative Programming Languages (Analysis), de la Universidad de Lovaina.
LOPSTR es una serie congresos sobre síntesis y transformación de programas basados en la lógica. El primer congreso se celebró en 1988. Al principio se limitaba a la programación lógica, pero actualmente se ha ampliado a cualquier tipo de programación.
Este año se celebra el 20º congreso, LOPSTR 2010, en Hagenberg, Austria, del 23 al 25 de Julio. La fecha de envío de artículos finaliza el 25 de Marzo.
Gustavo Piñeiro es un matemático argentino autor, junto con Guillermo Martínez, del libro Gödel para todos. Además, escribe el blog El topo lógico. En el último artículo en su blog (Paradojas del infinito (I)) trata de los números definibles e indefinibles, entendiendo que un número es definible si existe una propiedad expresada mediante una frase en castellano tal que sólo la verifica dicho número.
La existencia de los números definibles se demuestra mostrando algunos de dichos números (por ejemplo, el número 0 es el cardinal del conjunto de los elementos x tales que x es distinto de x). La existencia de los números indefinibles se sigue de que el conjunto de los números definibles es numerable y el conjunto de los números reales es infinito no numerable.
A pesar de haber un conjunto no numerable de números indefinibles, no podemos definir ninguno de ellos. Sin embargo, se puede demostrar que tienen algunas propiedades. Por ejemplo, la suma de un número definible y otro indefinible es un número indefinible.
Sería interesante ver la formalización de estas propiedades en los sistemas de razonamiento usados en nuestro grupo.