https://jaalonso.github.io/calculemus/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Wed, 14 Oct 2026 18:49:44 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/calculemus/es/posts/2020/01/14-dia_mundial_de_la_logicaes/José A. Alonso<p>El Consejo Ejecutivo de la UNESCO ha proclamado el 14 de enero como <a href="https://www.unesco.org/es/days/world-logic">Día mundial de la jógica</a>.</p> <p><img alt="Día mundial de la lógica" src="https://jaalonso.github.io/calculemus/images/WLD.jpeg"></p> <p>La fecha del 14 de enero se ha eligido para rendir homenaje a dos grandes lógicos del siglo XX: <a href="https://en.wikipedia.org/wiki/Kurt_G%C3%B6del">Kurt Gödel</a> (que falleció el 14 de enero de 1978) y <a href="https://en.wikipedia.org/wiki/Alfred_Tarski">Alfred Tarski</a> (que nació el 14 de enero de 1901).</p> <p>Uniéndose a dicha celebración, hoy (14 de enero de 2020) comienza la andadura de este blog cuyo principal objetivo es servir de complemento a las asignaturas de</p> <ul> <li><a href="https://www.cs.us.es/~jalonso/cursos/lmf-19">Lógica matemática y fundamentos</a> (de 3º del Grado en Matemáticas) y</li> <li><a href="https://www.cs.us.es/~jalonso/cursos/m-ra-19">Razonamiento automático</a> del Máster el Lógica, Computación e Inteligencia Artificial.</li> </ul> <p>El plan es proponer cada semana un ejercicio de forma que los alumnos pueden escribir las soluciones en los comentarios utilizando <a href="https://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html">Isabelle/HOL</a> en la demostración.</p> <p>El código se escribe entre una línea con &lt;pre lang="isar"&gt; y otra con &lt;/pre&gt;</p>https://jaalonso.github.io/calculemus/es/posts/2020/01/14-dia_mundial_de_la_logicaes/Tue, 14 Jan 2020 03:00:00 GMT