Día 7: Introducción a la aritmética de segundo orden. El axioma de inducción

Día 14: Satisfactibilidad. Modelos. Axiomas y teoremas. Categoricidad

Día 21: Espacios no euclidianos. Geodésicas. Categoricidad de la aritmética de segundo orden

Día 28: Categoricidad de la aritmética de segundo orden (fin)

Día 5: Programación en Rexx. Alfabeto y léxico básico

Día 19: La conjetura de Collatz. Spaghetti code. Las instrucciones Signal e Interpret

Día 26: Logaritmos. Flujo de control. Conjunto de instrucciones. Arquitecturas

Día 2: Soporte experimental para Unicode en el lenguaje Rexx

Día 9: Contrario y contradictorio. El cuadrado de las oposiciones y su caída en desgracia

Día 23: Necesario y suficiente. Contrario y contradictorio

Día 30: Todo está prohibido. La exclusión del tercero excluido. Siete impertinencias

Día 14: Todo está prohibido. Consideraciones finales

Día 21: Todo está prohibido. Postfacio

Día 11: Frege. Introducción a "Sobre sentido y referencia"

Día 18: Frege. "Sobre sentido y referencia" (1/2)

Día 25: Frege. "Sobre sentido y referencia" (2/2)

Día 8: El tokenizer de Rexx. "Comentarios sobre sentido y referencia"

Día 15: Lectura de "A tokenizer for Rexx and ooRexx"

Día 22: "Comentarios sobre sentido y referencia"

Día 29: The Unicode Tools of Rexx

Día 14: Proposiciones eternas. Inducción y deducción. El problema de la demarcación

Día 21: El problema de la demarcación. Ciencia y no-ciencia y pseoduciencia

Día 11: Popper. El problema de la demarcación

Día 18: La ciencia: economía y poder

Día 25: Codificaciones. Aritmetización de la lógica. El teorema de Goodstein.

Día 2: Tema por determinar

Día 9: Tema por determinar

Día 16: Tema por determinar

Día 30: Tema por determinar

Día 6: Tema por determinar

Día 13: Tema por determinar

Día 27: Tema por determinar

Día 4: Tema por determinar

Día 11: Tema por determinar