informática teórica"/>

Lógica modal, teorema de Löb i teorema de incompletitud de Gödel

A partir de una interesante conversación en el trabajo con el Dr. Petar Mimica, me he visto en la necesidad de repasar algunos conceptos interesantes de las asignaturas que cursé en el área de informática teórica. El primero de ellos és el de la lógica modal. Las lógicas tradicionales son la proposicional, o de orden […]

Reflexiones sobre el futuro del blog

Llegados a este punto, y visto que sigue creciendo el número de visitas, sería interesante no solo escribir sobre las cosas en las que actualmente estoy trabajando (más o menos) sino también sobre aquellas de las que creo que se 🙂 Obviamente, las áreas que mas conozco son las que se corresponden con mis estudios […]